Uses of Class
typinferenz.ConstraintsSet

Packages that use ConstraintsSet

Package	Description
mycompiler.myclass
mycompiler.mystatement
typinferenz

Uses of ConstraintsSet in mycompiler.myclass

Methods in mycompiler.myclass that return ConstraintsSet

Modifier and Type	Method and Description
ConstraintsSet	Method.TYPE(TypeAssumptions ass)
ConstraintsSet	Class.TYPE(java.util.Vector<Method> methodList, java.util.Vector<Expr> fielddeclarationList, TypeAssumptions assumptions)

Uses of ConstraintsSet in mycompiler.mystatement

Methods in mycompiler.mystatement that return ConstraintsSet

Modifier and Type	Method and Description
ConstraintsSet	PositivExpr.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	PreDecExpr.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	LambdaExpression.TYPEExpr(TypeAssumptions assumptions) Spezifikation: TYPEExpr( Ass, Lambda( (x1 , . . . , xN ), expr|stmt ) ) = let AssArgs = { xi : ai | ai fresh type variables } (exprt : rty, ConS) = TYPEExpr( Ass ∪ AssArgs, expr ) | (stmtt : rty, ConS) = TYPEStmt( Ass u AssArgs, stmt ) in (Lambda( (x1 : a1 , . . . , xN : aN ), exprt : rty|stmtt : rty ) : a, ConS ∪ { (FunN a) }), where a is a fresh type variable
abstract ConstraintsSet	Expr.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	Binary.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	PostDecExpr.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	NewArray.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	This.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	PreIncExpr.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	PostIncExpr.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	LongLiteral.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	NotExpr.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	LocalOrFieldVar.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	Assign.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	CastExpr.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	CharLiteral.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	InstVar.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	DoubleLiteral.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	Null.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	NegativeExpr.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	InstanceOf.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	StringLiteral.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	FloatLiteral.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	MethodCall.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	NewClass.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	BoolLiteral.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	IntLiteral.TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	LambdaExpression.TYPEStmt(TypeAssumptions ass)
ConstraintsSet	Expr.TYPEStmt(TypeAssumptions assumptions)
ConstraintsSet	WhileStmt.TYPEStmt(TypeAssumptions assumptions)
ConstraintsSet	EmptyStmt.TYPEStmt(TypeAssumptions assumptions)
ConstraintsSet	Return.TYPEStmt(TypeAssumptions assumptions)
ConstraintsSet	Block.TYPEStmt(TypeAssumptions assumptions)
ConstraintsSet	LocalVarDecl.TYPEStmt(TypeAssumptions assumptions)
ConstraintsSet	IfStmt.TYPEStmt(TypeAssumptions assumptions)
ConstraintsSet	Assign.TYPEStmt(TypeAssumptions assumptions) Spezifikation: TYPEStmt( Ass, stmt ) = let (stmt : rty, ConS) = TYPEExpr( Ass, stmt ) in (stmt : Void, ConS)
ConstraintsSet	ForStmt.TYPEStmt(TypeAssumptions assumptions)
ConstraintsSet	MethodCall.TYPEStmt(TypeAssumptions assumptions) Spezifikation: TYPEStmt( Ass, stmt ) = let (stmt : rty, ConS) = TYPEExpr( Ass, stmt ) in (stmt : Void, ConS)
abstract ConstraintsSet	Statement.TYPEStmt(TypeAssumptions assumptions)
ConstraintsSet	NewClass.TYPEStmt(TypeAssumptions assumptions) Spezifikation: TYPEStmt( Ass, stmt ) = let (stmt : rty, ConS) = TYPEExpr( Ass, stmt ) in (stmt : Void, ConS)

Uses of ConstraintsSet in typinferenz

Methods in typinferenz with parameters of type ConstraintsSet

Modifier and Type	Method and Description
void	ConstraintsSet.add(ConstraintsSet CSet)