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)