| 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) |