public class Constructor extends Method
| Modifier and Type | Field and Description |
|---|---|
private Method |
methode |
inferencelog, parameterlist, parserlogparent| Constructor and Description |
|---|
Constructor(Method methode)
Parser kann nicht zwischen einem Konstruktor und einer Methode unterscheiden.
|
| Modifier and Type | Method and Description |
|---|---|
TypeAssumptions |
createTypeAssumptions(Class classmember)
Liefert die MethodAssumption zu dieser Methode
|
void |
setType(Type t) |
ConstraintsSet |
TYPE(TypeAssumptions ass) |
createEmptyMethod, equals, get_Block, get_ExceptionList, get_Method_Name, get_Type_Paralist, getChildren, getLineNumber, getOffset, getOverloadedID, getParameterCount, getParameterList, getType, getTypeInformation, getTypeLineNumber, getTypeName, getVariableLength, isAbstract, parserPostProcessing, printJavaCode, set_Block, set_ExceptionList, set_Method_Name, set_Modifiers, setAbstract, setLineNumber, setOffset, setOverloadedID, setParameterList, toString, wandleRefTypeAttributes2GenericAttributescreateTypeInsertPoint, get_Name, getDeclIdMenge, getDescription, getGenericDeclarationList, getGenericParameter, getGenericVarDeclarationOffset, getGenericVarDeclarationString, getIdentifier, isClass, isPublic, set_DeclId, setDeclIdMenge, setGenericParametergetGTVDeclarationContextaddTypeInsertPoints, getMatchingParentNode, getParent, getParentClass, seesTypeclone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitcreateTypeInsertPoint, getIdentifierprivate Method methode
public Constructor(Method methode)
public TypeAssumptions createTypeAssumptions(Class classmember)
MethodcreateTypeAssumptions in class Methodpublic ConstraintsSet TYPE(TypeAssumptions ass)