public class Assumption
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
private TypeInsertable |
typable |
| Modifier | Constructor and Description |
|---|---|
protected |
Assumption()
Wird dieser Konstruktor benutzt müssen alle Methoden der Klasse Assumption überschrieben werden.
|
|
Assumption(TypeInsertable ass) |
| Modifier and Type | Method and Description |
|---|---|
Type |
getAssumedType() |
JavaClassName |
getIdentifier() |
private TypeInsertable typable
protected Assumption()
public Assumption(TypeInsertable ass)
public Type getAssumedType()
public JavaClassName getIdentifier()