Uses of Class
de.dhbwstuttgart.typeinference.UndConstraint

Packages that use UndConstraint

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

Uses of UndConstraint in de.dhbwstuttgart.syntaxtree.statement

Methods in de.dhbwstuttgart.syntaxtree.statement that return UndConstraint

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 UndConstraint in de.dhbwstuttgart.typeinference

Methods in de.dhbwstuttgart.typeinference that return UndConstraint

Modifier and Type	Method and Description
(package private) UndConstraint	OderConstraint.filterUndConstraints()

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

Modifier and Type	Method and Description
private Menge<UndConstraint>	ConstraintsSet.filterUndConstraints() Aus dem ConstraintsSet [ u1, u2, ...

Methods in de.dhbwstuttgart.typeinference with parameters of type UndConstraint

Modifier and Type	Method and Description
void	OderConstraint.addConstraint(UndConstraint methodConstraint)