| Package | Description |
|---|---|
| de.dhbwstuttgart.syntaxtree | |
| de.dhbwstuttgart.typeinference.unify |
| Modifier and Type | Method and Description |
|---|---|
FC_TTO |
SourceFile.makeFC(TypeAssumptions ass)
Erstellt die Finite Closure
|
| Modifier and Type | Method and Description |
|---|---|
ConstraintsSet |
Class.typeReconstruction(FC_TTO supportData,
TypeAssumptions globalAssumptions)
Ausgangspunkt f�r den Typrekonstruktionsalgorithmus.
|
| Modifier and Type | Method and Description |
|---|---|
private static void |
Unify.adapt(Menge<Pair> H,
Pair PFC,
RefType TA1,
RefType TA2,
FC_TTO fc_tto)
Implementiert die adapt Regel des sub_unify
|
private static void |
Unify.adaptExt(Menge<Pair> H,
Pair PFC,
RefType TA1,
RefType TA2,
FC_TTO fc_tto)
Implementiert die adaptExt Regel des sub_unify
|
private static void |
Unify.adaptSup(Menge<Pair> H,
Pair PFC,
RefType TA1,
RefType TA2,
FC_TTO fc_tto)
Implementiert die adaptSup Regel des sub_unify
|
private static Menge<ObjectType> |
Unify.CaptureConversion(Menge<ObjectType> TVec,
FC_TTO fc_tto)
Implementiert die CaptureConversion.
|
private static Type |
Unify.CaptureConversion(Type T,
FC_TTO fc_tto)
Erzeugt die CaptureConversion von einem Typ.
|
private static java.util.Hashtable<JavaClassName,Type> |
Unify.CaptureConversionHashtable(java.util.Hashtable<JavaClassName,Type> ht,
FC_TTO fc_tto) |
private static Menge<ObjectType> |
Unify.greater(ObjectType T,
FC_TTO fc_tto)
Erzeugt alle Typen die greater sind als T.
|
private static Menge<ObjectType> |
Unify.greater0(ObjectType T,
FC_TTO fc_tto)
greater0 Schritt von greater.
|
private static Menge<ObjectType> |
Unify.greater1(ObjectType T,
FC_TTO fc_tto)
greater1 Schritt von greater.
|
private static Menge<ObjectType> |
Unify.greater2(Menge<ObjectType> greater1Erg,
FC_TTO fc_tto)
greater2 Schritt von greater
|
private static Menge<ObjectType> |
Unify.greater3(Menge<ObjectType> greater2Erg,
FC_TTO fc_tto)
greater3 Schritt von greater
|
private static Menge<Type> |
Unify.greaterArg(Type T,
FC_TTO fc_tto)
greaterArg Schritt von greater
Für den Argumenttype FunN<...> werden keine ?
|
static Menge<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) |
private UnifyResult |
ParallelUnify.parallelUnify(Menge<Pair> pairs,
FC_TTO fc) |
private static Menge<ObjectType> |
Unify.smaller(ObjectType T,
FC_TTO fc_tto)
Erzeugt alle Typen die smaller sind als T.
|
private static Menge<ObjectType> |
Unify.smaller0(ObjectType T,
FC_TTO fc_tto)
smaller0 Schritt von smaller
|
private static Menge<ObjectType> |
Unify.smaller1(Type T,
FC_TTO fc_tto)
smaller1 Schritt von smaller
|
private static Menge<ObjectType> |
Unify.smaller2(Menge<ObjectType> smaller1Erg,
FC_TTO fc_tto)
smaller2 Schritt von smaller
|
private static Menge<ObjectType> |
Unify.smaller3(Menge<ObjectType> smaller12Erg,
FC_TTO fc_tto)
smaller3 Schritt von smaller
|
private static Menge<Type> |
Unify.smallerArg(Type T,
FC_TTO fc_tto)
smallerArg Schritt von smaller
|
static Menge<Pair> |
Unify.sub_unify(Menge<Pair> E,
FC_TTO fc_tto) |
static Menge<Pair> |
Unify.sub_unify(Menge<Pair> E,
FC_TTO fc_tto,
boolean useSubst) |
static MUB |
Unify.unify_Mub(Type ty1,
Type ty2,
FC_TTO fc_tto) |
static Menge<Menge<Pair>> |
Unify.unify(Menge<Pair> E,
FC_TTO fc_tto)
Einstieg in die Unifizierung mit Wildcards
|
static Menge<Menge<Pair>> |
Unify.unify(Type ty1,
Type ty2,
FC_TTO fc_tto)
Unifiziert ein Pair mit den Elementen ty1 und ty2 -> (ty1 < ty2)
|
static Menge<Menge<Pair>> |
Unify.unifyFiltered(Menge<Pair> E,
FC_TTO fc_tto,
boolean filter) |
static Menge<Menge<Pair>> |
Unify.unifyWC(Pair P,
FC_TTO fc_tto)
Einstieg in die Unifizierung mit Wildcards
|
static Menge<Menge<Pair>> |
Unify.unifyWC(Type ty1,
Type ty2,
FC_TTO fc_tto)
Einstieg in die Unifizierung mit Wildcards
|