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() | |
{ | |
} | |
} | |
} |