| Class | Description |
|---|---|
| Assumption | |
| ClassAssumption |
Nicht wirklich eine Assumption.
|
| ConstructorAssumption | |
| FieldAssumption | |
| GenericVarAssumption | |
| LocalVarAssumption | |
| MethodAssumption | |
| ParameterAssumption |
ParameterAssumptions repräsentieren die Methodenparameter innerhalb des Rumpfes einer Methode.
|
| TypeAssumptions |
Eine Sammlung von TypeAssumptions.
|