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 |
class |
FieldDeclaration
Eine Feldinitialisation steht für eine Felddeklaration mit gleichzeitiger Wertzuweisung
Beispiel: 'public Feld FeldVar = FeldWert;'
|
class |
Method
Stellt eine Methode dar.
|
Modifier and Type | Field and Description |
---|---|
private Menge<Field> |
Class.fielddecl |
private Menge<Field> |
ClassBody.fielddecl |
Modifier and Type | Method and Description |
---|---|
Menge<Field> |
Class.getFields() |
Menge<Field> |
ClassBody.getFields() |
Modifier and Type | Method and Description |
---|---|
void |
InterfaceBody.addElement(Field fd)
Fuegt ein neues Element (Konstantendefinition oder abstrakte
Methode) ein.
|
void |
Class.addField(Field i) |
void |
ClassBody.addField(Field i) |
Modifier and Type | Class and Description |
---|---|
class |
FunNMethod |
Modifier and Type | Field and Description |
---|---|
private Field |
FieldAssumption.field |
Constructor and Description |
---|
FieldAssumption(Field fieldVar,
Class inClass) |