Uses of Class
de.dhbwstuttgart.typeinference.assumptions.FieldAssumption

Packages that use FieldAssumption

Package	Description
de.dhbwstuttgart.typeinference.assumptions

Uses of FieldAssumption in de.dhbwstuttgart.typeinference.assumptions

Subclasses of FieldAssumption in de.dhbwstuttgart.typeinference.assumptions

Modifier and Type	Class and Description
class	ConstructorAssumption
class	MethodAssumption

Fields in de.dhbwstuttgart.typeinference.assumptions with type parameters of type FieldAssumption

Modifier and Type	Field and Description
private Menge<FieldAssumption>	TypeAssumptions.fieldAssumptions

Methods in de.dhbwstuttgart.typeinference.assumptions that return types with arguments of type FieldAssumption

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.