Uses of Class
de.dhbwstuttgart.typeinference.ConstraintType

Packages that use ConstraintType

Package	Description
de.dhbwstuttgart.syntaxtree.operator
de.dhbwstuttgart.syntaxtree.type
de.dhbwstuttgart.typeinference
de.dhbwstuttgart.typeinference.assumptions

Uses of ConstraintType in de.dhbwstuttgart.syntaxtree.operator

Methods in de.dhbwstuttgart.syntaxtree.operator that return types with arguments of type ConstraintType

Modifier and Type	Method and Description
java.util.HashMap<ConstraintType,ConstraintType>	AddOp.getReturnTypes(TypeAssumptions ass)
java.util.HashMap<ConstraintType,ConstraintType>	AddOp.getReturnTypes(TypeAssumptions ass)
java.util.HashMap<ConstraintType,ConstraintType>	LogOp.getReturnTypes(TypeAssumptions ass)
java.util.HashMap<ConstraintType,ConstraintType>	LogOp.getReturnTypes(TypeAssumptions ass)
java.util.HashMap<ConstraintType,ConstraintType>	RelOp.getReturnTypes(TypeAssumptions ass)
java.util.HashMap<ConstraintType,ConstraintType>	RelOp.getReturnTypes(TypeAssumptions ass)
abstract java.util.HashMap<ConstraintType,ConstraintType>	Operator.getReturnTypes(TypeAssumptions ass) Liefert eine HashMap der Form: HashMap
abstract java.util.HashMap<ConstraintType,ConstraintType>	Operator.getReturnTypes(TypeAssumptions ass) Liefert eine HashMap der Form: HashMap
java.util.HashMap<ConstraintType,ConstraintType>	MulOp.getReturnTypes(TypeAssumptions ass)
java.util.HashMap<ConstraintType,ConstraintType>	MulOp.getReturnTypes(TypeAssumptions ass)

Uses of ConstraintType in de.dhbwstuttgart.syntaxtree.type

Methods in de.dhbwstuttgart.syntaxtree.type that return ConstraintType

Modifier and Type	Method and Description
ConstraintType	WildcardType.TYPE(TypeAssumptions ass, SyntaxTreeNode parent)
ConstraintType	GenericTypeVar.TYPE(TypeAssumptions ass, SyntaxTreeNode parent)
ConstraintType	ExtendsWildcardType.TYPE(TypeAssumptions ass, SyntaxTreeNode parent)
ConstraintType	Void.TYPE(TypeAssumptions ass, SyntaxTreeNode parent)
ConstraintType	TypePlaceholder.TYPE(TypeAssumptions ass, SyntaxTreeNode parent)
ConstraintType	SuperWildcardType.TYPE(TypeAssumptions ass, SyntaxTreeNode parent)
ConstraintType	Type.TYPE(TypeAssumptions ass, SyntaxTreeNode parent) Prüft ob der Typ in den Assumptions ass vorhanden ist.
ConstraintType	BaseType.TYPE(TypeAssumptions ass, SyntaxTreeNode parent)
ConstraintType	RefType.TYPE(TypeAssumptions ass, SyntaxTreeNode parent)

Uses of ConstraintType in de.dhbwstuttgart.typeinference

Methods in de.dhbwstuttgart.typeinference with parameters of type ConstraintType

Modifier and Type	Method and Description
void	UndConstraint.addConstraint(ConstraintType type, ConstraintType type2)
void	OderConstraint.addConstraint(ConstraintType p1, ConstraintType p2) Fügt ein Pair(p1, p2) dem Constraint hinzu

Constructors in de.dhbwstuttgart.typeinference with parameters of type ConstraintType

Constructor and Description
ConstraintPair(ConstraintType t1, ConstraintType t2)
OderConstraint(ConstraintType p1, ConstraintType p2) Erstellt ein neues Oder Constraint und fügt bereits ein Constraint hinzu.
SingleConstraint(ConstraintType p1, ConstraintType p2)
UndConstraint(ConstraintType p1, ConstraintType p2)

Uses of ConstraintType in de.dhbwstuttgart.typeinference.assumptions

Methods in de.dhbwstuttgart.typeinference.assumptions that return ConstraintType

Modifier and Type	Method and Description
ConstraintType	TypeAssumptions.getTypeFor(Type t, SyntaxTreeNode inNode) Kontrolliert den vom Parser gesetzten Typ.