A Sandcastle Documented Class Library
A Sandcastle Documented Class Library
P.Runtime
StateImpl Class
StateImpl Methods
AbstractMe Method
AddImplMachineToStateImpl Method
AddSpecMachineToStateImpl Method
Announce Method
CheckAbstractStateInvariant Method
CheckConcreteStateInvariant Method
CheckFailure Method
CheckTransInvariant Method
Clone Method
CollectAbstractSuccessors Method
CreateInterface Method
CreateMainMachine Method
CreateSpecMachine Method
DbgCompare Method
GetAllSpecMachines Method
GetHashCode Method
GetSelectedChoiceValue Method
MakeSkeleton Method
NextMachineInstanceNumber Method
Resolve Method
SetPendingChoicesAsBoolean Method
ToPrettyString Method
ToString Method
Trace Method
TraceLine Method

# StateImpl CreateInterface Method

[Missing <summary> documentation for "M:P.Runtime.StateImpl.CreateInterface(P.Runtime.PrtMachine,System.String,P.Runtime.PrtValue)"]

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

    public PrtInterfaceValue CreateInterface(
    	PrtMachine currMach,
    	string interfaceOrMachineName,
    	PrtValue payload
    )

    Public Function CreateInterface (
    	currMach As PrtMachine,
    	interfaceOrMachineName As String,
    	payload As PrtValue
    ) As PrtInterfaceValue

    public:
    PrtInterfaceValue^ CreateInterface(
    	PrtMachine^ currMach,
    	String^ interfaceOrMachineName,
    	PrtValue^ payload
    )

    member CreateInterface :
            currMach : PrtMachine *
            interfaceOrMachineName : string *
            payload : PrtValue -> PrtInterfaceValue

#### Parameters

currMach
  Type: P.Runtime
  PrtMachine

  [Missing <param name="currMach"/> documentation for "M:P.Runtime.StateImpl.CreateInterface(P.Runtime.PrtMachine,System.String,P.Runtime.PrtValue)"]

interfaceOrMachineName
  Type: System
  String

  [Missing <param name="interfaceOrMachineName"/> documentation for "M:P.Runtime.StateImpl.CreateInterface(P.Runtime.PrtMachine,System.String,P.Runtime.PrtValue)"]

payload
  Type: P.Runtime
  PrtValue

  [Missing <param name="payload"/> documentation for "M:P.Runtime.StateImpl.CreateInterface(P.Runtime.PrtMachine,System.String,P.Runtime.PrtValue)"]

#### Return Value

Type: PrtInterfaceValue

[Missing <returns> documentation for "M:P.Runtime.StateImpl.CreateInterface(P.Runtime.PrtMachine,System.String,P.Runtime.PrtValue)"]

See Also

#### Reference

StateImpl Class
P.Runtime Namespace