Loading ttcn/DENM/LibItsDenm_Functions.ttcn +2 −3 Original line number Diff line number Diff line Loading @@ -157,7 +157,7 @@ module LibItsDenm_Functions { */ function f_utTriggerEvent(template (value) UtEvent p_event) runs on ItsFa return FncRetCode { var FncRetCode v_ret := e_success; var UtTrigger v_utMsg := { p_event }; var template (value) UtTrigger v_utMsg := { p_event }; utPort.send(v_utMsg); Loading @@ -171,8 +171,7 @@ module LibItsDenm_Functions { */ function f_utCheckEvent(template (value) UtEvent p_event) runs on ItsFa return FncRetCode { var FncRetCode v_ret := e_success; var UtCheck v_utMsg := { p_event }; var template (value) UtCheck v_utMsg := { p_event }; utPort.send(v_utMsg); tc_ac.start; Loading ttcn/DENM/LibItsDenm_Templates.ttcn +23 −23 Original line number Diff line number Diff line Loading @@ -30,60 +30,60 @@ module LibItsDenm_Templates { group utPrimitives { template UtEvent m_utEvent(Situation p_situation) := { template (value) UtEvent m_utEvent(in template (value) Situation p_situation) := { situation := p_situation, eventOption := omit } template UtEvent m_utEventCancellation( Situation p_situation, DataVersion p_dataVersion template (value) UtEvent m_utEventCancellation( in template (value) Situation p_situation, in template (value) DataVersion p_dataVersion ) modifies m_utEvent := { eventOption := { eventCancellation := p_dataVersion } } template UtEvent m_utEventNegation( Situation p_situation, DecentralizedEnvironmentalNotificationMessage.management.isNegation p_isNegation template (value) UtEvent m_utEventNegation( in template (value) Situation p_situation, in template (value) DecentralizedEnvironmentalNotificationMessage.management.isNegation p_isNegation ) modifies m_utEvent := { eventOption := { eventNegation := p_isNegation } } template UtEvent m_utEeventTrafficFlowEffect( Situation p_situation, TrafficFlowEffect p_trafficFlowEffect template (value) UtEvent m_utEeventTrafficFlowEffect( in template (value) Situation p_situation, in template (value) TrafficFlowEffect p_trafficFlowEffect ) modifies m_utEvent := { eventOption := { eventTrafficFlowEffect := p_trafficFlowEffect } } template UtEvent m_utEventLinkedCause( Situation p_situation, Situation p_linkedCause template (value) UtEvent m_utEventLinkedCause( in template (value) Situation p_situation, in template (value) Situation p_linkedCause ) modifies m_utEvent := { eventOption := { eventLinkedCause := p_linkedCause } } template UtEvent m_utEventExpirationTime( Situation p_situation, TimeStamp p_expirationTime template (value) UtEvent m_utEventExpirationTime( in template (value) Situation p_situation, in template (value) TimeStamp p_expirationTime ) modifies m_utEvent := { eventOption := { eventExpirationTime := p_expirationTime } } template UtEvent m_utEventExpirationTimeFrequency( Situation p_situation, TimeStamp p_expirationTime, DecentralizedSituationManagement.frequency p_frequency template (value) UtEvent m_utEventExpirationTimeFrequency( in template (value) Situation p_situation, in template (value) TimeStamp p_expirationTime, in template (value) DecentralizedSituationManagement.frequency p_frequency ) modifies m_utEvent := { eventOption := { eventExpirationTimeFrequency := { Loading @@ -93,9 +93,9 @@ module LibItsDenm_Templates { } } template UtEvent m_utEventCharact( Situation p_situation, DecentralizedSituation.eventCharact p_eventCharact template (value) UtEvent m_utEventCharact( in template (value) Situation p_situation, in template (value) DecentralizedSituation.eventCharact p_eventCharact ) modifies m_utEvent := { eventOption := { eventCharact := p_eventCharact Loading Loading
ttcn/DENM/LibItsDenm_Functions.ttcn +2 −3 Original line number Diff line number Diff line Loading @@ -157,7 +157,7 @@ module LibItsDenm_Functions { */ function f_utTriggerEvent(template (value) UtEvent p_event) runs on ItsFa return FncRetCode { var FncRetCode v_ret := e_success; var UtTrigger v_utMsg := { p_event }; var template (value) UtTrigger v_utMsg := { p_event }; utPort.send(v_utMsg); Loading @@ -171,8 +171,7 @@ module LibItsDenm_Functions { */ function f_utCheckEvent(template (value) UtEvent p_event) runs on ItsFa return FncRetCode { var FncRetCode v_ret := e_success; var UtCheck v_utMsg := { p_event }; var template (value) UtCheck v_utMsg := { p_event }; utPort.send(v_utMsg); tc_ac.start; Loading
ttcn/DENM/LibItsDenm_Templates.ttcn +23 −23 Original line number Diff line number Diff line Loading @@ -30,60 +30,60 @@ module LibItsDenm_Templates { group utPrimitives { template UtEvent m_utEvent(Situation p_situation) := { template (value) UtEvent m_utEvent(in template (value) Situation p_situation) := { situation := p_situation, eventOption := omit } template UtEvent m_utEventCancellation( Situation p_situation, DataVersion p_dataVersion template (value) UtEvent m_utEventCancellation( in template (value) Situation p_situation, in template (value) DataVersion p_dataVersion ) modifies m_utEvent := { eventOption := { eventCancellation := p_dataVersion } } template UtEvent m_utEventNegation( Situation p_situation, DecentralizedEnvironmentalNotificationMessage.management.isNegation p_isNegation template (value) UtEvent m_utEventNegation( in template (value) Situation p_situation, in template (value) DecentralizedEnvironmentalNotificationMessage.management.isNegation p_isNegation ) modifies m_utEvent := { eventOption := { eventNegation := p_isNegation } } template UtEvent m_utEeventTrafficFlowEffect( Situation p_situation, TrafficFlowEffect p_trafficFlowEffect template (value) UtEvent m_utEeventTrafficFlowEffect( in template (value) Situation p_situation, in template (value) TrafficFlowEffect p_trafficFlowEffect ) modifies m_utEvent := { eventOption := { eventTrafficFlowEffect := p_trafficFlowEffect } } template UtEvent m_utEventLinkedCause( Situation p_situation, Situation p_linkedCause template (value) UtEvent m_utEventLinkedCause( in template (value) Situation p_situation, in template (value) Situation p_linkedCause ) modifies m_utEvent := { eventOption := { eventLinkedCause := p_linkedCause } } template UtEvent m_utEventExpirationTime( Situation p_situation, TimeStamp p_expirationTime template (value) UtEvent m_utEventExpirationTime( in template (value) Situation p_situation, in template (value) TimeStamp p_expirationTime ) modifies m_utEvent := { eventOption := { eventExpirationTime := p_expirationTime } } template UtEvent m_utEventExpirationTimeFrequency( Situation p_situation, TimeStamp p_expirationTime, DecentralizedSituationManagement.frequency p_frequency template (value) UtEvent m_utEventExpirationTimeFrequency( in template (value) Situation p_situation, in template (value) TimeStamp p_expirationTime, in template (value) DecentralizedSituationManagement.frequency p_frequency ) modifies m_utEvent := { eventOption := { eventExpirationTimeFrequency := { Loading @@ -93,9 +93,9 @@ module LibItsDenm_Templates { } } template UtEvent m_utEventCharact( Situation p_situation, DecentralizedSituation.eventCharact p_eventCharact template (value) UtEvent m_utEventCharact( in template (value) Situation p_situation, in template (value) DecentralizedSituation.eventCharact p_eventCharact ) modifies m_utEvent := { eventOption := { eventCharact := p_eventCharact Loading