Uses of Class
mycompiler.mytypereconstruction.unify.FC_TTO

Packages that use FC_TTO

Package	Description
mycompiler
mycompiler.mytypereconstruction
mycompiler.mytypereconstruction.unify

Uses of FC_TTO in mycompiler

Methods in mycompiler that return FC_TTO

Modifier and Type	Method and Description
FC_TTO	SourceFile.makeFC() Erstellt die Finite Closure

Uses of FC_TTO in mycompiler.mytypereconstruction

Methods in mycompiler.mytypereconstruction that return FC_TTO

Modifier and Type	Method and Description
FC_TTO	CSupportData.getFiniteClosure()

Methods in mycompiler.mytypereconstruction with parameters of type FC_TTO

Modifier and Type	Method and Description
void	CSupportData.setFiniteClosure(FC_TTO finiteClosure)

Constructors in mycompiler.mytypereconstruction with parameters of type FC_TTO

Constructor and Description
CSupportData(FC_TTO finiteClosure, java.util.Vector<CTypeReconstructionResult> A, java.lang.String currentClass, java.util.Vector<GenericTypeVar> currentClassPara)
CSupportData(FC_TTO finiteClosure, java.util.Vector<CTypeReconstructionResult> A, java.lang.String currentClass, java.util.Vector<GenericTypeVar> currentClassPara, java.lang.String currentMethod, int currentMethodParaCount, int currentMethodOverloadedID, java.util.Vector<java.lang.Integer> blockIdList, int blockDepth)

Uses of FC_TTO in mycompiler.mytypereconstruction.unify

Methods in mycompiler.mytypereconstruction.unify with parameters of type FC_TTO

Modifier and Type	Method and Description
static java.util.Vector<java.util.Vector<Pair>>	Unify.instanceSmaller(Pair P, FC_TTO fc_tto)
static Pair	Unify.isInFCrechtsUnify(RefType RT1, RefType RT2, FC_TTO fc_tto)
static boolean	Unify.isRealSubClass(java.lang.String Basis, java.lang.String Mutter, FC_TTO fc_tto)
static java.util.Vector<Pair>	Unify.sub_unify(java.util.Vector<Pair> E, FC_TTO fc_tto)
static java.util.Vector<Pair>	Unify.sub_unify(java.util.Vector<Pair> E, FC_TTO fc_tto, boolean useSubst)
static MUB	Unify.unify_Mub(Type ty1, Type ty2, FC_TTO fc_tto)
static java.util.Vector<java.util.Vector<Pair>>	Unify.unify(Type ty1, Type ty2, FC_TTO fc_tto) Unifiziert ein Pair mit den Elementen ty1 und ty2 -> (ty1 < ty2)
static java.util.Vector<java.util.Vector<Pair>>	Unify.unify(java.util.Vector<Pair> E, FC_TTO fc_tto) Einstieg in die Unifizierung mit Wildcards
static java.util.Vector<java.util.Vector<Pair>>	Unify.unifyOld(java.util.Vector<Pair> E, FC_TTO fc_tto)
static java.util.Vector<java.util.Vector<Pair>>	Unify.unifyWC(Pair P, FC_TTO fc_tto) Einstieg in die Unifizierung mit Wildcards
static java.util.Vector<java.util.Vector<Pair>>	Unify.unifyWC(Type ty1, Type ty2, FC_TTO fc_tto) Einstieg in die Unifizierung mit Wildcards