public class GenericVarAssumption extends Assumption
| Modifier and Type | Field and Description |
|---|---|
private GenericTypeVar |
genericVar |
| Constructor and Description |
|---|
GenericVarAssumption(GenericTypeVar genericVar) |
| Modifier and Type | Method and Description |
|---|---|
GenericTypeVar |
getAssumedType() |
JavaClassName |
getIdentifier() |
java.lang.String |
toString() |
private GenericTypeVar genericVar
public GenericVarAssumption(GenericTypeVar genericVar)
public GenericTypeVar getAssumedType()
getAssumedType in class Assumptionpublic JavaClassName getIdentifier()
getIdentifier in class Assumptionpublic java.lang.String toString()
toString in class java.lang.Object