PrtSpecMachine Fields |
The PrtSpecMachine type exposes the following members.
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