Uses of Class
mycompiler.mytype.RefType

Packages that use RefType

mycompiler.myclass
mycompiler.mystatement
mycompiler.mytype
mycompiler.mytypereconstruction.unify

Uses of RefType in mycompiler.myclass

Methods in mycompiler.myclass with parameters of type RefType

void	ExceptionList.set_addElem(RefType rety)

Uses of RefType in mycompiler.mystatement

Methods in mycompiler.mystatement with parameters of type RefType

void	InstanceOf.set_Type(RefType typ)

Uses of RefType in mycompiler.mytype

Subclasses of RefType in mycompiler.mytype

class

Void

Methods in mycompiler.mytype that return RefType

RefType

RefType.clone()

Methods in mycompiler.mytype with parameters of type RefType

boolean	RefType.Equiv2Equal(RefType ty2, java.util.Hashtable ht)
boolean	RefType.is_Equiv(RefType ty2, java.util.Hashtable ht)

Constructors in mycompiler.mytype with parameters of type RefType

RefType(RefType R)

Uses of RefType in mycompiler.mytypereconstruction.unify

Methods in mycompiler.mytypereconstruction.unify that return types with arguments of type RefType

static de.dhbwstuttgart.typeinference.Menge<RefType>	Unify.allGreater(RefType ty, de.dhbwstuttgart.typeinference.Menge FC)
static de.dhbwstuttgart.typeinference.Menge<RefType>	Unify.allSmaller(RefType ty, de.dhbwstuttgart.typeinference.Menge FC)

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

static de.dhbwstuttgart.typeinference.Menge<RefType>	Unify.allGreater(RefType ty, de.dhbwstuttgart.typeinference.Menge FC)
static de.dhbwstuttgart.typeinference.Menge<RefType>	Unify.allSmaller(RefType ty, de.dhbwstuttgart.typeinference.Menge FC)
static Pair	Unify.isInFC(RefType R1, RefType R2, de.dhbwstuttgart.typeinference.Menge FC)
static Pair	Unify.isInFCrechtsUnify(RefType RT1, RefType RT2, FC_TTO fc_tto)
static boolean	Unify.isRXSimilarRY(RefType RFC, RefType RY)
static boolean	Unify.isTVinRefType(TyploseVariable TV, RefType RT)
static java.util.Hashtable	Unify.match(RefType FCtype, RefType tomatch, java.util.Hashtable ht)
static void	Unify.SubstHashtable(RefType typterm, java.util.Hashtable ht)
static void	Unify.varSubst(RefType typterm, java.util.Hashtable ht)