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

Packages that use MethodAssumption
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
`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
`class` `ConstructorAssumption`

Fields in de.dhbwstuttgart.typeinference.assumptions with type parameters of type MethodAssumption
`private Menge<MethodAssumption>` TypeAssumptions.`methodAssumptions`

Methods in de.dhbwstuttgart.typeinference.assumptions that return types with arguments of type MethodAssumption
`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.