Transition Members

A class describing a state transition.

The following tables list the members exposed by the Transition type.

Public Constructors

	Name	Description
	Transition

Top

Public Properties

	Name	Description
	Action	The invocation of this transition.
	AssumeCapturedRequirements	The labels of the assumed captured requirements of the transition
	CapturedRequirements	The labels of the captured requirements of the transition.
	PostConstraints	Post Constraints associated with this transition.
	PreConstraints	Pre Constraints associated with this transition.
	Source	The label of the source state of the transition.
	Target	The label of the target state of the transition.
	VariablesToUnbind	Variables to unbind at the end of this transition (after constraints have been evaluated).
	VariablesToUnbindKeys	For internal purposes only; supports the serialization infrastructure.

Top

Public Methods

(see also Protected Methods)

	Name	Description
	Equals	(Inherited from Object)
	GetHashCode	(Inherited from Object)
	GetType	(Inherited from Object)
	ToString	(Inherited from Object)

Top

Protected Methods

	Name	Description
	Finalize	(Inherited from Object)
	MemberwiseClone	(Inherited from Object)

Top

See Also

Reference

Transition Class
Microsoft.SpecExplorer.ObjectModel Namespace