BasicAssumptionClass(java.lang.String name,
Modifiers mod) |
Class(java.lang.String name2,
Modifiers object,
ClassBody classBody,
Menge<Type> containedTypes2,
Menge<Type> typeMenge,
Menge<Type> paraMenge,
int offset2) |
Class(java.lang.String name,
Modifiers mod,
ClassBody cb,
Menge<Type> ct,
Menge<UsedId> usedIdsToCheck,
UsedId superclass,
Menge<UsedId> superif,
Menge<Type> paralist,
int offset) |
Class(java.lang.String name,
Modifiers mod,
ClassBody cb,
Menge<Type> ct,
Type superclass,
Menge<Type> Menge,
Menge<? extends Type> paralist,
int offset)
Konstruktor, der die Angabe aller Parameter ermoeglicht.
|
Class(java.lang.String name2,
Modifiers modifiers2,
ClassBody classBody,
Menge<Type> containedTypes2,
UsedId usedId,
Menge<Type> typeMenge,
Menge<Type> paraMenge,
int offset2) |
Class(java.lang.String name,
Modifiers mod,
int offset) |
Class(java.lang.String name,
RefType superClass,
Modifiers mod,
int offset) |
Class(java.lang.String name,
RefType superClass,
Modifiers modifiers,
Menge<java.lang.String> supertypeGenPara)
Erstellt eine Klasse, welche nur für die Assumptions verwendet wird.
|
Constant(java.lang.String name,
Modifiers mod)
Deprecated.
|
Interface(java.lang.String name,
Modifiers modifiers,
int offset) |