Share via


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

Top

Public Methods

(see also Protected Methods)

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

Top

Protected Methods

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

Top

See Also

Reference

Transition Class
Microsoft.SpecExplorer.ObjectModel Namespace