PromotionLevelOperation.cs File Reference

Go to the source code of this file.

Classes
class	TypeSystem.Operations.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...

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