| Package | Description |
|---|---|
| de.dhbwstuttgart.typeinference.assumptions |
| Modifier and Type | Class and Description |
|---|---|
class |
ConstructorAssumption |
class |
MethodAssumption |
| Modifier and Type | Field and Description |
|---|---|
private Menge<FieldAssumption> |
TypeAssumptions.fieldAssumptions |
| Modifier and Type | Method and Description |
|---|---|
private Menge<FieldAssumption> |
TypeAssumptions.getAssumptionsFor(JavaClassName className)
Liefert alle Assumptions, auÃer die der lokalen Variablen, welche einer bestimmten Klasse zugeordnet sind.
|
Menge<FieldAssumption> |
TypeAssumptions.getFieldVars(java.lang.String withName)
Liefert alle bekannten öffentlichen Feldern mit dem Namen withName.
|