Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## 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)`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES