public class TypeInsertSet
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
Menge<TypeInsertPoint> |
points |
private ResultSet |
resultSet |
protected Logger |
typinferenzLog |
| Constructor and Description |
|---|
TypeInsertSet(ResultSet resultSet) |
| Modifier and Type | Method and Description |
|---|---|
void |
add(Menge<TypeInsertPoint> insertPoints)
Fügt TypeInsertPoints an
|
void |
add(TypeInsertPoint typeInsertPoint)
Fügt einen TypeInsertPoint dem TypeInsertSet hinzu.
|
boolean |
equals(java.lang.Object obj) |
TypeInsertPoint |
getInsertPointFor(TypeInsertable node) |
java.lang.String |
insertAllTypes(java.lang.String fileContent)
Deprecated.
|
java.lang.String |
insertType(TypeInsertPoint tip,
java.lang.String fileContent)
Fügt nur einen einzelnen TypeInsertPoint in fileContent ein.
|
private void |
insertType(TypeInsertPoint tip,
TypePatchJob tpj)
Fügt einen einzelnen TypeInsertPoint einem TypePatchJob hinzu
|
private boolean |
pairsDeclareTPH(Menge<Pair> ps,
TypePlaceholder tph) |
java.lang.String |
toString() |
protected Logger typinferenzLog
public Menge<TypeInsertPoint> points
private ResultSet resultSet
public TypeInsertSet(ResultSet resultSet)
public void add(TypeInsertPoint typeInsertPoint)
typeInsertPoint - public java.lang.String insertType(TypeInsertPoint tip, java.lang.String fileContent)
tip - fileContent - private void insertType(TypeInsertPoint tip, TypePatchJob tpj)
tip - tpj - private boolean pairsDeclareTPH(Menge<Pair> ps, TypePlaceholder tph)
@Deprecated public java.lang.String insertAllTypes(java.lang.String fileContent)
fileContent - public TypeInsertPoint getInsertPointFor(TypeInsertable node)
node - public boolean equals(java.lang.Object obj)
equals in class java.lang.Objectpublic void add(Menge<TypeInsertPoint> insertPoints)
insertPoints - public java.lang.String toString()
toString in class java.lang.Object