Loading ttcn/GeoNetworking/LibItsGeoNetworking_Functions.ttcn +3 −3 Original line number Original line Diff line number Diff line Loading @@ -37,7 +37,7 @@ module LibItsGeoNetworking_Functions { utPort.send(p_init); utPort.send(p_init); tc_wait.start; tc_wait.start; alt { alt { [] utPort.receive(UtResult:true) { [] utPort.receive(UtInitializeResult:true) { tc_wait.stop; tc_wait.stop; log("*** f_utInitializeIut: INFO: IUT initialized ***"); log("*** f_utInitializeIut: INFO: IUT initialized ***"); } } Loading @@ -64,7 +64,7 @@ module LibItsGeoNetworking_Functions { utPort.send(m_changePosition); utPort.send(m_changePosition); tc_wait.start; tc_wait.start; alt { alt { [] utPort.receive(UtResult:true) { [] utPort.receive(UtChangePositionResult:true) { tc_wait.stop; tc_wait.stop; log("*** f_utInitializeIut: INFO: IUT initialized ***"); log("*** f_utInitializeIut: INFO: IUT initialized ***"); } } Loading Loading @@ -95,7 +95,7 @@ module LibItsGeoNetworking_Functions { utPort.send(p_event); utPort.send(p_event); tc_wait.start; tc_wait.start; alt { alt { [] utPort.receive(UtResult:true) { [] utPort.receive(UtGnTriggerResult:true) { tc_wait.stop; tc_wait.stop; } } [] utPort.receive { [] utPort.receive { Loading ttcn/GeoNetworking/LibItsGeoNetworking_TestSystem.ttcn +1 −1 Original line number Original line Diff line number Diff line Loading @@ -42,7 +42,7 @@ module LibItsGeoNetworking_TestSystem { out out UtInitialize, UtChangePosition, UtGnTrigger; UtInitialize, UtChangePosition, UtGnTrigger; in in UtInitializeResult, UtChangePositionResult, UtResult, UtGnEventInd; UtInitializeResult, UtChangePositionResult, UtResult, UtGnTriggerResult, UtGnEventInd; } // end UpperTesterPort } // end UpperTesterPort } // end portDefinitions } // end portDefinitions Loading ttcn/GeoNetworking/LibItsGeoNetworking_TypesAndValues.ttcn +2 −0 Original line number Original line Diff line number Diff line Loading @@ -897,6 +897,8 @@ module LibItsGeoNetworking_TypesAndValues { GeoNetworkingPdu checkPdu /* FIXME: obselete, to be removed */ GeoNetworkingPdu checkPdu /* FIXME: obselete, to be removed */ } } type boolean UtGnTriggerResult; /** /** * @desc UT primitive for IUT to send a GeoUnicast packet * @desc UT primitive for IUT to send a GeoUnicast packet * @member gnAddress Destination of the packet * @member gnAddress Destination of the packet Loading Loading
ttcn/GeoNetworking/LibItsGeoNetworking_Functions.ttcn +3 −3 Original line number Original line Diff line number Diff line Loading @@ -37,7 +37,7 @@ module LibItsGeoNetworking_Functions { utPort.send(p_init); utPort.send(p_init); tc_wait.start; tc_wait.start; alt { alt { [] utPort.receive(UtResult:true) { [] utPort.receive(UtInitializeResult:true) { tc_wait.stop; tc_wait.stop; log("*** f_utInitializeIut: INFO: IUT initialized ***"); log("*** f_utInitializeIut: INFO: IUT initialized ***"); } } Loading @@ -64,7 +64,7 @@ module LibItsGeoNetworking_Functions { utPort.send(m_changePosition); utPort.send(m_changePosition); tc_wait.start; tc_wait.start; alt { alt { [] utPort.receive(UtResult:true) { [] utPort.receive(UtChangePositionResult:true) { tc_wait.stop; tc_wait.stop; log("*** f_utInitializeIut: INFO: IUT initialized ***"); log("*** f_utInitializeIut: INFO: IUT initialized ***"); } } Loading Loading @@ -95,7 +95,7 @@ module LibItsGeoNetworking_Functions { utPort.send(p_event); utPort.send(p_event); tc_wait.start; tc_wait.start; alt { alt { [] utPort.receive(UtResult:true) { [] utPort.receive(UtGnTriggerResult:true) { tc_wait.stop; tc_wait.stop; } } [] utPort.receive { [] utPort.receive { Loading
ttcn/GeoNetworking/LibItsGeoNetworking_TestSystem.ttcn +1 −1 Original line number Original line Diff line number Diff line Loading @@ -42,7 +42,7 @@ module LibItsGeoNetworking_TestSystem { out out UtInitialize, UtChangePosition, UtGnTrigger; UtInitialize, UtChangePosition, UtGnTrigger; in in UtInitializeResult, UtChangePositionResult, UtResult, UtGnEventInd; UtInitializeResult, UtChangePositionResult, UtResult, UtGnTriggerResult, UtGnEventInd; } // end UpperTesterPort } // end UpperTesterPort } // end portDefinitions } // end portDefinitions Loading
ttcn/GeoNetworking/LibItsGeoNetworking_TypesAndValues.ttcn +2 −0 Original line number Original line Diff line number Diff line Loading @@ -897,6 +897,8 @@ module LibItsGeoNetworking_TypesAndValues { GeoNetworkingPdu checkPdu /* FIXME: obselete, to be removed */ GeoNetworkingPdu checkPdu /* FIXME: obselete, to be removed */ } } type boolean UtGnTriggerResult; /** /** * @desc UT primitive for IUT to send a GeoUnicast packet * @desc UT primitive for IUT to send a GeoUnicast packet * @member gnAddress Destination of the packet * @member gnAddress Destination of the packet Loading