using System;

using System.Collections.Generic;

​

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

​

#ReturnVsContinue

​

    -interface-

​

    _return @(|return|)

    _continue @(|continue|)

​

    -machine-

​

    $Child => $Parent

        |return| log("saw return in $Child") ^

        |continue|  log("saw continue in $Child") :>

​

    $Parent

        |return| log("saw return in $Parent") ^

        |continue| log("saw continue in $Parent") :>

​

    -actions-

​

    log [msg:string]

##

​

​

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

​

// ------------------------------------- // 

​

public class FrameEvent {

    public FrameEvent(string message, Dictionary<string,object> parameters) {

        this._message = message;

        this._parameters = parameters;

    }

    public string _message;

    public Dictionary<string,Object> _parameters;

    public Object _return;

}

​

​

// ------------------------------------- // 

​

// emitted from framec_v0.3.44

public partial class ReturnVsContinue {

    public ReturnVsContinue() {

        _state_ = _sChild_;

    }

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

    public void _return() {

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

        _state_(e);

    }

    public void _continue() {

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

        _state_(e);

    }

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

    private void _sChild_(FrameEvent e) {

        if (e._message.Equals("return")) {

            log_do("saw return in $Child");

            return;

        }

        else if (e._message.Equals("continue")) {

            log_do("saw continue in $Child");

        }

        _sParent_(e);

    }

    private void _sParent_(FrameEvent e) {

        if (e._message.Equals("return")) {

            log_do("saw return in $Parent");

            return;

        }

        else if (e._message.Equals("continue")) {

            log_do("saw continue in $Parent");

        }

    }

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

    protected virtual void log_do(string msg) { throw new NotImplementedException(); }

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

    private delegate void FrameState(FrameEvent e);

    private FrameState _state_;

}

​

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

​

public partial class ReturnVsContinueController : ReturnVsContinue {

​

    protected override void log_do(string msg) {}

}

​

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

​

​

​

public partial class ReturnVsContinueController : ReturnVsContinue {

​

    protected override void log_do(string msg) {

        Console.WriteLine(msg);

    }

}

​

​

public class Program

{

    public static void Main()

    {

        var controller = new ReturnVsContinueController();

        controller._return();

        controller._continue(); 

​

    }

}

​

​