------------------------SDT2%+VisitLocRegister----------------------------------------------------ObjectName----------------------------------------ObjectType----------------------------------------!%&()LinkEndpoints--------------------------------!%()HeadingText----------------------------------- VisitLocRegister-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------5--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------()[8(! process VisitLocRegister)]}----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------0()[8(! (1, 1);)]}* CIF CurrentPage 1 */ /* CIF TEXT (70, 120), (447, 50) */ /* CIF Keep Specific Geode Font 'fixed' 'fixed' 'fixed'*/ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */ /* Visi (! )][1v(!~!"~)[7R(! 6R!! !S)[8(!+ VisitRegister(mobile_id)!BTS_id := BTS_id)]]][y(!!"#()[(! l! 22!(d)[((! l)[+(! 6)[.(! 6d! d)]][ 1(! 6)][2z(! 6^! d!S)[8(! ) !%()HeadingText-----------------------------------!%()PageOrder-------------------------------------1-------------------------------------------------DefinitionPage------------------------------------ !%()HeaderText------------------------------------1------------------------------------------------------------------------------------------------------------------------------------------------------- ---------------- --------][}(!^!"^)[(! 6!Z)][3(! 6^! d!S)[8(! ready)]]]]]]}VisitorRegister_t; /* CIF End Text */ /* CIF CurrentPage ()[(! l! 22!(d)[4(! l)[7(! 6)[:(! 6d! )]][ =(! 6)][3d(! 6^! d!S)[8(! r 2ady)][()[()][()[3finitionPage updateVLR(mobile_id, BTS_id) /* CIFDefinitionPage), (555, 58) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Mod ()[eady)][g(!&&!"&&)[a(! 6! d!S!)[8(! updateVLR)][1j(!&&!"&X&&)[7^ (! 6!! !S)[8(! (mobile_id, BTS_id))]]][m(!&X&!"&&X)[6[(! 6! d!S)[8(! )][1p(!!")[7X(! 6!! !S)[8(!) VisitRegister(mobile_id)!empty := FALSE)]]][s(!& &!"&& )[6U(! 6! d!S)[8(! )][1v(!!")[7R(! 6!! !S)[8(!+ VisitRegister(mobile_id)!BTS_id := BTS_id)]]][y(!&&L!"&L&)[O(! 6L! d!S!)[8(! endUpdVLR)][|(!&&F!"&F&)[(! 6&F!Z)][3L(! 6F! d!S)[8(! -)]]]]]]]]]]]]]]}}(! 6,! d!S)[8(! ready)][g(!!")[a(! 6! d!S!)[8(! refreshVLR)][1j(!~!"L~)[7^(! 6!! !S)[8(! (mobile_id, BTS_id))]]][m(!&!"&)[6[(! 6! d!S)[8(! )][1p(!~!"~)()[(! l! 22!(d)[@(! l)[C(! 6)[F(! 6d! )]][ I(! 6)][3(! 6,,! d!S)[8(! r(!4!5!7)[!(! DefinitionPage!)[!(! 1!!2!3)[!(! 2!!3)[!(! 3!!3)]]]]}-------------------------------()[w(!GSDL)]}-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------()[(! l! 22!(d)[h(! l)[k(! 6)[n(! 6d! )]][ t(! 6 )][9w(! 62,! !S)[8(!g newtype VR_element_t struct empty BOOLEAN; BTS_id BTS_ID_t; /* last BTS (cell) where the mobile was. */ endnewtype; newtype VisitorRegister_t ARRAY( mobile_ID_t, VR_element_t); default (. (. TRUE, Paris11 .) .); /* no effect if put in the STRUCT. */ endnewtype; dcl mobile_id mobile_ID_t, BTS_id BTS_ID_t, VisitRegister VisitorRegister_t; )]]]]} End Text */ /* CIF CurrentPage 1 */ /* CIF START (70, 200), (160, 80) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modifij[7X(! 6!! !S)[8(!) VisitRegister(mobile_id)!empty := FALSE)]]][s(!R!"R)[6U(! 6R! d!S)[8eady)][(!!")[(! 6,! d!S!)[8(! fetchBTS)][1(!!")[7(! 6!! !S)[8(!T (mobile_id) /* comment 'Get the cell containing the mobile.' */)]]][(!&X!"X&)[ (! 6,X! d!S)[8(! VisitRegister(mobile_id)!empty)][(!"!")[8(! 6w! (FALSE))][(! 6! d!S!)[8(! BTSreply)][1(!^!"^)[7(! 6!! !S)[8(!8 (TRUE, VisitRegister( mobile_id) !BTS_id) to sender)]]][(!"  !" )[(! 6 !)][3(! 6! d!S)[8(! -)]]]]][(!" !")[8(! 6! (TRUE))][(! 6~! d!S!)[8(! BTSreply)][1(!F!"F)[7!(! 6!! !S)[8(!A (FALSE) to sender /* comment 'BTS not found.' */)]]][(!"  !" )[(! 6 "!Z)][)()]]]]]]]]]]]},! d!S)[8(! ready)][(!F!"F)[(! 6,F! d!S!)[8(! fet))[O(! 6! d!S!)[8(! endRefVLR)][|(!~!"~)[(! 6!Z)][3L(! 6$! d!S)[8(! -)]]]]]]]]]]]]]]} found.')]]][(!"x  !" x)[(! 6 !Z)][)()]]]]]]]]]]]}---------------DchBTS)][1(!xx!"xxx)[7(! 6F!! !S)[8(!T (mobile_id) /* comment 'Get the cell containing the mobile.' */)]]][&(!!")[ (! 6,! d!S)[8(! VisitRegister(mobile_id)!empty)][(!"@YY!"@')[8(! 6wr! (FALSE))][(! 6! d!S!)[8(! BTSreply)][1(!^::!":^:)[7(! 6!! (!S)[8(!8 (TRUE, VisitRegister( mobile_id) !BTS_id) to sender)]]][(!"l  4!" 4l)[(! 6 !)][3(! 64! ) d!S)[8(! -)]]]]][(!"@YY!"@)[8(! 6r! (TRUE))][(! 6~! d!S!)[8(! *BTSreply)][1(!F::!":F:)[7(! 6!! !S)[8(!A (FALSE) to sender /* comment 'BTS not found.' */)]]][(!"+l  4!" 4l)[(! 6 4!Z)][)()]]]]]]]]]]]}---------------------------------------------------------------------------------------------------------------------------