using System;

using System.Collections.Generic;

​

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;

}

​

public delegate void FrameState(FrameEvent e);

​

// emitted from framec_v0.3.43

public partial class InterfaceSpec {

    public InterfaceSpec() {

        _state_ = _sEcho_;

    }

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

    public string yell(string msg) {

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

        parameters["msg"] = msg;

​

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

        _state_(e);

        return (string) e._return;

    }

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

    private void _sEcho_(FrameEvent e) {

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

            e._return = toLowerCase_do(((string) e._parameters["msg"]));

            return;

        }

    }

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

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

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

    private delegate void FrameState(FrameEvent e);

    private FrameState _state_;

}

​

​

public partial class InterfaceSpecController : InterfaceSpec {

​

    protected override string toLowerCase_do(string msg) {

        return msg.ToLower();

    }

}

​

public class Program

{

    public static void Main()

    {

        var interfaceSpecController = new InterfaceSpecController();

        Console.WriteLine(interfaceSpecController.yell("HI"));

    }

}