Package TypeSystem.Constraints

Constraints used in by the type system. More...

Classes
class	ArithmeticConstraint
	It represents constraints of the form: ret := op1 op op2 Where op is an arithmetic operator More...
class	BracketConstraint
	It represents constraints of the form: ret := ret := op1 [ op2 ] More...
class	CastConstraint
	It represents constraints of the form (op1)op2 (op2 might be converted int a op1) More...
class	CloneConstraint
class	Constraint
class	ConstraintAdapter
class	ConstraintList
	A set of constraints More...
class	DotConstraint
	It represents constraints of the form: ret := op1 . memberName More...
class	FieldTypeAssignmentConstraint
	It represents constraints of the form: alpha := beta, being alpha a field type More...
class	FieldTypeVariableAssignmentConstraint
	It represents constraints of the form: alpha.memberName := beta being alpha a type variable More...
class	ParenthesisConstraint
	It represents constraints of the form: ret := op1(implicitObj, param*) where op1 is a method, implicitObj is the actual object used to pass the message and param* is a sequence of parameters More...
class	PromotionConstraint
	It represents constraints of the form op1 <= op2 (op1 is a subtype of op2) More...
class	RelationalConstraint
	It represents constraints of the form: ret := op1 op op2 where op is an relational operator (== != >= <= > <) More...
class	SquareBracketConstraint
	It represents constraints of the form: ret := ret := op1 [ op2 ] More...

Detailed Description

Constraints used in by the type system.