A Sandcastle Documented Class Library
A Sandcastle Documented Class Library
P.Runtime
PrtMachine Class
PrtMachine Constructor
PrtMachine Properties
PrtMachine Methods
PrtMachine Fields

# PrtMachine Class

[Missing <summary> documentation for "T:P.Runtime.PrtMachine"]

Inheritance Hierarchy
System
Object
P.Runtime
PrtMachine
P.Runtime
PrtImplMachine
P.Runtime
PrtSpecMachine

Namespace: P.Runtime
Assembly: Prt (in Prt.dll) Version: 1.0.0.0 (1.0.0.0)
Syntax
C#
VB
C++
F#
Copy

    public abstract class PrtMachine

    Public MustInherit Class PrtMachine

    public ref class PrtMachine abstract

    [<AbstractClassAttribute>]
    type PrtMachine =  class end

The PrtMachine type exposes the following members.

Constructors

| Name | Description
--- | --- | ---
| PrtMachine | Initializes a new instance of the PrtMachine class

Top
Properties

| Name | Description
--- | --- | ---
| CurrentActionSet |
| CurrentDeferredSet |
| CurrentState |
| Name |
| StartState |

Top
Methods

| Name | Description
--- | --- | ---
| DbgCompare |
| Equals | Determines whether the specified object is equal to the current object. (Inherited from Object.)
| Finalize | Allows an object to try to free resources and perform other cleanup operations before it is reclaimed by garbage collection. (Inherited from Object.)
| GetHashCode | (Overrides Object GetHashCode .)
| GetType | Gets the Type of the current instance. (Inherited from Object.)
| MemberwiseClone | Creates a shallow copy of the current Object. (Inherited from Object.)
| PrtChangeState |
| PrtEnqueueEvent |
| PrtFindActionHandler |
| PrtFunContGoto |
| PrtFunContNewMachine |
| PrtFunContNondet |
| PrtFunContPop |
| PrtFunContRaise |
| PrtFunContReceive |
| PrtFunContReturn |
| PrtFunContReturnVal |
| PrtFunContSend |
| PrtIsActionInstalled |
| PrtIsTransitionPresent |
| PrtPopFunStackFrame |
| PrtPopState |
| PrtPushExitFunction |
| PrtPushFunStackFrame(PrtFun, List PrtValue ) |
| PrtPushFunStackFrame(PrtFun, List PrtValue , Int32) |
| PrtPushState |
| PrtPushTransitionFun |
| Resolve |
| ToPrettyString |
| ToString | Returns a string that represents the current object. (Inherited from Object.)

Top
Fields

| Name | Description
--- | --- | ---
| continuation |
| currentPayload |
| currentStatus |
| currentTrigger |
| currentTriggerSenderInfo |
| destOfGoto |
| eventValue |
| fields |
| instanceNumber |
| invertedFunStack |
| isSafe |
| nextSMOperation |
| renamedName |
| sends |
| stateExitReason |
| stateImpl |
| stateStack |

Top
See Also

#### Reference

P.Runtime Namespace