A Sandcastle Documented Class Library
A Sandcastle Documented Class Library
P.Runtime
PrtSpecMachine Class
PrtSpecMachine Methods
Clone Method
DbgCompare Method
GetHashCode Method
MakeSkeleton Method
PrtEnqueueEvent Method

# PrtSpecMachine PrtEnqueueEvent Method

[Missing <summary> documentation for "M:P.Runtime.PrtSpecMachine.PrtEnqueueEvent(P.Runtime.PrtValue,P.Runtime.PrtValue,P.Runtime.PrtMachine,P.Runtime.PrtMachineValue)"]

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

    public override void PrtEnqueueEvent(
    	PrtValue e,
    	PrtValue arg,
    	PrtMachine source,
    	PrtMachineValue target = null
    )

    Public Overrides Sub PrtEnqueueEvent (
    	e As PrtValue,
    	arg As PrtValue,
    	source As PrtMachine,
    	Optional target As PrtMachineValue = Nothing
    )

    public:
    virtual void PrtEnqueueEvent(
    	PrtValue^ e,
    	PrtValue^ arg,
    	PrtMachine^ source,
    	PrtMachineValue^ target = nullptr
    ) override

    abstract PrtEnqueueEvent :
            e : PrtValue *
            arg : PrtValue *
            source : PrtMachine *
            ?target : PrtMachineValue
    (* Defaults:
            let _target = defaultArg target null
    *)
    -> unit
    override PrtEnqueueEvent :
            e : PrtValue *
            arg : PrtValue *
            source : PrtMachine *
            ?target : PrtMachineValue
    (* Defaults:
            let _target = defaultArg target null
    *)
    -> unit

#### Parameters

e
  Type: P.Runtime
  PrtValue

  [Missing <param name="e"/> documentation for "M:P.Runtime.PrtSpecMachine.PrtEnqueueEvent(P.Runtime.PrtValue,P.Runtime.PrtValue,P.Runtime.PrtMachine,P.Runtime.PrtMachineValue)"]

arg
  Type: P.Runtime
  PrtValue

  [Missing <param name="arg"/> documentation for "M:P.Runtime.PrtSpecMachine.PrtEnqueueEvent(P.Runtime.PrtValue,P.Runtime.PrtValue,P.Runtime.PrtMachine,P.Runtime.PrtMachineValue)"]

source
  Type: P.Runtime
  PrtMachine

  [Missing <param name="source"/> documentation for "M:P.Runtime.PrtSpecMachine.PrtEnqueueEvent(P.Runtime.PrtValue,P.Runtime.PrtValue,P.Runtime.PrtMachine,P.Runtime.PrtMachineValue)"]

target (Optional)
  Type: P.Runtime
  PrtMachineValue

  [Missing <param name="target"/> documentation for "M:P.Runtime.PrtSpecMachine.PrtEnqueueEvent(P.Runtime.PrtValue,P.Runtime.PrtValue,P.Runtime.PrtMachine,P.Runtime.PrtMachineValue)"]

See Also

#### Reference

PrtSpecMachine Class
P.Runtime Namespace