/* (* #*********************************************************************** # # $RCSfile: mscae.aut,v $ # #*********************************************************************** # # $Author: rlinnane $ # #*********************************************************************** # # Entity automaton for MobSim-MSC application vtask # #*********************************************************************** # # $Log: mscae.aut,v $ # Revision 1.1 1996/02/19 20:15:48 rlinnane # Initial revision # # #*********************************************************************** # # $Id: mscae.aut,v 1.1 1996/02/19 20:15:48 rlinnane Exp $ # #*********************************************************************** *) (* STATE INPUT ACTION *) ANYSTATE MSCAS_Show show_call_data() (* ANYSTATE CCs_Est_Ind {} *) ANYSTATE MSCAS_Call { if (ask_paging_data()) { if(number_check()) { CCs_Paging } } } */