Sophie

Sophie

distrib > Fedora > 18 > x86_64 > by-pkgid > 543fb48f7ac6afff3e0b68e9becc5c3b > files > 128

sems-1.4.3-8.fc18.x86_64.rpm


initial state START 
	enter {
	  playPrompt(hello);
	};

state ADDKEY;
state FIN;

transition "start pin entry" START - / set($pin = "") -> ADDKEY;

transition "add a key" ADDKEY - keyTest(#key < 10) / 
	   { 
 	     closePlaylist();
	     append($pin, #key);
	     playPrompt(#key);
	     callFSM(callsub)
	   } -> ADDKEY;


transition bye_recvd ADDKEY - hangup() / stop(false) -> FIN;