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

# PrtImplMachine Class

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

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

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 PrtImplMachine : PrtMachine

    Public MustInherit Class PrtImplMachine
    	Inherits PrtMachine

    public ref class PrtImplMachine abstract : public PrtMachine

    [<AbstractClassAttribute>]
    type PrtImplMachine =
        class
            inherit PrtMachine
        end

The PrtImplMachine type exposes the following members.

Constructors

| Name | Description
--- | --- | ---
| PrtImplMachine | Initializes a new instance of the PrtImplMachine class
| PrtImplMachine(StateImpl, Int32, Boolean) | Initializes a new instance of the PrtImplMachine class

Top
Properties

| Name | Description
--- | --- | ---
| CurrentActionSet | (Inherited from PrtMachine.)
| CurrentDeferredSet | (Inherited from PrtMachine.)
| CurrentState | (Inherited from PrtMachine.)
| Name | (Inherited from PrtMachine.)
| StartState | (Inherited from PrtMachine.)

Top
Methods

| Name | Description
--- | --- | ---
| AbstractMe |
| Clone |
| DbgCompare | (Overrides PrtMachine DbgCompare(PrtMachine).)
| 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.)
| GetEventValue |
| GetHashCode | (Overrides PrtMachine GetHashCode .)
| GetType | Gets the Type of the current instance. (Inherited from Object.)
| IsAbstract |
| MakeSkeleton |
| MemberwiseClone | Creates a shallow copy of the current Object. (Inherited from Object.)
| NextInstanceNumber |
| PrtChangeState | (Inherited from PrtMachine.)
| PrtDequeueEvent |
| PrtEnqueueEvent | (Overrides PrtMachine PrtEnqueueEvent(PrtValue, PrtValue, PrtMachine, PrtMachineValue).)
| PrtFindActionHandler | (Inherited from PrtMachine.)
| PrtFunContGoto | (Inherited from PrtMachine.)
| PrtFunContNewMachine | (Inherited from PrtMachine.)
| PrtFunContNondet | (Inherited from PrtMachine.)
| PrtFunContPop | (Inherited from PrtMachine.)
| PrtFunContRaise | (Inherited from PrtMachine.)
| PrtFunContReceive | (Inherited from PrtMachine.)
| PrtFunContReturn | (Inherited from PrtMachine.)
| PrtFunContReturnVal | (Inherited from PrtMachine.)
| PrtFunContSend | (Inherited from PrtMachine.)
| PrtHasNullReceiveCase |
| PrtIsActionInstalled | (Inherited from PrtMachine.)
| PrtIsPushTransitionPresent |
| PrtIsTransitionPresent | (Inherited from PrtMachine.)
| PrtPopFunStackFrame | (Inherited from PrtMachine.)
| PrtPopState | (Inherited from PrtMachine.)
| PrtPushExitFunction | (Inherited from PrtMachine.)
| PrtPushFunStackFrame(PrtFun, List PrtValue ) | (Inherited from PrtMachine.)
| PrtPushFunStackFrame(PrtFun, List PrtValue , Int32) | (Inherited from PrtMachine.)
| PrtPushState | (Inherited from PrtMachine.)
| PrtPushTransitionFun | (Inherited from PrtMachine.)
| PrtResetTriggerAndPayload |
| PrtRunStateMachine |
| PrtRunStateMachineNextChoice |
| PrtStepStateMachine |
| Resolve | (Overrides PrtMachine Resolve(StateImpl).)
| ToPrettyString |
| ToString | (Overrides Object ToString .)

Top
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

P.Runtime Namespace