using System;

using System.Collections.Generic;

using System.Timers;

​

/**************************************

​

#FinalWorld

​

    -interface-

​

    start @(|>>|)

    stop @(|<<|)

    tick [source:Object elapsedEvent:ElapsedEventArgs]

​

    -machine-

​

    $Begin

        |>>|

            print("In the Beginning...")

            -> $Working ^

​

    $Working => $Default

        |>|

            startTimer(500)

            print("Hello World") ^

        |<|

            stopTimer()

            print("Done working") ^

        |tick|

            -> $Resting ^

​

    $Resting => $Default

        |>|

            startTimer(1000)

            print("I'm resting") ^

        |<|

            stopTimer()

            print("Done resting") ^

        |tick|

            -> $Working ^

​

    $Default

        |<<|

            -> $End ^

​

    $End

        |>|

            print("End of the World") ^

​

    -actions-

​

    print [msg:string]

    startTimer [interval:int]

    stopTimer  [interval:int]

​

    -domain-

​

    var timer:Timer = null

​

##

​

***************************************/

​

namespace HelloWorld

{

    public class Program

    {

        public static void Main(string[] args)

        {

            Console.Out.Flush();

            Console.WriteLine("");

            var world = new FinalWorld();

            world.start();

            // try max at different values:

            var max = 1000000000;

            for (var i = 0; i < max; i++) {}

            world.stop();

        }

    }

}

​

public class FrameEvent {

    public FrameEvent(String Msg, Dictionary<String,object> Parameters) {

        this.Msg = Msg;

        this.Parameters = Parameters;

    }

    public String Msg;

    public Dictionary<String,Object> Parameters;

    public Object Return;

}

​

​

public partial class FinalWorld {

    public FinalWorld() {

        _state_ = _sBegin_;

    }

    //===================== Interface Block ===================//

    public void start() {

        FrameEvent e = new FrameEvent(">>",null);

        _state_(e);

    }

    public void stop() {

        FrameEvent e = new FrameEvent("<<",null);

        _state_(e);

    }

    public void tick(Object source,ElapsedEventArgs elapsedEvent) {

        Dictionary<String,object> parameters = new Dictionary<String,object>();

        parameters["source"] = source;

​

        parameters["elapsedEvent"] = elapsedEvent;

​

        FrameEvent e = new FrameEvent("tick",parameters);

        _state_(e);

    }

    //===================== Machine Block ===================//

    private void _sBegin_(FrameEvent e) {

        if (e.Msg.Equals(">>")) {

            print_do("In the Beginning...");

            _transition_(_sWorking_);

            return;

        }

    }

    private void _sWorking_(FrameEvent e) {

        if (e.Msg.Equals(">")) {

            startTimer_do(500);

            print_do("Hello World");

            return;

        }

        else if (e.Msg.Equals("<")) {

            stopTimer_do();

            print_do("Done working");

            return;

        }

        else if (e.Msg.Equals("tick")) {

            _transition_(_sResting_);

            return;

        }

        _sDefault_(e);

    }

    private void _sResting_(FrameEvent e) {

        if (e.Msg.Equals(">")) {

            startTimer_do(1000);

            print_do("I'm resting");

            return;

        }

        else if (e.Msg.Equals("<")) {

            stopTimer_do();

            print_do("Done resting");

            return;

        }

        else if (e.Msg.Equals("tick")) {

            _transition_(_sWorking_);

            return;

        }

        _sDefault_(e);

    }

    private void _sDefault_(FrameEvent e) {

        if (e.Msg.Equals("<<")) {

            _transition_(_sEnd_);

            return;

        }

    }

    private void _sEnd_(FrameEvent e) {

        if (e.Msg.Equals(">")) {

            print_do("End of the World");

            return;

        }

    }

    //===================== Actions Block ===================//

    public virtual void print_do(string msg) {

        Console.WriteLine(msg);

    }

​

    public virtual void startTimer_do(int interval) {

        timer = new System.Timers.Timer();

        timer.Interval = interval;

        timer.Elapsed += tick;

        timer.AutoReset = true;

        timer.Enabled = true;

    }

​

    public virtual void stopTimer_do() {

        timer.Stop();

        timer = null;

    }

    //===================== Domain Block ===================//

    Timer timer = null;

    //=========== Machinery and Mechanisms ===========//

    private delegate void FrameState(FrameEvent e);

    private FrameState _state_;

    private void _transition_(FrameState newState) {

        FrameEvent exitEvent = new FrameEvent("<",null);

        _state_(exitEvent);

        _state_ = newState;

        FrameEvent enterEvent = new FrameEvent(">",null);

        _state_(enterEvent);

    }

}