Uses of Class
mycompiler.mytype.RefType

Packages that use RefType

Package	Description
mycompiler.myclass
mycompiler.myinterface
mycompiler.myoperator
mycompiler.mystatement
mycompiler.mytype
mycompiler.mytypereconstruction
mycompiler.mytypereconstruction.unify
typinferenz

Uses of RefType in mycompiler.myclass

Methods in mycompiler.myclass that return RefType

Modifier and Type	Method and Description
RefType	Class.getType() Erstellt einen RefType, welcher auf diese Klasse verweist

Methods in mycompiler.myclass with parameters of type RefType

Modifier and Type	Method and Description
void	ExceptionList.set_addElem(RefType rety)

Uses of RefType in mycompiler.myinterface

Methods in mycompiler.myinterface with parameters of type RefType

Modifier and Type	Method and Description
boolean	Interface.isAGenericType(RefType type)

Uses of RefType in mycompiler.myoperator

Methods in mycompiler.myoperator with parameters of type RefType

Modifier and Type	Method and Description
CTripleSet	Operator.TRExpPossibility(Binary binary, CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData, RefType inputType, RefType outputType)

Uses of RefType in mycompiler.mystatement

Methods in mycompiler.mystatement with parameters of type RefType

Modifier and Type	Method and Description
void	InstanceOf.set_Type(RefType typ)

Uses of RefType in mycompiler.mytype

Subclasses of RefType in mycompiler.mytype

Modifier and Type	Class and Description
class	Void

Methods in mycompiler.mytype that return RefType

Modifier and Type	Method and Description
RefType	RefType.clone()

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

Modifier and Type	Method and Description
java.util.Iterator<RefType>	CRefTypeSet.iterator()

Methods in mycompiler.mytype with parameters of type RefType

Modifier and Type	Method and Description
boolean	RefType.Equiv2Equal(RefType ty2, java.util.Hashtable<java.lang.String,Type> ht)
boolean	RefType.is_Equiv(RefType ty2, java.util.Hashtable<java.lang.String,Type> ht)

Constructors in mycompiler.mytype with parameters of type RefType

Constructor and Description
RefType(RefType R, int offset)

Uses of RefType in mycompiler.mytypereconstruction

Methods in mycompiler.mytypereconstruction that return RefType

Modifier and Type	Method and Description
RefType	CSupportData.getCurrentClassType()

Uses of RefType in mycompiler.mytypereconstruction.unify

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

Modifier and Type	Method and Description
static java.util.Vector<RefType>	Unify.allGreater(BoundedGenericTypeVar ty, java.util.Vector<Pair> FC)
static java.util.Vector<RefType>	Unify.allGreater(RefType ty, java.util.Vector<Pair> FC)
static java.util.Vector<RefType>	Unify.allSmaller(RefType ty, java.util.Vector<Pair> FC)

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

Modifier and Type	Method and Description
static java.util.Vector<RefType>	Unify.allGreater(RefType ty, java.util.Vector<Pair> FC)
static java.util.Vector<RefType>	Unify.allSmaller(RefType ty, java.util.Vector<Pair> FC)
static Pair	Unify.isInFC(RefType R1, RefType R2, java.util.Vector<Pair> FC)
static Pair	Unify.isInFCrechtsUnify(RefType RT1, RefType RT2, FC_TTO fc_tto)
static boolean	Unify.isRXSimilarRY(RefType RFC, RefType RY, boolean allowTPH)
static boolean	Unify.isTVinRefType(TypePlaceholder TV, RefType RT)
static java.util.Hashtable	Unify.match(RefType FCtype, RefType tomatch, java.util.Hashtable<java.lang.String,Type> ht)
static void	Unify.SubstHashtable(RefType typterm, java.util.Hashtable<java.lang.String,Type> ht)
static void	Unify.SubstHashtableGeneric(RefType typterm, java.util.Hashtable<java.lang.String,Type> ht)
static void	Unify.varSubst(RefType typterm, java.util.Hashtable<java.lang.String,Type> ht)

Uses of RefType in typinferenz

Subclasses of RefType in typinferenz

Modifier and Type	Class and Description
class	FunN

Methods in typinferenz that return RefType

Modifier and Type	Method and Description
RefType	FunN.clone() Ein �berschreiben der clone-Methode ist notwendig, da sonst beim Unify-Algorithmus die Clone-Methode der Superklasse "RefType" ausgef�hrt wird.