ParenthesisConstraint.cs File Reference

Go to the source code of this file.

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

Namespaces
package	TypeSystem.Constraints
	Constraints used in by the type system.