Package | Description |
---|---|
de.dhbwstuttgart.syntaxtree | |
de.dhbwstuttgart.typeinference | |
de.dhbwstuttgart.typeinference.assumptions |
Modifier and Type | Class and Description |
---|---|
class |
Constant
Enthaelt die Eigenschaften einer Konstante (Name, Typ, Modifier, Wert)
|
class |
Constructor |
Modifier and Type | Field and Description |
---|---|
private Method |
Constructor.methode |
Modifier and Type | Field and Description |
---|---|
protected Menge<Method> |
InterfaceBody.MethodVektor |
Modifier and Type | Method and Description |
---|---|
static Method |
Method.createEmptyMethod(java.lang.String withSignature,
Class parent) |
Modifier and Type | Method and Description |
---|---|
Menge<Method> |
InterfaceBody.getMethodVektor() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
Class.getTypeInformation(Menge<Method> methodList,
Menge<Expr> fieldList) |
void |
InterfaceBody.setMethodVektor(Menge<Method> methodVektor) |
Constructor and Description |
---|
Constructor(Method methode)
Parser kann nicht zwischen einem Konstruktor und einer Methode unterscheiden.
|
Modifier and Type | Class and Description |
---|---|
class |
FunNMethod |
Modifier and Type | Field and Description |
---|---|
protected Method |
MethodAssumption.method |
Modifier and Type | Method and Description |
---|---|
protected Method |
MethodAssumption.getMethod() |
Constructor and Description |
---|
ConstructorAssumption(Method assumedMethod,
Class parentClass) |
MethodAssumption(Method assumedMethod,
Class parentClass) |