## 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.