demo/SpecExplorer/Project/MBT_SIP/Model/Model.cs

using System;
using System.Collections.Generic;
using System.Text;
using System.Linq;

using Microsoft.Modeling;

namespace MBT.Model
{
    /// <summary>
    /// An example model program.
    /// </summary>
    static class ModelProgram
    {
        [Action]
        static void start()
        {
        }

        [Action]
        static void Init_Calling() { }

        [Action]
        static void Calling_Ringing() { }

        [Action]
        static void Calling_Timeout() { }

        [Action]
        static void Ringing_Canceling() { }

        [Action]
        static void Ringing_Ready() { }

        [Action]
        static void Ringing_Reject() { }

        [Action]
        static void Canceling_WaitingResponse() { }

        [Action]
        static void Canceling_Timeout() { }

        [Action]
        static void WaitingResponse_Terminate() { }

        [Action]
        static void Ready_Terminating() { }

        [Action]
        static void Ready_End() { }

        [Action]
        static void Terminating_OK() { }

        [Action]
        static void Terminating_Timeout() { }

        [Action]
        static void end()
        {
        }

    }
}