| Package | Description |
|---|---|
| de.dhbwstuttgart.syntaxtree.statement | |
| de.dhbwstuttgart.typeinference.assumptions |
| 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 | Class and Description |
|---|---|
class |
ConstructorAssumption |
| Modifier and Type | Field and Description |
|---|---|
private Menge<MethodAssumption> |
TypeAssumptions.methodAssumptions |
| 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.
|