| Package | Description |
|---|---|
| de.dhbwstuttgart.syntaxtree.statement | |
| de.dhbwstuttgart.typeinference |
| 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.
|
| Modifier and Type | Method and Description |
|---|---|
(package private) UndConstraint |
OderConstraint.filterUndConstraints() |
| Modifier and Type | Method and Description |
|---|---|
private Menge<UndConstraint> |
ConstraintsSet.filterUndConstraints()
Aus dem ConstraintsSet [ u1, u2, ...
|
| Modifier and Type | Method and Description |
|---|---|
void |
OderConstraint.addConstraint(UndConstraint methodConstraint) |