Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
mycompiler.mytype.TyploseVariable

Packages that use TyploseVariable
mycompiler.mytype |
mycompiler.mytypereconstruction |
mycompiler.mytypereconstruction.unify |

Uses of TyploseVariable in mycompiler.mytype

Methods in mycompiler.mytype that return TyploseVariable
`static TyploseVariable` | `TyploseVariable.backdoorCreate(java.lang.String name)` Backdoor-Hilfsfunktion, die für `makeFC()` und `unify()` benötigt wird, zum Erzeugen einer `TyplosenVariable`, die nicht in der zentralen Registry eingetragen wird.
`static TyploseVariable` | `TyploseVariable.backdoorFresh()` Backdoor-Hilfsfunktion, die für `makeFC()` und `unify()` benötigt wird, um neue typlose Variablen zu erzeugen.
`TyploseVariable` | `TyploseVariable.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 TyploseVariable` | `TyploseVariable.fresh()` Erzeugt eine neue `TyploseVariable` mit einem eindeutigen Namen.
`static TyploseVariable` | `TyploseVariable.getInstance(java.lang.String name)` Statische Methode, um einen typlose Variable aus der Registry zu holen.

Uses of TyploseVariable in mycompiler.mytypereconstruction

Methods in mycompiler.mytypereconstruction that return TyploseVariable
`TyploseVariable` | `CSubstitution.getTypeVar()` Author: Jörg Bäuerle

Methods in mycompiler.mytypereconstruction with parameters of type TyploseVariable
`void` | `CSubstitution.setTypeVar(TyploseVariable typeVar)` Author: Jörg Bäuerle

Constructors in mycompiler.mytypereconstruction with parameters of type TyploseVariable
`CSubstitution(TyploseVariable typeVar, Type type)`

Uses of TyploseVariable in mycompiler.mytypereconstruction.unify

Methods in mycompiler.mytypereconstruction.unify with parameters of type TyploseVariable
`static boolean` | `Unify.isTVinRefType(TyploseVariable TV, RefType RT)`
`static void` | `Unify.Subst(Pair P, int nTypnrInPair, TyploseVariable a, Type o, boolean bMitVorbedingung)`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES