A Sandcastle Documented Class Library

P.Runtime

AbstractChecker Class

AstNode Class

AstNodeType Enumeration

ConcreteChecker Class

PrtApplicationException Class

PrtAssertFailureException Class

PrtAssumeFailureException Class

PrtBoolType Class

PrtBoolValue Class

PrtContinuation Class

PrtContinuationReason Enumeration

PrtDeadlockException Class

PrtDequeueReturnStatus Enumeration

PrtEventNodeComparer Class

PrtFunStackFrame Class

PrtIgnoreFun Class

PrtIllegalEnqueueException Class

PrtImplMachine Class

PrtInfiniteRaiseLoop Class

PrtInhabitsTypeException Class

PrtInterfaceType Class

PrtInterfaceValue Class

PrtInternalException Class

PrtIntType Class

PrtIntValue Class

PrtInvalidEqualsException Class

PrtInvalidPopStatement Class

PrtMachine Class

PrtMachineStatus Enumeration

PrtMachineType Class

PrtMachineValue Class

PrtMapKey Class

PrtMapType Class

PrtMapValue Class

PrtMaxBufferSizeExceededException Class

PrtMaxEventInstancesExceededException Class

PrtNamedTupleType Class

PrtNamedTupleValue Class

PrtNextStatemachineOperation Enumeration

PrtStateExitReason Enumeration

PrtStateStack Class

PrtStateStackFrame Class

PrtUnhandledEventException Class

PrtValue Class

PSourceContext Class

QuTLException Class

QuTLOperator Enumeration

QuTLParser Class

SendAction Class

StateImpl Class

StateImpl.CreateMachineCallbackDelegate Delegate

StateImpl.CreateMachineDelegate Delegate

StateImpl.CreateSpecDelegate Delegate

StateImpl.DequeueCallbackDelegate Delegate

StateImpl.ExploreMode Enumeration

StateImpl.GetBooleanChoiceDelegate Delegate

StateImpl.StateTransitionCallbackDelegate Delegate

StateImpl.SuccessorFound Class

StateImplComparer Class

StateTemperature Enumeration

TestMCer Class

VisibleAction Class

VisibleTrace Class

StateImplStateTransitionCallbackDelegate Delegate

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

Namespace: P.Runtime
Assembly: Prt (in Prt.dll) Version: 1.0.0.0 (1.0.0.0)

Syntax

C++

Copy

public delegate void StateTransitionCallbackDelegate(
	PrtImplMachine machine,
	PrtState from,
	PrtState to,
	string reason
)

Public Delegate Sub StateTransitionCallbackDelegate ( 
	machine As PrtImplMachine,
	from As PrtState,
	to As PrtState,
	reason As String
)

public delegate void StateTransitionCallbackDelegate(
	PrtImplMachine^ machine, 
	PrtState^ from, 
	PrtState^ to, 
	String^ reason
)

type StateTransitionCallbackDelegate = 
    delegate of 
        machine : PrtImplMachine * 
        from : PrtState * 
        to : PrtState * 
        reason : string -> unit

Parameters

machine: Type: P.RuntimePrtImplMachine
from: Type: P.RuntimePrtState
to: Type: P.RuntimePrtState
reason: Type: SystemString

Reference

P.Runtime Namespace

StateImplAddLanguageSpecificTextSet("LSTC89F05D_0?cpp=::|nu=.");StateTransitionCallbackDelegate Delegate

Parameters

Reference

StateImplStateTransitionCallbackDelegate Delegate