A Sandcastle Documented Class Library
A Sandcastle Documented Class Library
P.Runtime
PrtMachine Class
PrtMachine Methods
DbgCompare Method
GetHashCode Method
PrtChangeState Method
PrtEnqueueEvent Method
PrtFindActionHandler Method
PrtFunContGoto Method
PrtFunContNewMachine Method
PrtFunContNondet Method
PrtFunContPop Method
PrtFunContRaise Method
PrtFunContReceive Method
PrtFunContReturn Method
PrtFunContReturnVal Method
PrtFunContSend Method
PrtIsActionInstalled Method
PrtIsTransitionPresent Method
PrtPopFunStackFrame Method
PrtPopState Method
PrtPushExitFunction Method
PrtPushFunStackFrame Method
PrtPushState Method
PrtPushTransitionFun Method
Resolve Method
ToPrettyString Method

# PrtMachine PrtFunContNewMachine Method

[Missing <summary> documentation for "M:P.Runtime.PrtMachine.PrtFunContNewMachine(P.Runtime.PrtFun,System.Collections.Generic.List{P.Runtime.PrtValue},System.Int32)"]

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

    public void PrtFunContNewMachine(
    	PrtFun fun,
    	List<PrtValue> locals,
    	int ret
    )

    Public Sub PrtFunContNewMachine (
    	fun As PrtFun,
    	locals As List(Of PrtValue),
    	ret As Integer
    )

    public:
    void PrtFunContNewMachine(
    	PrtFun^ fun,
    	List<PrtValue^>^ locals,
    	int ret
    )

    member PrtFunContNewMachine :
            fun : PrtFun *
            locals : List<PrtValue> *
            ret : int -> unit

#### Parameters

fun
  Type: P.Runtime
  PrtFun

  [Missing <param name="fun"/> documentation for "M:P.Runtime.PrtMachine.PrtFunContNewMachine(P.Runtime.PrtFun,System.Collections.Generic.List{P.Runtime.PrtValue},System.Int32)"]

locals
  Type: System.Collections.Generic
  List
  PrtValue

  [Missing <param name="locals"/> documentation for "M:P.Runtime.PrtMachine.PrtFunContNewMachine(P.Runtime.PrtFun,System.Collections.Generic.List{P.Runtime.PrtValue},System.Int32)"]

ret
  Type: System
  Int32

  [Missing <param name="ret"/> documentation for "M:P.Runtime.PrtMachine.PrtFunContNewMachine(P.Runtime.PrtFun,System.Collections.Generic.List{P.Runtime.PrtValue},System.Int32)"]

See Also

#### Reference

PrtMachine Class
P.Runtime Namespace