A Sandcastle Documented Class Library
A Sandcastle Documented Class Library
P.Runtime
PrtSpecMachine Class
PrtSpecMachine Fields
currentTemperature Field
observes Field

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

Top
See Also

#### Reference

PrtSpecMachine Class
P.Runtime Namespace