Commit 75c82d2b authored by Yann Garcia's avatar Yann Garcia
Browse files

Bug fixed in ItsDenm_TpFunctions.ttcn

parent c76d451a

ItsDenm_TpFunctions.ttcn

+22 −10
Original line number Diff line number Diff line
@@ -2371,7 +2371,6 @@ module ItsDenm_TpFunctions { 
            f_DEN_SSP_BV_XX (

                PX_CERT_IUT_DENM_04,

                m_situation(CauseCodeChoice: { adverseWeatherCondition_Adhesion6 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_AdhesionSubCauseCode_snowOnRoad_  }),

                m_situation(CauseCodeChoice: { adverseWeatherCondition_Adhesion6 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_AdhesionSubCauseCode_snowOnRoad_  }),

                mw_sspNoAdhesion

            );

        }
@@ -2380,7 +2379,6 @@ module ItsDenm_TpFunctions { 
            f_DEN_SSP_BV_XX (

                PX_CERT_IUT_DENM_05,

                m_situation(CauseCodeChoice: { hazardousLocation_SurfaceCondition9 := LibItsCommon_ASN1_NamedNumbers.HazardousLocation_SurfaceConditionSubCauseCode_rockfalls_  }),

                m_situation(CauseCodeChoice: { hazardousLocation_SurfaceCondition9 := LibItsCommon_ASN1_NamedNumbers.HazardousLocation_SurfaceConditionSubCauseCode_rockfalls_  }),

                mw_sspNoSurfaceCondition

            );

        }
@@ -2389,7 +2387,6 @@ module ItsDenm_TpFunctions { 
            f_DEN_SSP_BV_XX (

                PX_CERT_IUT_DENM_06,

                m_situation(CauseCodeChoice: { hazardousLocation_ObstacleOnTheRoad10 := LibItsCommon_ASN1_NamedNumbers.HazardousLocation_ObstacleOnTheRoadSubCauseCode_waitingVehicles_  }),

                m_situation(CauseCodeChoice: { hazardousLocation_ObstacleOnTheRoad10 := LibItsCommon_ASN1_NamedNumbers.HazardousLocation_ObstacleOnTheRoadSubCauseCode_waitingVehicles_  }),

                mw_sspNoObstacleOnTheRoad

            );

        }
@@ -2398,7 +2395,6 @@ module ItsDenm_TpFunctions { 
            f_DEN_SSP_BV_XX (

                PX_CERT_IUT_DENM_07,

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

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

                mw_sspNoAnimalOnTheRoad

            );

        }
@@ -2439,7 +2435,6 @@ module ItsDenm_TpFunctions { 
            f_DEN_SSP_BV_XX (

                PX_CERT_IUT_DENM_12,

                m_situation(CauseCodeChoice: { adverseWeatherCondition_Visibility18 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_VisibilitySubCauseCode_heavyRain_  }),

                m_situation(CauseCodeChoice: { adverseWeatherCondition_Visibility18 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_VisibilitySubCauseCode_heavyRain_  }),

                mw_sspNoVisibility

            );

        }
@@ -2448,7 +2443,6 @@ module ItsDenm_TpFunctions { 
            f_DEN_SSP_BV_XX (

                PX_CERT_IUT_DENM_13,

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

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

                mw_sspNoPrecipitation

            );

        }
@@ -2513,7 +2507,6 @@ module ItsDenm_TpFunctions { 
            f_DEN_SSP_BV_XX (

                PX_CERT_IUT_DENM_21,

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

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

                mw_sspNoDangerousCurve

            );

        }
@@ -3413,6 +3406,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_09_XX(

                    "CERT_TS_DENM_BO_01_AT",

                    m_situation(CauseCodeChoice: { trafficCondition1 := LibItsCommon_ASN1_NamedNumbers.TrafficConditionSubCauseCode_increasedVolumeOfTraffic_ }),

                    m_situation(CauseCodeChoice: { trafficCondition1 := LibItsCommon_ASN1_NamedNumbers.TrafficConditionSubCauseCode_unavailable_ })

                );

            }
@@ -3421,6 +3415,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_09_XX(

                    "CERT_TS_DENM_BO_02_AT",

                    m_situation(CauseCodeChoice: { accident2 := LibItsCommon_ASN1_NamedNumbers.AccidentSubCauseCode_unsecuredAccident_ }),

                    m_situation(CauseCodeChoice: { accident2 := LibItsCommon_ASN1_NamedNumbers.AccidentSubCauseCode_unavailable_ })

                );

            }
@@ -3429,6 +3424,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_09_XX(

                    "CERT_TS_DENM_BO_03_AT",

                    m_situation(CauseCodeChoice: { roadworks3 := LibItsCommon_ASN1_NamedNumbers.RoadworksSubCauseCode_roadMarkingWork_ }),

                    m_situation(CauseCodeChoice: { roadworks3 := LibItsCommon_ASN1_NamedNumbers.RoadworksSubCauseCode_unavailable_ })

                );

            }
@@ -3437,6 +3433,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_09_XX(

                    "CERT_TS_DENM_BO_04_AT",

                    m_situation(CauseCodeChoice: { adverseWeatherCondition_Adhesion6 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_AdhesionSubCauseCode_fuelOnRoad_ }),

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

                );

            }
@@ -3445,6 +3442,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_09_XX(

                    "CERT_TS_DENM_BO_05_AT",

                    m_situation(CauseCodeChoice: { hazardousLocation_SurfaceCondition9 := LibItsCommon_ASN1_NamedNumbers.HazardousLocation_SurfaceConditionSubCauseCode_rockfalls_ }),

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

                );

            }
@@ -3453,6 +3451,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_09_XX(

                    "CERT_TS_DENM_BO_06_AT",

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

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

                );

            }
@@ -3461,6 +3460,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_09_XX(

                    "CERT_TS_DENM_BO_07_AT",

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

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

                );

            }
@@ -3469,6 +3469,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_09_XX(

                    "CERT_TS_DENM_BO_08_AT",

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

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

               );

            }
@@ -3477,6 +3478,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_09_XX(

                    "CERT_TS_DENM_BO_09_AT",

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

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

                );

            }
@@ -3485,6 +3487,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_09_XX(

                    "CERT_TS_DENM_BO_10_AT",

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

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

                );

            }
@@ -3494,6 +3497,7 @@ module ItsDenm_TpFunctions { 
                f_DEN_MSRV_BO_09_XX(

                    "CERT_TS_DENM_BO_11_AT",

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

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

                );

            }
@@ -3501,6 +3505,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_09_XX(

                    "CERT_TS_DENM_BO_12_AT",

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

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

                );

            }
@@ -3509,6 +3514,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_09_XX(

                    "CERT_TS_DENM_BO_13_AT",

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

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

                );

            }
@@ -3517,6 +3523,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_09_XX(

                    "CERT_TS_DENM_BO_14_AT",

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

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

                );

            }
@@ -3525,6 +3532,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_09_XX(

                    "CERT_TS_DENM_BO_15_AT",

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

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

                );

            }
@@ -3533,6 +3541,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_09_XX(

                    "CERT_TS_DENM_BO_16_AT",

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

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

                );

            }
@@ -3541,6 +3550,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_09_XX(

                    "CERT_TS_DENM_BO_17_AT",

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

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

                );

            }
@@ -3549,6 +3559,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_09_XX(

                    "CERT_TS_DENM_BO_18_AT",

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

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

                );

            }
@@ -3557,6 +3568,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_09_XX(

                    "CERT_TS_DENM_BO_19_AT",

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

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

                );

            }
@@ -3614,7 +3626,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_09_XX(

                    "CERT_TS_DENM_BO_26_ATv2",

                    m_situation(CauseCodeChoice: { aquaplaning7 := LibItsCommon_ASN1_NamedNumbers.AquaplaningSubCauseCode_unavailable_ }),

                    m_situation(CauseCodeChoice: { aquaplaning7 := LibItsCommon_ASN1_NamedNumbers.AquaplaningSubCauseCode_unavailable_ })

                );

            }
@@ -3622,7 +3634,7 @@ module ItsDenm_TpFunctions { 
                

                f_DEN_MSRV_BO_09_XX(

                    "CERT_TS_DENM_BO_27_ATv2",

                    m_situation(CauseCodeChoice: { publicTransportVehicleApproaching28 := LibItsCommon_ASN1_NamedNumbers.PublicTransportVehicleApproachingSubCauseCode_unavailable_ }),

                    m_situation(CauseCodeChoice: { publicTransportVehicleApproaching28 := LibItsCommon_ASN1_NamedNumbers.PublicTransportVehicleApproachingSubCauseCode_unavailable_ })

                );

            }