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

Packages that use MethodAssumption

Package	Description
de.dhbwstuttgart.syntaxtree.statement
de.dhbwstuttgart.typeinference.assumptions

Uses of MethodAssumption in de.dhbwstuttgart.syntaxtree.statement

Methods in de.dhbwstuttgart.syntaxtree.statement with parameters of type MethodAssumption

Modifier and Type	Method and Description
UndConstraint	MethodCall.constraintsFromMethodAssumption(MethodAssumption methodAssumption, TypeAssumptions assumptions) Spezifikation: overloading determines for all possible overloadings and overridings of a method the constraints, where constraints itself forms the constraints from the receiver type, the argument types, the return type and a given type assumption for the method.

Uses of MethodAssumption in de.dhbwstuttgart.typeinference.assumptions

Subclasses of MethodAssumption in de.dhbwstuttgart.typeinference.assumptions

Modifier and Type	Class and Description
class	ConstructorAssumption

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

Modifier and Type	Field and Description
private Menge<MethodAssumption>	TypeAssumptions.methodAssumptions

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

Modifier and Type	Method and Description
Menge<MethodAssumption>	TypeAssumptions.getMethodAssumptions(JavaClassName className, java.lang.String methodName) Sucht nach MethodAssumptions einer bestimmten Klasse mit einem bestimmten Namen.
Menge<MethodAssumption>	TypeAssumptions.getMethodAssumptions(java.lang.String methodName, int parameterCount) Sucht nach Assumptions zu einer Methode mit dem Namen methodName und parameterCount Parametern.
Menge<MethodAssumption>	TypeAssumptions.getMethods2(java.lang.String withName) Deprecated.