PrtImplMachine Fields |
The PrtImplMachine type exposes the following members.
Fields| Name | Description | |
|---|---|---|
 | continuation | (Inherited from PrtMachine.) |
| currentPayload | (Inherited from PrtMachine.) |
| currentStatus | (Inherited from PrtMachine.) |
| currentTrigger | (Inherited from PrtMachine.) |
| currentTriggerSenderInfo | (Inherited from PrtMachine.) |
 | DefaultMaxBufferSize | |
| destOfGoto | (Inherited from PrtMachine.) |
| doAssume | |
| eventQueue | |
 | eventValue | (Inherited from PrtMachine.) |
| fields | (Inherited from PrtMachine.) |
| instanceNumber | (Inherited from PrtMachine.) |
| invertedFunStack | (Inherited from PrtMachine.) |
| isSafe | (Inherited from PrtMachine.) |
| maxBufferSize | |
| nextSMOperation | (Inherited from PrtMachine.) |
| receiveSet | |
| renamedName | (Inherited from PrtMachine.) |
| self | |
| sends | (Inherited from PrtMachine.) |
| stateExitReason | (Inherited from PrtMachine.) |
| stateImpl | (Inherited from PrtMachine.) |
| stateStack | (Inherited from PrtMachine.) |
See Also