mycompiler.mytypereconstruction.unify

Class Unify

java.lang.Object

mycompiler.mytypereconstruction.unify.Unify

public class Unify
extends java.lang.Object

Implementierung des Unifizierungsalgorithmus

Version:

$Date: 2013/09/22 20:12:49 $

Author:

Martin Pl�micke, Thomas Ott

Constructor Summary

Constructors

Constructor and Description
Unify()

Method Summary

Methods

Modifier and Type	Method and Description
static java.util.Vector<RefType>	allGreater(BoundedGenericTypeVar ty, java.util.Vector<Pair> FC)
static java.util.Vector<RefType>	allGreater(RefType ty, java.util.Vector<Pair> FC)
static java.util.Vector<RefType>	allSmaller(RefType ty, java.util.Vector<Pair> FC)
static java.util.Vector<Pair>	copyVectorPair(java.util.Vector<Pair> vp)
static java.util.Vector<java.util.Vector<Pair>>	copyVectorVectorPair(java.util.Vector<java.util.Vector<Pair>> vp)
static boolean	hasSolvedForm(java.util.Vector<Pair> E)
static java.util.Vector<java.util.Vector<Pair>>	instanceSmaller(Pair P, FC_TTO fc_tto)
static Pair	isInFC(RefType R1, RefType R2, java.util.Vector<Pair> FC)
static Pair	isInFCrechtsUnify(RefType RT1, RefType RT2, FC_TTO fc_tto)
static boolean	isRealSubClass(java.lang.String Basis, java.lang.String Mutter, FC_TTO fc_tto)
static boolean	isRXSimilarRY(RefType RFC, RefType RY, boolean allowTPH)
static boolean	isTVinRefType(TypePlaceholder TV, RefType RT)
static java.util.Hashtable	match(RefType FCtype, RefType tomatch, java.util.Hashtable<java.lang.String,Type> ht)
static int	pi(int n, java.lang.String C, java.lang.String D, java.util.Vector tto)
static void	printMenge(java.lang.String strMenge, java.util.Vector<Pair> E, int nDebug)
static void	printMengeUnifier(java.lang.String strMenge, java.util.Vector<java.util.Vector<Pair>> Uni, int nDebug)
static java.util.Vector<Pair>	sub_unify(java.util.Vector<Pair> E, FC_TTO fc_tto)
static java.util.Vector<Pair>	sub_unify(java.util.Vector<Pair> E, FC_TTO fc_tto, boolean useSubst)
static boolean	Subst(Pair P, int nTypnrInPair, TypePlaceholder a, Type o, boolean bMitVorbedingung)
static void	SubstHashtable(RefType typterm, java.util.Hashtable<java.lang.String,Type> ht)
static java.util.Vector<Pair>	SubstHashtable2VectorPair(java.util.Hashtable ht)
static void	SubstHashtableGeneric(RefType typterm, java.util.Hashtable<java.lang.String,Type> ht)
static MUB	unify_Mub(Type ty1, Type ty2, FC_TTO fc_tto)
static java.util.Vector<java.util.Vector<Pair>>	unify(Type ty1, Type ty2, FC_TTO fc_tto) Unifiziert ein Pair mit den Elementen ty1 und ty2 -> (ty1 < ty2)
static java.util.Vector<java.util.Vector<Pair>>	unify(java.util.Vector<Pair> E, FC_TTO fc_tto) Einstieg in die Unifizierung mit Wildcards
static java.util.Vector<java.util.Vector<Pair>>	unifyOld(java.util.Vector<Pair> E, FC_TTO fc_tto)
static java.util.Vector<java.util.Vector<Pair>>	unifyWC(Pair P, FC_TTO fc_tto) Einstieg in die Unifizierung mit Wildcards
static java.util.Vector<java.util.Vector<Pair>>	unifyWC(Type ty1, Type ty2, FC_TTO fc_tto) Einstieg in die Unifizierung mit Wildcards
static void	varSubst(RefType typterm, java.util.Hashtable<java.lang.String,Type> ht)
static java.util.Hashtable<java.lang.String,Type>	VectorPair2SubstHashtableVectorPair(java.util.Vector<Pair> v)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Unify

public Unify()

Method Detail

unify

public static java.util.Vector<java.util.Vector<Pair>> unify(Type ty1,
                                             Type ty2,
                                             FC_TTO fc_tto)

Unifiziert ein Pair mit den Elementen ty1 und ty2 -> (ty1 < ty2)

Parameters:

ty1 -

ty2 -

fc_tto -

Returns:

unifyOld

public static java.util.Vector<java.util.Vector<Pair>> unifyOld(java.util.Vector<Pair> E,
                                                FC_TTO fc_tto)

unifyWC

public static java.util.Vector<java.util.Vector<Pair>> unifyWC(Type ty1,
                                               Type ty2,
                                               FC_TTO fc_tto)

Einstieg in die Unifizierung mit Wildcards

Parameters:

ty1 - - Typ 1 der Unifizierung

ty2 - - Typ 2 der Unifizierung

fc_tto - - Hilfsklasse mit FC

Returns:

Vector> - Ergebnispaare

unifyWC

public static java.util.Vector<java.util.Vector<Pair>> unifyWC(Pair P,
                                               FC_TTO fc_tto)

Einstieg in die Unifizierung mit Wildcards

Parameters:

P - - Paar das unifiziert werden soll.

fc_tto - - Hilfsklasse mit FC

Returns:

Vector> - Ergebnispaare

unify

public static java.util.Vector<java.util.Vector<Pair>> unify(java.util.Vector<Pair> E,
                                             FC_TTO fc_tto)

Einstieg in die Unifizierung mit Wildcards

Parameters:

E - - Vector von Paaren die unifiziert werden sollen

fc_tto - - Hilfsklasse mit FC

Returns:

Vector> - Ergebnispaare Entweder alle Elemente in solved Form [A =. type, B =. type2, ...] oder alle Elemente in der Form [A <. B, C <. D, ..., E in Typ A ...> werden keine ? extends-, ? super-Typen erzeugt

unify_Mub

public static MUB unify_Mub(Type ty1,
            Type ty2,
            FC_TTO fc_tto)
                     throws CTypeReconstructionException

Throws:

CTypeReconstructionException

match

public static java.util.Hashtable match(RefType FCtype,
                        RefType tomatch,
                        java.util.Hashtable<java.lang.String,Type> ht)
                                 throws MatchException

Throws:

MatchException

sub_unify

public static java.util.Vector<Pair> sub_unify(java.util.Vector<Pair> E,
                               FC_TTO fc_tto)

sub_unify

public static java.util.Vector<Pair> sub_unify(java.util.Vector<Pair> E,
                               FC_TTO fc_tto,
                               boolean useSubst)

isRXSimilarRY

public static boolean isRXSimilarRY(RefType RFC,
                    RefType RY,
                    boolean allowTPH)

SubstHashtable2VectorPair

public static java.util.Vector<Pair> SubstHashtable2VectorPair(java.util.Hashtable ht)

VectorPair2SubstHashtableVectorPair

public static java.util.Hashtable<java.lang.String,Type> VectorPair2SubstHashtableVectorPair(java.util.Vector<Pair> v)

copyVectorPair

public static java.util.Vector<Pair> copyVectorPair(java.util.Vector<Pair> vp)

copyVectorVectorPair

public static java.util.Vector<java.util.Vector<Pair>> copyVectorVectorPair(java.util.Vector<java.util.Vector<Pair>> vp)

instanceSmaller

public static java.util.Vector<java.util.Vector<Pair>> instanceSmaller(Pair P,
                                                       FC_TTO fc_tto)

allSmaller

public static java.util.Vector<RefType> allSmaller(RefType ty,
                                   java.util.Vector<Pair> FC)

allGreater

public static java.util.Vector<RefType> allGreater(BoundedGenericTypeVar ty,
                                   java.util.Vector<Pair> FC)

allGreater

public static java.util.Vector<RefType> allGreater(RefType ty,
                                   java.util.Vector<Pair> FC)

isInFC

public static Pair isInFC(RefType R1,
          RefType R2,
          java.util.Vector<Pair> FC)

isInFCrechtsUnify

public static Pair isInFCrechtsUnify(RefType RT1,
                     RefType RT2,
                     FC_TTO fc_tto)

isTVinRefType

public static boolean isTVinRefType(TypePlaceholder TV,
                    RefType RT)

Subst

public static boolean Subst(Pair P,
            int nTypnrInPair,
            TypePlaceholder a,
            Type o,
            boolean bMitVorbedingung)

SubstHashtableGeneric

public static void SubstHashtableGeneric(RefType typterm,
                         java.util.Hashtable<java.lang.String,Type> ht)

SubstHashtable

public static void SubstHashtable(RefType typterm,
                  java.util.Hashtable<java.lang.String,Type> ht)

isRealSubClass

public static boolean isRealSubClass(java.lang.String Basis,
                     java.lang.String Mutter,
                     FC_TTO fc_tto)

pi

public static int pi(int n,
     java.lang.String C,
     java.lang.String D,
     java.util.Vector tto)
              throws SCException

Throws:

SCException

printMengeUnifier

public static void printMengeUnifier(java.lang.String strMenge,
                     java.util.Vector<java.util.Vector<Pair>> Uni,
                     int nDebug)

printMenge

public static void printMenge(java.lang.String strMenge,
              java.util.Vector<Pair> E,
              int nDebug)

hasSolvedForm

public static boolean hasSolvedForm(java.util.Vector<Pair> E)

varSubst

public static void varSubst(RefType typterm,
            java.util.Hashtable<java.lang.String,Type> ht)