turnstylefsm.sm

著名的uncle Bob的Agile software development的代码

FSMName Turnstyle
Context TurnstyleActions
Initial Locked
Exception FSMError
{
    Locked
    {
        coin    Unlocked    unlock
        pass    Locked      alarm
    }
    Unlocked
    {
        coin    Unlocked    thankyou
        pass    Locked      lock
    }
}