Uses of Class
mycompiler.mytype.Pair

Packages that use Pair

Package	Description
mycompiler
mycompiler.myparser
mycompiler.mytype
mycompiler.mytypereconstruction
mycompiler.mytypereconstruction.set
mycompiler.mytypereconstruction.unify
typinferenz

Uses of Pair in mycompiler

Fields in mycompiler with type parameters of type Pair

Modifier and Type	Field and Description
java.util.Vector<Pair>	MyCompiler.testPair

Uses of Pair in mycompiler.myparser

Fields in mycompiler.myparser with type parameters of type Pair

Modifier and Type	Field and Description
java.util.Vector<Pair>	JavaParser.testPair

Uses of Pair in mycompiler.mytype

Methods in mycompiler.mytype that return Pair

Modifier and Type	Method and Description
Pair	Pair.clone() Author: Arne L�dtke Erzeugt einen Klon des Paares.
Pair	Pair.copyPair()

Methods in mycompiler.mytype with parameters of type Pair

Modifier and Type	Method and Description
boolean	Pair.Pair_isEquiv(Pair p)

Method parameters in mycompiler.mytype with type arguments of type Pair

Modifier and Type	Method and Description
boolean	Pair.isInVector(java.util.Vector<Pair> V)

Constructors in mycompiler.mytype with parameters of type Pair

Constructor and Description
GenericTypeVar(Pair genericTypeVarExtendsVar)

Uses of Pair in mycompiler.mytypereconstruction

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

Modifier and Type	Method and Description
java.util.Vector<Pair>	CTypeReconstructionResult.getConstraints()

Method parameters in mycompiler.mytypereconstruction with type arguments of type Pair

Modifier and Type	Method and Description
void	CTypeReconstructionResult.setConstraints(java.util.Vector<Pair> constraints)
void	CTypeReconstructionResult.setUnifiedConstraints(java.util.Vector<Pair> unifiedConstraints)

Constructors in mycompiler.mytypereconstruction with parameters of type Pair

Constructor and Description
CSubstitution(Pair unifier)

Uses of Pair in mycompiler.mytypereconstruction.set

Constructor parameters in mycompiler.mytypereconstruction.set with type arguments of type Pair

Constructor and Description
CSubstitutionSet(java.util.Vector<Pair> unifiers)

Uses of Pair in mycompiler.mytypereconstruction.unify

Methods in mycompiler.mytypereconstruction.unify that return Pair

Modifier and Type	Method and Description
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)

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

Modifier and Type	Method and Description
static java.util.Vector<Pair>	Unify.copyVectorPair(java.util.Vector<Pair> vp)
static java.util.Vector<java.util.Vector<Pair>>	Unify.copyVectorVectorPair(java.util.Vector<java.util.Vector<Pair>> vp)
java.util.Vector<Pair>	FC_TTO.getFC()
java.util.Vector<Pair>	MUB.getUnifier()
static java.util.Vector<java.util.Vector<Pair>>	Unify.instanceSmaller(Pair P, FC_TTO fc_tto)
static java.util.Vector<Pair>	Unify.sub_unify(java.util.Vector<Pair> E, FC_TTO fc_tto)
static java.util.Vector<Pair>	Unify.sub_unify(java.util.Vector<Pair> E, FC_TTO fc_tto, boolean useSubst)
static java.util.Vector<Pair>	Unify.SubstHashtable2VectorPair(java.util.Hashtable ht)
static java.util.Vector<java.util.Vector<Pair>>	Unify.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.unify(java.util.Vector<Pair> E, FC_TTO fc_tto) Einstieg in die Unifizierung mit Wildcards
static java.util.Vector<java.util.Vector<Pair>>	Unify.unifyOld(java.util.Vector<Pair> E, FC_TTO fc_tto)
static java.util.Vector<java.util.Vector<Pair>>	Unify.unifyWC(Pair P, FC_TTO fc_tto) Einstieg in die Unifizierung mit Wildcards
static java.util.Vector<java.util.Vector<Pair>>	Unify.unifyWC(Type ty1, Type ty2, FC_TTO fc_tto) Einstieg in die Unifizierung mit Wildcards

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

Modifier and Type	Method and Description
static java.util.Vector<java.util.Vector<Pair>>	Unify.instanceSmaller(Pair P, FC_TTO fc_tto)
static boolean	Unify.Subst(Pair P, int nTypnrInPair, TypePlaceholder a, Type o, boolean bMitVorbedingung)
static java.util.Vector<java.util.Vector<Pair>>	Unify.unifyWC(Pair P, FC_TTO fc_tto) Einstieg in die Unifizierung mit Wildcards

Method parameters in mycompiler.mytypereconstruction.unify with type arguments of type Pair

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)
static java.util.Vector<Pair>	Unify.copyVectorPair(java.util.Vector<Pair> vp)
static java.util.Vector<java.util.Vector<Pair>>	Unify.copyVectorVectorPair(java.util.Vector<java.util.Vector<Pair>> vp)
static boolean	Unify.hasSolvedForm(java.util.Vector<Pair> E)
static Pair	Unify.isInFC(RefType R1, RefType R2, java.util.Vector<Pair> FC)
static void	Unify.printMenge(java.lang.String strMenge, java.util.Vector<Pair> E, int nDebug)
static void	Unify.printMengeUnifier(java.lang.String strMenge, java.util.Vector<java.util.Vector<Pair>> Uni, int nDebug)
static java.util.Vector<Pair>	Unify.sub_unify(java.util.Vector<Pair> E, FC_TTO fc_tto)
static java.util.Vector<Pair>	Unify.sub_unify(java.util.Vector<Pair> E, FC_TTO fc_tto, boolean useSubst)
static java.util.Vector<java.util.Vector<Pair>>	Unify.unify(java.util.Vector<Pair> E, FC_TTO fc_tto) Einstieg in die Unifizierung mit Wildcards
static java.util.Vector<java.util.Vector<Pair>>	Unify.unifyOld(java.util.Vector<Pair> E, FC_TTO fc_tto)
static java.util.Hashtable<java.lang.String,Type>	Unify.VectorPair2SubstHashtableVectorPair(java.util.Vector<Pair> v)

Constructor parameters in mycompiler.mytypereconstruction.unify with type arguments of type Pair

Constructor and Description
FC_TTO(java.util.Vector<Pair> fc, java.util.Vector tto, java.util.Vector<Class> classv)

Uses of Pair in typinferenz

Methods in typinferenz that return Pair

Modifier and Type	Method and Description
Pair	SingleConstraint.getPair()

Methods in typinferenz that return types with arguments of type Pair

Modifier and Type	Method and Description
java.util.Vector<Pair>	Constraint.getConstraintPairs()
java.util.Vector<java.util.Vector<Pair>>	ConstraintsSet.getConstraints() Liefert alle Constraintsvariationen, allerdings in Form von Pair's.
java.util.Vector<Pair>	ResultSet.getResultSet()
java.util.Iterator<Pair>	ResultSet.iterator()

Methods in typinferenz with parameters of type Pair

Modifier and Type	Method and Description
void	Constraint.addConstraint(Pair toAdd) Falls die Type des toAdd-Pairs nicht vom Typ RefType bzw.
void	SingleConstraint.addConstraint(Pair toAdd)

Constructor parameters in typinferenz with type arguments of type Pair

Constructor and Description
ResultSet(java.util.Vector<Pair> resultSet)