PrtSpecMachine Class |
[Missing <summary> documentation for "T:P.Runtime.PrtSpecMachine"]
Inheritance HierarchyNamespace: P.Runtime
Assembly: Prt (in Prt.dll) Version: 1.0.0.0 (1.0.0.0)
SyntaxThe PrtSpecMachine type exposes the following members.
Constructors| Name | Description | |
|---|---|---|
 | PrtSpecMachine | Initializes a new instance of the PrtSpecMachine class |
| PrtSpecMachine(StateImpl) | Initializes a new instance of the PrtSpecMachine class |
Properties| Name | Description | |
|---|---|---|
 | CurrentActionSet | (Inherited from PrtMachine.) |
| CurrentDeferredSet | (Inherited from PrtMachine.) |
| CurrentState | (Inherited from PrtMachine.) |
| Name | (Inherited from PrtMachine.) |
| StartState | (Inherited from PrtMachine.) |
MethodsTop
Fields| Name | Description | |
|---|---|---|
 | continuation | (Inherited from PrtMachine.) |
| currentPayload | (Inherited from PrtMachine.) |
| currentStatus | (Inherited from PrtMachine.) |
| currentTemperature | |
| currentTrigger | (Inherited from PrtMachine.) |
| currentTriggerSenderInfo | (Inherited from PrtMachine.) |
| destOfGoto | (Inherited from PrtMachine.) |
 | eventValue | (Inherited from PrtMachine.) |
| fields | (Inherited from PrtMachine.) |
| instanceNumber | (Inherited from PrtMachine.) |
| invertedFunStack | (Inherited from PrtMachine.) |
| isSafe | (Inherited from PrtMachine.) |
| nextSMOperation | (Inherited from PrtMachine.) |
| observes | |
| renamedName | (Inherited from PrtMachine.) |
| sends | (Inherited from PrtMachine.) |
| stateExitReason | (Inherited from PrtMachine.) |
| stateImpl | (Inherited from PrtMachine.) |
| stateStack | (Inherited from PrtMachine.) |
See Also