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

Packages that use Assumption

Package	Description
de.dhbwstuttgart.typeinference.assumptions

Uses of Assumption in de.dhbwstuttgart.typeinference.assumptions

Subclasses of Assumption in de.dhbwstuttgart.typeinference.assumptions

Modifier and Type	Class and Description
class	ConstructorAssumption
class	FieldAssumption
class	GenericVarAssumption
class	LocalVarAssumption
class	MethodAssumption
class	ParameterAssumption ParameterAssumptions repräsentieren die Methodenparameter innerhalb des Rumpfes einer Methode.

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

Modifier and Type	Method and Description
private Menge<Assumption>	TypeAssumptions.getAllAssumptions()

Methods in de.dhbwstuttgart.typeinference.assumptions with parameters of type Assumption

Modifier and Type	Method and Description
void	TypeAssumptions.addAssumption(Assumption ass)

Method parameters in de.dhbwstuttgart.typeinference.assumptions with type arguments of type Assumption

Modifier and Type	Method and Description
private void	TypeAssumptions.addAllAssumptions(Menge<Assumption> assumptions)