Commit 20591f1b authored by Mubeena Ishaq's avatar Mubeena Ishaq
Browse files

Minor fixes for DENM

parent e31048bf

ItsDenm_TestCases.ttcn

+68 −68

File changed.

Preview size limit exceeded, changes collapsed.

ItsDenm_TpFunctions.ttcn

+21 −21
Original line number Diff line number Diff line
@@ -2978,7 +2978,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_08_XX(

                    "CERT_TS_DENM_BO_04_AT",

                    m_situation(CauseCodeChoice: { adverseWeatherCondition_Adhesion := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_AdhesionSubCauseCode_unavailable_ })

                    m_situation(CauseCodeChoice: { adverseWeatherCondition_Adhesion6 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_AdhesionSubCauseCode_unavailable_ })

                );

            }
@@ -2986,7 +2986,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_08_XX(

                    "CERT_TS_DENM_BO_05_AT",

                    m_situation(CauseCodeChoice: { hazardousLocation_SurfaceCondition := LibItsCommon_ASN1_NamedNumbers.HazardousLocation_SurfaceConditionSubCauseCode_unavailable_ })

                    m_situation(CauseCodeChoice: { hazardousLocation_SurfaceCondition9 := LibItsCommon_ASN1_NamedNumbers.HazardousLocation_SurfaceConditionSubCauseCode_unavailable_ })

                );

            }
@@ -2994,7 +2994,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_08_XX(

                    "CERT_TS_DENM_BO_06_AT",

                    m_situation(CauseCodeChoice: { hazardousLocation_ObstacleOnTheRoad := LibItsCommon_ASN1_NamedNumbers.HazardousLocation_ObstacleOnTheRoadSubCauseCode_unavailable_ })

                    m_situation(CauseCodeChoice: { hazardousLocation_ObstacleOnTheRoad10 := LibItsCommon_ASN1_NamedNumbers.HazardousLocation_ObstacleOnTheRoadSubCauseCode_unavailable_ })

                );

            }
@@ -3002,7 +3002,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_08_XX(

                    "CERT_TS_DENM_BO_07_AT",

                    m_situation(CauseCodeChoice: { hazardousLocation_AnimalOnTheRoad := LibItsCommon_ASN1_NamedNumbers.HazardousLocation_AnimalOnTheRoadSubCauseCode_unavailable_ })

                    m_situation(CauseCodeChoice: { hazardousLocation_AnimalOnTheRoad11 := LibItsCommon_ASN1_NamedNumbers.HazardousLocation_AnimalOnTheRoadSubCauseCode_unavailable_ })

                );

            }
@@ -3010,7 +3010,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_08_XX(

                    "CERT_TS_DENM_BO_08_AT",

                    m_situation(CauseCodeChoice: { humanPresenceOnTheRoad := LibItsCommon_ASN1_NamedNumbers.HumanPresenceOnTheRoadSubCauseCode_unavailable_ })

                    m_situation(CauseCodeChoice: { humanPresenceOnTheRoad12 := LibItsCommon_ASN1_NamedNumbers.HumanPresenceOnTheRoadSubCauseCode_unavailable_ })

                );

            }
@@ -3018,7 +3018,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_08_XX(

                    "CERT_TS_DENM_BO_09_AT",

                    m_situation(CauseCodeChoice: { wrongWayDriving := LibItsCommon_ASN1_NamedNumbers.WrongWayDrivingSubCauseCode_unavailable_ })

                    m_situation(CauseCodeChoice: { wrongWayDriving14 := LibItsCommon_ASN1_NamedNumbers.WrongWayDrivingSubCauseCode_unavailable_ })

                );

            }
@@ -3026,7 +3026,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_08_XX(

                    "CERT_TS_DENM_BO_10_AT",

                    m_situation(CauseCodeChoice: { rescueAndRecoveryWorkInProgress := LibItsCommon_ASN1_NamedNumbers.RescueAndRecoveryWorkInProgressSubCauseCode_unavailable_ })

                    m_situation(CauseCodeChoice: { rescueAndRecoveryWorkInProgress15 := LibItsCommon_ASN1_NamedNumbers.RescueAndRecoveryWorkInProgressSubCauseCode_unavailable_ })

                );

            }
@@ -3034,7 +3034,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_08_XX(

                    "CERT_TS_DENM_BO_11_AT",

                    m_situation(CauseCodeChoice: { adverseWeatherCondition_ExtremeWeatherCondition := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_ExtremeWeatherConditionSubCauseCode_unavailable_ })

                    m_situation(CauseCodeChoice: { adverseWeatherCondition_ExtremeWeatherCondition17 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_ExtremeWeatherConditionSubCauseCode_unavailable_ })

                );

            }
@@ -3042,7 +3042,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_08_XX(

                    "CERT_TS_DENM_BO_12_AT",

                    m_situation(CauseCodeChoice: { adverseWeatherCondition_Visibility := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_VisibilitySubCauseCode_unavailable_ })

                    m_situation(CauseCodeChoice: { adverseWeatherCondition_Visibility18 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_VisibilitySubCauseCode_unavailable_ })

                );

            }
@@ -3050,7 +3050,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_08_XX(

                    "CERT_TS_DENM_BO_13_AT",

                    m_situation(CauseCodeChoice: { adverseWeatherCondition_Precipitation := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_PrecipitationSubCauseCode_unavailable_ })

                    m_situation(CauseCodeChoice: { adverseWeatherCondition_Precipitation19 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_PrecipitationSubCauseCode_unavailable_ })

                );

            }
@@ -3058,7 +3058,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_08_XX(

                    "CERT_TS_DENM_BO_14_AT",

                    m_situation(CauseCodeChoice: { slowVehicle := LibItsCommon_ASN1_NamedNumbers.SlowVehicleSubCauseCode_unavailable_ })

                    m_situation(CauseCodeChoice: { slowVehicle26 := LibItsCommon_ASN1_NamedNumbers.SlowVehicleSubCauseCode_unavailable_ })

                );

            }
@@ -3066,7 +3066,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_08_XX(

                    "CERT_TS_DENM_BO_15_AT",

                    m_situation(CauseCodeChoice: { dangerousEndOfQueue := LibItsCommon_ASN1_NamedNumbers.DangerousEndOfQueueSubCauseCode_unavailable_ })

                    m_situation(CauseCodeChoice: { dangerousEndOfQueue27 := LibItsCommon_ASN1_NamedNumbers.DangerousEndOfQueueSubCauseCode_unavailable_ })

                );

            }
@@ -3074,7 +3074,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_08_XX(

                    "CERT_TS_DENM_BO_16_AT",

                    m_situation(CauseCodeChoice: { vehicleBreakdown := LibItsCommon_ASN1_NamedNumbers.VehicleBreakdownSubCauseCode_unavailable_ })

                    m_situation(CauseCodeChoice: { vehicleBreakdown91 := LibItsCommon_ASN1_NamedNumbers.VehicleBreakdownSubCauseCode_unavailable_ })

                );

            }
@@ -3082,7 +3082,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_08_XX(

                    "CERT_TS_DENM_BO_17_AT",

                    m_situation(CauseCodeChoice: { postCrash := LibItsCommon_ASN1_NamedNumbers.PostCrashSubCauseCode_unavailable_ })

                    m_situation(CauseCodeChoice: { postCrash92 := LibItsCommon_ASN1_NamedNumbers.PostCrashSubCauseCode_unavailable_ })

                );

            }
@@ -3090,7 +3090,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_08_XX(

                    "CERT_TS_DENM_BO_18_AT",

                    m_situation(CauseCodeChoice: { humanProblem := LibItsCommon_ASN1_NamedNumbers.HumanProblemSubCauseCode_unavailable_ })

                    m_situation(CauseCodeChoice: { humanProblem93 := LibItsCommon_ASN1_NamedNumbers.HumanProblemSubCauseCode_unavailable_ })

                );

            }
@@ -3098,7 +3098,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_08_XX(

                    "CERT_TS_DENM_BO_19_AT",

                    m_situation(CauseCodeChoice: { stationaryVehicle := LibItsCommon_ASN1_NamedNumbers.StationaryVehicleSubCauseCode_unavailable_ })

                    m_situation(CauseCodeChoice: { stationaryVehicle94 := LibItsCommon_ASN1_NamedNumbers.StationaryVehicleSubCauseCode_unavailable_ })

                );

            }
@@ -3106,7 +3106,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_08_XX(

                    "CERT_TS_DENM_BO_20_AT",

                    m_situation(CauseCodeChoice: { emergencyVehicleApproaching := LibItsCommon_ASN1_NamedNumbers.EmergencyVehicleApproachingSubCauseCode_unavailable_ })

                    m_situation(CauseCodeChoice: { emergencyVehicleApproaching95 := LibItsCommon_ASN1_NamedNumbers.EmergencyVehicleApproachingSubCauseCode_unavailable_ })

                );

            }
@@ -3114,7 +3114,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_08_XX(

                    "CERT_TS_DENM_BO_21_AT",

                    m_situation(CauseCodeChoice: { hazardousLocation_DangerousCurve := LibItsCommon_ASN1_NamedNumbers.HazardousLocation_DangerousCurveSubCauseCode_unavailable_ })

                    m_situation(CauseCodeChoice: { hazardousLocation_DangerousCurve96 := LibItsCommon_ASN1_NamedNumbers.HazardousLocation_DangerousCurveSubCauseCode_unavailable_ })

                );

            }
@@ -3122,7 +3122,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_08_XX(

                    "CERT_TS_DENM_BO_22_AT",

                    m_situation(CauseCodeChoice: { collisionRisk := LibItsCommon_ASN1_NamedNumbers.CollisionRiskSubCauseCode_unavailable_ })

                    m_situation(CauseCodeChoice: { collisionRisk97 := LibItsCommon_ASN1_NamedNumbers.CollisionRiskSubCauseCode_unavailable_ })

                );

            }
@@ -3130,7 +3130,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_08_XX(

                    "CERT_TS_DENM_BO_23_AT",

                    m_situation(CauseCodeChoice: { signalViolation := LibItsCommon_ASN1_NamedNumbers.SignalViolationSubCauseCode_unavailable_ })

                    m_situation(CauseCodeChoice: { signalViolation98 := LibItsCommon_ASN1_NamedNumbers.SignalViolationSubCauseCode_unavailable_ })

                );

            }
@@ -3138,7 +3138,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_08_XX(

                    "CERT_TS_DENM_BO_24_AT",

                    m_situation(CauseCodeChoice: { dangerousSituation := LibItsCommon_ASN1_NamedNumbers.DangerousSituationSubCauseCode_unavailable_ })

                    m_situation(CauseCodeChoice: { dangerousSituation99 := LibItsCommon_ASN1_NamedNumbers.DangerousSituationSubCauseCode_unavailable_ })

                );

            }