public class FunNInterface extends Class
inferencelog, isFirstLocalVarDecl, modifiers, name, pkgName, superclassid, typinferenzLog| Constructor and Description |
|---|
FunNInterface(int N)
Ein FunN-Interface enthält nur eine Methode (namens apply).
|
| Modifier and Type | Method and Description |
|---|---|
private FunNMethod |
getApplyFunction()
Erstellt die nach Definition des Typinferenzalgorithmus von Martin Plümicke, in jedem FunN-Interface enthaltene apply-Methode
|
TypeAssumptions |
getPublicFieldAssumptions()
Ermittelt die Sichtbaren Felder und Methoden der Klasse.
|
private static Menge<java.lang.String> |
makeParaList(int n) |
addField, does_Class_extend, equals, get_class_block, get_ParaHash, get_ParaList, get_Superclass_Name, getAccessFlags, getChildren, getContainedTypes, getDescription, getFields, getGenericParameter, getGenericVarDeclarationOffset, getGenericVarDeclarationString, getModifiers, getName, getOffset, getPackageName, getParent, getSimpleName, getSuperClass, getSuperInterfaces, getType, getTypeInformation, getUsedIdsToCheck, getVariableLength, isClass, parserPostProcessing, printJavaCode, set_class_block, set_ClassBody, set_ParaHash, set_UsedId, setContainedTypes, setGenericParameter, setModifiers, setName, setPackageName, setSuperInterfaces, toString, typeReconstruction, wandleRefTypeAttributes2GenericAttributesgetGTVDeclarationContextaddTypeInsertPoints, getMatchingParentNode, getParentClass, seesTypepublic FunNInterface(int N)
N - - Die Anzahl der Parameter der apply-Methode. Beispiel N = 1 ergibt R apply(T1 par1);private static Menge<java.lang.String> makeParaList(int n)
public TypeAssumptions getPublicFieldAssumptions()
ClassgetPublicFieldAssumptions in class Classprivate FunNMethod getApplyFunction()