A Sandcastle Documented Class Library
A Sandcastle Documented Class Library
P.Runtime
PrtImplMachine Class
PrtImplMachine Fields
DefaultMaxBufferSize Field
doAssume Field
eventQueue Field
maxBufferSize Field
receiveSet Field
self Field

# 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.)

Top
See Also

#### Reference

PrtImplMachine Class
P.Runtime Namespace