class GenericVarPatch
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
private Menge<GenericVarDeclarationPatch> |
genericVarDeclarations |
private Menge<GenericVarExtendsDeclarationPatch> |
genericVarExtendDeclarations |
private Menge<TypePlaceholder> |
usedTPHs |
| Constructor and Description |
|---|
GenericVarPatch() |
| Modifier and Type | Method and Description |
|---|---|
void |
add(Pair p)
Fügt eine generische Variable in Form eines Pairs an.
|
void |
add(TypePlaceholder tph) |
void |
addPairs(Menge<Pair> pairs) |
void |
addTPHs(Menge<TypePlaceholder> TPHs) |
java.lang.String |
getInsertString(ResultSet rs) |
void |
removeUnusedTPHs(Menge<TypePlaceholder> usedTPHs) |
private Menge<GenericVarExtendsDeclarationPatch> genericVarExtendDeclarations
private Menge<GenericVarDeclarationPatch> genericVarDeclarations
private Menge<TypePlaceholder> usedTPHs
public void add(Pair p)
p - public java.lang.String getInsertString(ResultSet rs)
public void add(TypePlaceholder tph)
public void addTPHs(Menge<TypePlaceholder> TPHs)
public void removeUnusedTPHs(Menge<TypePlaceholder> usedTPHs)