| Package | Description |
|---|---|
| de.dhbwstuttgart.syntaxtree | |
| de.dhbwstuttgart.typeinference |
| Modifier and Type | Method and Description |
|---|---|
void |
SyntaxTreeNode.addTypeInsertPoints(TypeInsertSet insertSet,
ResultSet result)
Methode zur Generierung der TypeInsertPoints
|
| Modifier and Type | Method and Description |
|---|---|
TypeInsertSet |
TypeinferenceResultSet.getTypeInsertionPoints()
Berechnet alle möglichen Punkte zum Einsetzen eines Typs im Quelltext
Dabei entstehen TypeInsertSets.
|