| Package | Description |
|---|---|
| mycompiler.mytype | |
| mycompiler.mytypereconstruction | |
| mycompiler.mytypereconstruction.unify |
| Modifier and Type | Method and Description |
|---|---|
static TypePlaceholder |
TypePlaceholder.backdoorCreate(java.lang.String name)
Backdoor-Hilfsfunktion, die f�r
makeFC() und unify()
ben�tigt wird, zum Erzeugen eines TypePlaceholders, der nicht in
der zentralen Registry eingetragen wird. |
static TypePlaceholder |
TypePlaceholder.backdoorFresh()
Backdoor-Hilfsfunktion, die f�r
makeFC() und unify()
ben�tigt wird, um neue TypePlaceholders zu erzeugen. |
TypePlaceholder |
TypePlaceholder.clone()
Diese Methode sollte nur sehr sparsam und mit Vorsicht verwendet werden, da die
Registrierung neuer Listener �ber die zentrale Instanz in der Registry laufen
muss.
|
static TypePlaceholder |
TypePlaceholder.fresh()
Erzeugt eine neue
TypePlaceholder mit einem eindeutigen Namen. |
static TypePlaceholder |
TypePlaceholder.fresh(ITypeReplacementListener listener) |
static TypePlaceholder |
TypePlaceholder.getInstance(java.lang.String name)
Statische Methode, um einen TypePlaceholder aus der Registry zu holen.
|
| Modifier and Type | Method and Description |
|---|---|
Type |
CTypeReconstructionResult.getTypeOfPlaceholder(TypePlaceholder tph)
Ermittelt den in diesem ResultSet f�r den TypePlaceholder tph zugewiesenen Wert.
|
void |
CSubstitution.setTypeVar(TypePlaceholder typeVar)
Author: J�rg B�uerle
|
| Constructor and Description |
|---|
CSubstitution(TypePlaceholder typeVar,
Type type) |
| Modifier and Type | Method and Description |
|---|---|
static boolean |
Unify.isTVinRefType(TypePlaceholder TV,
RefType RT) |
static boolean |
Unify.Subst(Pair P,
int nTypnrInPair,
TypePlaceholder a,
Type o,
boolean bMitVorbedingung) |