Commit e5dbae6d authored by berge's avatar berge
Browse files

DENM: Fixed some issues spotted by T3Q

parent 73b0a9c5

ttcn/DENM/LibItsDenm_Templates.ttcn

+2 −4
Original line number Original line Diff line number Diff line
@@ -142,7 +142,6 @@ module LibItsDenm_Templates { 
        

        

        template DecentralizedSituationManagement mw_denmMgmtCon_IsNeg(

        template DecentralizedSituationManagement mw_denmMgmtCon_IsNeg(

            template (present) DataVersion p_dataVersion,  

            template (present) DataVersion p_dataVersion,  

            template (value) StationID p_stationId,

            template (present) DecentralizedSituationManagement.isNegation p_isNeg

            template (present) DecentralizedSituationManagement.isNegation p_isNeg

            ) modifies mw_denmMgmtCon := {

            ) modifies mw_denmMgmtCon := {

            isNegation := p_isNeg

            isNegation := p_isNeg
@@ -150,7 +149,6 @@ module LibItsDenm_Templates { 
        

        

        template DecentralizedSituationManagement mw_denmMgmtConWithExpiryTime(

        template DecentralizedSituationManagement mw_denmMgmtConWithExpiryTime(

            template (present) DataVersion p_dataVersion,  

            template (present) DataVersion p_dataVersion,  

            template (value) StationID p_stationId,

            template (present) DecentralizedSituationManagement.expiryTime p_expiryTime        

            template (present) DecentralizedSituationManagement.expiryTime p_expiryTime        

        	) modifies mw_denmMgmtCon := {

        	) modifies mw_denmMgmtCon := {

            expiryTime := p_expiryTime

            expiryTime := p_expiryTime