Commit b63feffb authored by ringst's avatar ringst
Browse files

f_checkUserIsNotRegistered added

parent 30cf15e2

LibIms_ConfigAndTrigger/LibIms_UpperTester.ttcn

+7 −3
Original line number Diff line number Diff line
@@ -28,6 +28,7 @@ module LibIms_UpperTester { 
				 */

				const EquipmentCommand c_UE_REGISTRATION := "UE_REGISTRATION";

				const EquipmentCommand c_UE_CHECKisREGISTERED := "UE_CHECK_IS_REGISTER";

				const EquipmentCommand c_UE_CHECKisnotREGISTERED := "UE_CHECK_IS_NOT_REGISTERED";	

				

				/**

				 *
@@ -73,7 +74,10 @@ module LibIms_UpperTester { 
			runs on EquipmentUser {

				f_sendEquipmentCmd(valueof(m_EQ_Request(c_UE_CHECKisREGISTERED, {})));

			}

			

			function f_checkUserIsNotRegistered() 

			runs on EquipmentUser {

				f_sendEquipmentCmd(valueof(m_EQ_Request(c_UE_CHECKisnotREGISTERED, {})));

			}

   			

			/**

			 *