Package TypeSystem.Operations

Operations encapsulate each type rule that can be included as a constraint in a method type. More...

Classes
class	ArithmeticalOperation
	This class instantiates elements of type UnaryArithmeticalOperation, and BinaryArithmeticalOperation, according to the Create method called. Implements a factory methos(virtual constructor) Role: factory More...
class	AssignmentOperation
	Implements Double dispatcher Pattern. The class encapsulates encapsulates all it's needed to perform an assigment operationt, except the first argument that is passed as argument with the message AcceptOperation() and done in the proper method. More...
class	BinaryArithmeticalOperation
class	SquareBracketOperation
	Implements bracket operation of a type expression. Implments double dispatcher pattern. More...
class	CastOperation
	These clase implements cast operation over a type expression that is encapsulated in a message pass to AcceptOperation. Tels if the caller can cast to CastType Implements Double dispatcher pattern More...
class	CloneTypeVariablesOperation
class	ConstrainedDotOperation
	This class generatess constraits, and raises error if something is wrong. Implements a double dispatcher pattern Implements a factory method. Role: Product More...
class	DotOperation
	Implements a factory method pattern. Virtual constructor. Role: factory Implements a double dispatcher pattern Role: More...
class	EqualsForOverloadOperation
	Implemeents a double dispatcher pattern Role: More...
class	EquivalentOperation
	No location information is provided within this class, because the exec methods invoked by the proper messages always return a boolean type. A More...
class	GetMembersOperation
	Represents an operation to return all the members in a type More...
class	ParenthesisOperation
	Implements Double Dispatch Pattern Role: More...
class	PromotionLevelOperation
	Its operation AcceptOperation() returns an integer value that indicates a promotion level between two types. That is the number of gaps represented as levels between two types The static behaviour is T1\/T2 <= X iff T1<=X and T2<=X The dynamic behaviour is T1\/T2 <= X iff T1<=X or T2<=X More...
class	PromotionOperation
class	RelationalOperation
class	SimplePromotionOperation
class	TypeSystemOperation
	This class represent the entry wnen sending a message to an operation object derived from TypeExpression. More...
class	UnaryArithmeticalOperation
	Class Unary AritmethicalOperation Implements: Factory method Role: More...
class	UnconstrainedDotOperation
class	UnifyOperation
class	VerbosePromotionOperation
	Implements factory method. Encapsulates a Promotion able to raise errors and to do constraints.

Enumerations
enum	DotKind { DotKind.Constrained, DotKind.Unconstrained }
enum	KindOfPromotion { KindOfPromotion.Simple, KindOfPromotion.Verbose }
	This class implements factory method pattern ( virtual constructor). Role: Factory More...

Detailed Description

Operations encapsulate each type rule that can be included as a constraint in a method type.

Enumeration Type Documentation

enum TypeSystem.Operations.DotKind

Enumerator
Constrained
Unconstrained

Definition at line 4 of file DotOperation.cs.

enum TypeSystem.Operations.KindOfPromotion

This class implements factory method pattern ( virtual constructor). Role: Factory

Enumerator
Simple
Verbose

Definition at line 10 of file PromotionOperation.cs.