Uses of Class
mycompiler.mytypereconstruction.unify.FC_TTO

Packages that use FC_TTO

mycompiler
mycompiler.mytypereconstruction
mycompiler.mytypereconstruction.unify

Uses of FC_TTO in mycompiler

Methods in mycompiler that return FC_TTO

FC_TTO

SourceFile.makeFC()

Uses of FC_TTO in mycompiler.mytypereconstruction

Methods in mycompiler.mytypereconstruction that return FC_TTO

FC_TTO

CSupportData.getFiniteClosure()

Methods in mycompiler.mytypereconstruction with parameters of type FC_TTO

void	CSupportData.setFiniteClosure(FC_TTO finiteClosure)

Constructors in mycompiler.mytypereconstruction with parameters of type FC_TTO

CSupportData(FC_TTO finiteClosure, de.dhbwstuttgart.typeinference.Menge<CTypeReconstructionResult> A, java.lang.String currentClass)

CSupportData(FC_TTO finiteClosure, de.dhbwstuttgart.typeinference.Menge<CTypeReconstructionResult> A, java.lang.String currentClass, java.lang.String currentMethod, int currentMethodParaCount, de.dhbwstuttgart.typeinference.Menge<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

static de.dhbwstuttgart.typeinference.Menge<de.dhbwstuttgart.typeinference.Menge<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 de.dhbwstuttgart.typeinference.Menge	Unify.sub_unify(de.dhbwstuttgart.typeinference.Menge E, FC_TTO fc_tto)
static de.dhbwstuttgart.typeinference.Menge<de.dhbwstuttgart.typeinference.Menge<Pair>>	Unify.unify(Type ty1, Type ty2, FC_TTO fc_tto)
static de.dhbwstuttgart.typeinference.Menge<de.dhbwstuttgart.typeinference.Menge<Pair>>	Unify.unify(de.dhbwstuttgart.typeinference.Menge<Pair> E, FC_TTO fc_tto)