Compartir a través de

TransitionSystem Members

  • Artículo

A class representing the states and transitions in an exploration result, together with their properties and contents.

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

Public Constructors

  Name Description
  TransitionSystem  

Top

Public Properties

  Name Description
public property ActionMemberKeys For internal purposes only; supports the serialization infrastructure.
public property ActionMembers Actions (methods, constructors, or events) associated with this system.
public property AdapterTypeKeys For internal purposes only; supports the serialization infrastructure.
public property AdapterTypes Types which represent adapters.
public property ConfigSwitches Configuration switches.
public property ExpressionTable For internal purposes only; supports the serialization infrastructure.
public property InitialStates The initial states of this system.
public property MemberTable For internal purposes only; supports the serialization infrastructure.
public property Name Name of this system.
public property States All states of this system.
public property Transitions All transitions of this system.
public property VariableKeys For internal purposes only; supports the serialization infrastructure.
public property Variables All variables used in transitions or assumptions in this system.

Top

Public Methods

(see also Protected Methods)

  Name Description
public methodstatic ActionInvocation Create an action invocation element.
public methodstatic ActionSymbol Create an action symbol element.
public methodstatic ConfigSwitch Create a config switch element.
public methodstatic Constraint Create a constraint element.
public method ContainsCallTransition  
public method ContainsEventTransition  
public method ContainsReturnTransition  
public methodstatic Create Create a transition system.
public method Equals  (Inherited from Object)
public method GetHashCode  (Inherited from Object)
public method GetStateFromLabel  
public method GetSwitch Get the value of a switch.
public method GetType  (Inherited from Object)
public method IsAcceptingState  
public method IsCallTransition  
public method IsErrorState  
public method IsEventTransition  
public method IsPlaceholder Determine whether a variable represents a placeholder ('_').
public method IsReturnTransition  
public method LinkSystem  
public methodstatic Probe Create a probe element.
public methodstatic State  
public method ToString  (Inherited from Object)
public methodstatic Transition Create a transition element.
public method TryGetIncomingTransitions  
public method TryGetOutgoingTransitions  
public method TryGetUniqueCallTransition  
public method TryGetUniqueReturnTransition  

Top

Protected Methods

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

Top

See Also

Reference

TransitionSystem Class
Microsoft.SpecExplorer.ObjectModel Namespace