Async

automata.d.ts

@@ -0,0 +1,104 @@
+declare module FSM {
+
+    export interface FSMDefinitionStateTimer {
+        timeout : number;
+        event : FSM.TransitionMessage;
+    }
+
+    export interface FSMDefinitionState {
+        name : string;
+        initial : boolean;
+        onTimer : FSMDefinitionStateTimer;
+        onEnter : string|FSM.StateCallback;
+        onExit : string|StateCallback;
+    }
+
+    export interface FSMDefinitionSubState {
+        name : string;
+    }
+
+    export interface FSMDefinitionTransition {
+        event :string;
+        from : string;
+        to : string;
+        onTransition : string|TransitionCallback;
+        onPreGuard : string|TransitionCallback;
+        onPostGuard : string|TransitionCallback;
+    }
+
+    export interface FSMDefinition {
+        name : string;
+        state : FSMDefinitionState[] | FSMDefinitionSubState[];
+        transition : FSMDefinitionTransition[];
+        onEnter : string | StateCallback;
+        onExit : string | StateCallback;
+    }
+
+    export interface TransitionMessage {
+        msgId : string;
+        data? : any;
+    }
+
+    export interface ConsumeCallback {
+        (session:Session):void
+    }
+
+    export interface TransitionCallback {
+        (state:State, transition:Transition, message:TransitionMessage):void;
+    }
+
+    export interface StateCallback {
+        (state:State, transition:Transition, message:TransitionMessage):void;
+    }
+
+    class Session {
+
+        consume( message : TransitionMessage, consumeCallback? : FSM.ConsumeCallback  );
+        addListener( sl : SessionListener );
+        removeListener( sl : SessionListener );
+        printStackTrace();
+        addProperty( key:string, value:any );
+        removeProperty( key:string );
+        getProperty( key:string ) : any;
+        start( callback:ConsumeCallback ) : void;
+    }
+
+    class GuardException {
+
+        msg : string;
+        toString() : string;
+    }
+
+    class SessionListener {
+        contextCreated( obj );
+        contextDestroyed( obj );
+        finalStateReached( obj );
+        stateChanged( obj );
+        customEvent( obj );
+        guardPreCondition( obj );
+        guardPostCondition( obj );
+    }
+
+    class State {
+        getName() : string;
+        isFinal() : boolean;
+    }
+
+    class Transition {
+        getEvent() : string;
+    }
+
+    export interface StateTransitionCallback {
+        ( session:Session, state:State, transition:Transition, message:TransitionMessage ) : void;
+    }
+}
+
+declare module Automata {
+
+    export function registerFSM( object:FSM.FSMDefinition );
+    export function registerFDA( object:FSM.FSMDefinition );
+    export function createSession( fda_name : string, controller : any ) : FSM.Session;
+    export function newGuardException( message : string ) : FSM.GuardException;
+    export function newSessionListener( obj : any ) : FSM.SessionListener;
+
+}