Loading ttcn/DENM/LibItsDenm_Functions.ttcn +6 −2 Original line number Diff line number Diff line Loading @@ -53,11 +53,13 @@ module LibItsDenm_Functions { */ function f_utTriggerEvent(template (value) UtDenmTrigger p_event) runs on ItsDenm return ActionID { var ActionID v_actionId; var UtDenmTriggerResult v_result; utPort.send(p_event); alt { [] utPort.receive(UtDenmTriggerResult:?) -> value v_actionId { [] utPort.receive(UtDenmTriggerResult:?) -> value v_result { tc_wait.stop; v_actionId := v_result.actionId; } [] tc_wait.timeout { log("*** " & __SCOPE__ & ": INFO: Could not receive expected UT message from IUT in time ***"); Loading @@ -77,11 +79,13 @@ module LibItsDenm_Functions { */ function f_utUpdateEvent(template (value) UtDenmUpdate p_event) runs on ItsDenm return ActionID { var ActionID v_actionId; var UtDenmTriggerResult v_result; utPort.send(p_event); alt { [] utPort.receive(UtDenmUpdateResult:?) -> value v_actionId { [] utPort.receive(UtDenmUpdateResult:?) -> value v_result { tc_wait.stop; v_actionId := v_result.actionId; } [] tc_wait.timeout { log("*** " & __SCOPE__ & ": INFO: Could not receive expected UT message from IUT in time ***"); Loading ttcn/DENM/LibItsDenm_Templates.ttcn +2 −2 Original line number Diff line number Diff line Loading @@ -63,7 +63,7 @@ module LibItsDenm_Templates { template (omit) ValidityDuration p_validityDuration := omit, template (omit) TransmissionInterval p_transmissionInterval := omit, template (omit) ValidityDuration p_repetitionDuration := omit, template (omit) boolean p_keepAliveForwardingRequest := omit, template (value) boolean p_keepAliveForwardingRequest := false, template (omit) AlacarteContainer p_alacarte := omit ) := { detectionTime := f_getCurrentTime(), Loading Loading @@ -101,7 +101,7 @@ module LibItsDenm_Templates { template (omit) RelevanceTrafficDirection p_relevanceTrafficDirection := omit, template (omit) integer p_trafficClass := omit, template (omit) TransmissionInterval p_transmissionInterval := omit, template (omit) boolean p_keepAliveForwardingRequest := omit, template (value) boolean p_keepAliveForwardingRequest := false, template (omit) AlacarteContainer p_alacarte := omit ) := { actionId := p_actionId, Loading Loading
ttcn/DENM/LibItsDenm_Functions.ttcn +6 −2 Original line number Diff line number Diff line Loading @@ -53,11 +53,13 @@ module LibItsDenm_Functions { */ function f_utTriggerEvent(template (value) UtDenmTrigger p_event) runs on ItsDenm return ActionID { var ActionID v_actionId; var UtDenmTriggerResult v_result; utPort.send(p_event); alt { [] utPort.receive(UtDenmTriggerResult:?) -> value v_actionId { [] utPort.receive(UtDenmTriggerResult:?) -> value v_result { tc_wait.stop; v_actionId := v_result.actionId; } [] tc_wait.timeout { log("*** " & __SCOPE__ & ": INFO: Could not receive expected UT message from IUT in time ***"); Loading @@ -77,11 +79,13 @@ module LibItsDenm_Functions { */ function f_utUpdateEvent(template (value) UtDenmUpdate p_event) runs on ItsDenm return ActionID { var ActionID v_actionId; var UtDenmTriggerResult v_result; utPort.send(p_event); alt { [] utPort.receive(UtDenmUpdateResult:?) -> value v_actionId { [] utPort.receive(UtDenmUpdateResult:?) -> value v_result { tc_wait.stop; v_actionId := v_result.actionId; } [] tc_wait.timeout { log("*** " & __SCOPE__ & ": INFO: Could not receive expected UT message from IUT in time ***"); Loading
ttcn/DENM/LibItsDenm_Templates.ttcn +2 −2 Original line number Diff line number Diff line Loading @@ -63,7 +63,7 @@ module LibItsDenm_Templates { template (omit) ValidityDuration p_validityDuration := omit, template (omit) TransmissionInterval p_transmissionInterval := omit, template (omit) ValidityDuration p_repetitionDuration := omit, template (omit) boolean p_keepAliveForwardingRequest := omit, template (value) boolean p_keepAliveForwardingRequest := false, template (omit) AlacarteContainer p_alacarte := omit ) := { detectionTime := f_getCurrentTime(), Loading Loading @@ -101,7 +101,7 @@ module LibItsDenm_Templates { template (omit) RelevanceTrafficDirection p_relevanceTrafficDirection := omit, template (omit) integer p_trafficClass := omit, template (omit) TransmissionInterval p_transmissionInterval := omit, template (omit) boolean p_keepAliveForwardingRequest := omit, template (value) boolean p_keepAliveForwardingRequest := false, template (omit) AlacarteContainer p_alacarte := omit ) := { actionId := p_actionId, Loading