WfRuntimeInstruction.h

/*********************************************************************** Vczh Library++ 3.0 Developer: Zihan Chen(vczh) Workflow::Runtime Interfaces: **********************************************************************/

#ifndef VCZH_WORKFLOW_RUNTIME_WFRUNTIMEINSTRUCTION

#define VCZH_WORKFLOW_RUNTIME_WFRUNTIMEINSTRUCTION

#include <VlppReflection.h>

namespace

{

namespace

workflow

{

namespace

runtime

{

/*********************************************************************** Instruction ***********************************************************************/

enum

class

WfInsCode

{

// Instruction // param : <Stack-Pattern> -> <Stack-Pattern> in the order of <bottom ---- top>

Nop

// : () -> () ;

LoadValue

// value : () -> Value ;

LoadFunction

// function : () -> Value ; push the function index

LoadException

// : () -> Value ;

LoadLocalVar

// variable : () -> Value ;

LoadCapturedVar

// variable : () -> Value ;

LoadGlobalVar

// variable : () -> Value ;

LoadMethodInfo

// IMethodInfo* : () -> IMethodInfo* ;

LoadMethodClosure

// IMethodInfo* : Value-this -> <function> ;

LoadClosureContext

// : () -> <closure-context> ; load the current closure context

StoreLocalVar

// variable : Value -> () ;

StoreCapturedVar

// variable : Value -> () ;

StoreGlobalVar

// variable : Value -> () ;

Duplicate

// count : () -> Value ; copy stack[stack.Count()-1-count]

Pop

// : Value -> () ;

Return

// : Value -> Value ; (exit function)

CreateArray

// count : Value-count, ..., Value-1 -> <array> ; {1 2 3} -> <3 2 1>

CreateObservableList

// count : Value-count, ..., Value-1 -> <observable-list> ; {1 2 3} -> <3 2 1>

CreateMap

// count : Value-count*2, ..., Value-1 -> <map> ; {1:2 3:4} -> <3 4 1 2>

CreateClosureContext

// count : Value-1, ..., Value-count -> <closure-context> ;

CreateClosure

// : <closure-context>, Value-function-index -> <closure> ;

CreateInterface

// IMethodInfo*, count : <closure-context>, Value-count, ..., Value-1 -> <map> ; {"Get":a "Set":b} -> new TInterface(InterfaceProxy^)

CreateRange

// I1248/U1248 : Value-begin, Value-end -> <enumerable> ;

CreateStruct

// flag, typeDescriptor : () -> Value ;

DeleteRawPtr

// : Value -> () ;

ConvertToType

// flag, typeDescriptor : Value -> Value ;

TryConvertToType

// flag, typeDescriptor : Value -> Value ;

TestType

// flag, typeDescriptor : Value -> <bool> ;

GetType

// : Value -> <ITypeDescriptor*> ;

Jump

// label : () -> () ;

JumpIf

// label : <bool> -> () ;

Invoke

// function, count : Value-1, ..., Value-n -> Value ;

InvokeWithContext

// function, count : Value-1, ..., Value-n -> Value ;

GetProperty

// IPropertyInfo* : Value-this -> Value ;

SetProperty

// IPropertyInfo* : Value, Value-this -> () ;

UpdateProperty

// IPropertyInfo* : Value-this, Value -> Value-this ;

InvokeProxy

// count : Value-1, ..., Value-n, Value-this -> Value ;

InvokeMethod

// IMethodInfo*, count : Value-1, ..., Value-n, Value-this -> Value ;

InvokeEvent

// IEventInfo*, count : Value-1, ..., Value-n, Value-this -> <null> ;

InvokeBaseCtor

// IMethodInfo*, count : Value-1, ..., Value-n, Value-this -> <null> ;

AttachEvent

// IEventInfo* : Value-this, <function> -> <Listener> ;

DetachEvent

// IEventInfo* : Value-this, <Listener> -> bool ;

InstallTry

// label : () -> () ;

UninstallTry

// count : () -> () ;

RaiseException

// : Value -> () ; (trap)

TestElementInSet

// : Value-element, Value-set -> bool ;

CompareLiteral

// I48/U48/F48/S : Value, Value -> <int> ;

CompareReference

// : Value, Value -> <bool> ;

CompareValue

// : Value, Value -> <bool> ;

OpNot

// B/I1248/U1248 : Value -> Value ;

OpPositive

// I1248/U1248 : Value -> Value ;

OpNegative

// I1248 : Value -> Value ;

OpConcat

// : <string>, <string> -> <string> ;

OpExp