GUIのあるログイン画面の状態と表示画面を制御したい
利用例
Initial init
{
init
{
start logginIn displayLoginScreen
}
logginIn
{
enter checkingPassword checkPassword
cancel init clearScreen
}
checkingPassword
{
passwordGood loggedIn startUserProcess
passwordBad notifyingPasswordBad displayBadPasswordScreen
thirdBadPassword screenLocked displayLockScreen
}
...
}