Loading ItsDenm_TpFunctions.ttcn +12 −12 Original line number Original line Diff line number Diff line Loading @@ -2370,7 +2370,7 @@ module ItsDenm_TpFunctions { function f_DEN_SSP_BV_01_04( ) runs on ItsDenm { function f_DEN_SSP_BV_01_04( ) runs on ItsDenm { f_DEN_SSP_BV_XX ( f_DEN_SSP_BV_XX ( PX_CERT_IUT_DENM_04, PX_CERT_IUT_DENM_04, m_situation(CauseCodeChoice: { adverseWeatherCondition_Adhesion6 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_AdhesionSubCauseCode_snowOnRoad_ }), m_situation(CauseCodeChoice: { adhesion6 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_AdhesionSubCauseCode_snowOnRoad_ }), mw_sspNoAdhesion mw_sspNoAdhesion ); ); } } Loading Loading @@ -2418,7 +2418,7 @@ module ItsDenm_TpFunctions { function f_DEN_SSP_BV_01_10( ) runs on ItsDenm { function f_DEN_SSP_BV_01_10( ) runs on ItsDenm { f_DEN_SSP_BV_XX ( f_DEN_SSP_BV_XX ( PX_CERT_IUT_DENM_10, PX_CERT_IUT_DENM_10, m_situation(CauseCodeChoice: { rescueAndRecoveryWorkInProgress15 := LibItsCommon_ASN1_NamedNumbers.RescueAndRecoveryWorkInProgressSubCauseCode_emergencyVehicles_ }), m_situation(CauseCodeChoice: { rescueRecoveryAndMaintenanceWorkInProgress15 := LibItsCommon_ASN1_NamedNumbers.RescueAndRecoveryWorkInProgressSubCauseCode_emergencyVehicles_ }), mw_sspNoRescueAndRecoveryWorkInProgress mw_sspNoRescueAndRecoveryWorkInProgress ); ); } } Loading @@ -2426,7 +2426,7 @@ module ItsDenm_TpFunctions { function f_DEN_SSP_BV_01_11( ) runs on ItsDenm { function f_DEN_SSP_BV_01_11( ) runs on ItsDenm { f_DEN_SSP_BV_XX ( f_DEN_SSP_BV_XX ( PX_CERT_IUT_DENM_11, PX_CERT_IUT_DENM_11, m_situation(CauseCodeChoice: { adverseWeatherCondition_ExtremeWeatherCondition17:= LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_ExtremeWeatherConditionSubCauseCode_thunderstorm_ }), m_situation(CauseCodeChoice: { adverseWeatherCondition_Wind17:= LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_ExtremeWeatherConditionSubCauseCode_thunderstorm_ }), mw_sspNoExtremeWeatherCondition mw_sspNoExtremeWeatherCondition ); ); } } Loading Loading @@ -3126,7 +3126,7 @@ module ItsDenm_TpFunctions { f_DEN_MSRV_BO_08_XX( f_DEN_MSRV_BO_08_XX( "CERT_TS_DENM_BO_04_AT", "CERT_TS_DENM_BO_04_AT", m_situation(CauseCodeChoice: { adverseWeatherCondition_Adhesion6 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_AdhesionSubCauseCode_unavailable_ }) m_situation(CauseCodeChoice: { adhesion6 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_AdhesionSubCauseCode_unavailable_ }) ); ); } } Loading Loading @@ -3174,7 +3174,7 @@ module ItsDenm_TpFunctions { f_DEN_MSRV_BO_08_XX( f_DEN_MSRV_BO_08_XX( "CERT_TS_DENM_BO_10_AT", "CERT_TS_DENM_BO_10_AT", m_situation(CauseCodeChoice: { rescueAndRecoveryWorkInProgress15 := LibItsCommon_ASN1_NamedNumbers.RescueAndRecoveryWorkInProgressSubCauseCode_unavailable_ }) m_situation(CauseCodeChoice: { rescueRecoveryAndMaintenanceWorkInProgress15 := LibItsCommon_ASN1_NamedNumbers.RescueAndRecoveryWorkInProgressSubCauseCode_unavailable_ }) ); ); } } Loading @@ -3182,7 +3182,7 @@ module ItsDenm_TpFunctions { f_DEN_MSRV_BO_08_XX( f_DEN_MSRV_BO_08_XX( "CERT_TS_DENM_BO_11_AT", "CERT_TS_DENM_BO_11_AT", m_situation(CauseCodeChoice: { adverseWeatherCondition_ExtremeWeatherCondition17 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_ExtremeWeatherConditionSubCauseCode_unavailable_ }) m_situation(CauseCodeChoice: { adverseWeatherCondition_Wind17 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_ExtremeWeatherConditionSubCauseCode_unavailable_ }) ); ); } } Loading Loading @@ -3433,8 +3433,8 @@ module ItsDenm_TpFunctions { f_DEN_MSRV_BO_09_XX( f_DEN_MSRV_BO_09_XX( "CERT_TS_DENM_BO_04_AT", "CERT_TS_DENM_BO_04_AT", m_situation(CauseCodeChoice: { adverseWeatherCondition_Adhesion6 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_AdhesionSubCauseCode_fuelOnRoad_ }), m_situation(CauseCodeChoice: { adhesion6 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_AdhesionSubCauseCode_fuelOnRoad_ }), m_situation(CauseCodeChoice: { adverseWeatherCondition_Adhesion6 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_AdhesionSubCauseCode_unavailable_ }) m_situation(CauseCodeChoice: { adhesion6 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_AdhesionSubCauseCode_unavailable_ }) ); ); } } Loading Loading @@ -3487,8 +3487,8 @@ module ItsDenm_TpFunctions { f_DEN_MSRV_BO_09_XX( f_DEN_MSRV_BO_09_XX( "CERT_TS_DENM_BO_10_AT", "CERT_TS_DENM_BO_10_AT", m_situation(CauseCodeChoice: { rescueAndRecoveryWorkInProgress15 := LibItsCommon_ASN1_NamedNumbers.RescueAndRecoveryWorkInProgressSubCauseCode_unavailable_ }), m_situation(CauseCodeChoice: { rescueRecoveryAndMaintenanceWorkInProgress15 := LibItsCommon_ASN1_NamedNumbers.RescueAndRecoveryWorkInProgressSubCauseCode_unavailable_ }), m_situation(CauseCodeChoice: { rescueAndRecoveryWorkInProgress15 := LibItsCommon_ASN1_NamedNumbers.RescueAndRecoveryWorkInProgressSubCauseCode_unavailable_ }) m_situation(CauseCodeChoice: { rescueRecoveryAndMaintenanceWorkInProgress15 := LibItsCommon_ASN1_NamedNumbers.RescueAndRecoveryWorkInProgressSubCauseCode_unavailable_ }) ); ); } } Loading @@ -3496,8 +3496,8 @@ module ItsDenm_TpFunctions { f_DEN_MSRV_BO_09_XX( f_DEN_MSRV_BO_09_XX( "CERT_TS_DENM_BO_11_AT", "CERT_TS_DENM_BO_11_AT", m_situation(CauseCodeChoice: { adverseWeatherCondition_ExtremeWeatherCondition17 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_ExtremeWeatherConditionSubCauseCode_unavailable_ }), m_situation(CauseCodeChoice: { adverseWeatherCondition_Wind17 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_ExtremeWeatherConditionSubCauseCode_unavailable_ }), m_situation(CauseCodeChoice: { adverseWeatherCondition_ExtremeWeatherCondition17 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_ExtremeWeatherConditionSubCauseCode_unavailable_ }) m_situation(CauseCodeChoice: { adverseWeatherCondition_Wind17 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_ExtremeWeatherConditionSubCauseCode_unavailable_ }) ); ); } } Loading Loading
ItsDenm_TpFunctions.ttcn +12 −12 Original line number Original line Diff line number Diff line Loading @@ -2370,7 +2370,7 @@ module ItsDenm_TpFunctions { function f_DEN_SSP_BV_01_04( ) runs on ItsDenm { function f_DEN_SSP_BV_01_04( ) runs on ItsDenm { f_DEN_SSP_BV_XX ( f_DEN_SSP_BV_XX ( PX_CERT_IUT_DENM_04, PX_CERT_IUT_DENM_04, m_situation(CauseCodeChoice: { adverseWeatherCondition_Adhesion6 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_AdhesionSubCauseCode_snowOnRoad_ }), m_situation(CauseCodeChoice: { adhesion6 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_AdhesionSubCauseCode_snowOnRoad_ }), mw_sspNoAdhesion mw_sspNoAdhesion ); ); } } Loading Loading @@ -2418,7 +2418,7 @@ module ItsDenm_TpFunctions { function f_DEN_SSP_BV_01_10( ) runs on ItsDenm { function f_DEN_SSP_BV_01_10( ) runs on ItsDenm { f_DEN_SSP_BV_XX ( f_DEN_SSP_BV_XX ( PX_CERT_IUT_DENM_10, PX_CERT_IUT_DENM_10, m_situation(CauseCodeChoice: { rescueAndRecoveryWorkInProgress15 := LibItsCommon_ASN1_NamedNumbers.RescueAndRecoveryWorkInProgressSubCauseCode_emergencyVehicles_ }), m_situation(CauseCodeChoice: { rescueRecoveryAndMaintenanceWorkInProgress15 := LibItsCommon_ASN1_NamedNumbers.RescueAndRecoveryWorkInProgressSubCauseCode_emergencyVehicles_ }), mw_sspNoRescueAndRecoveryWorkInProgress mw_sspNoRescueAndRecoveryWorkInProgress ); ); } } Loading @@ -2426,7 +2426,7 @@ module ItsDenm_TpFunctions { function f_DEN_SSP_BV_01_11( ) runs on ItsDenm { function f_DEN_SSP_BV_01_11( ) runs on ItsDenm { f_DEN_SSP_BV_XX ( f_DEN_SSP_BV_XX ( PX_CERT_IUT_DENM_11, PX_CERT_IUT_DENM_11, m_situation(CauseCodeChoice: { adverseWeatherCondition_ExtremeWeatherCondition17:= LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_ExtremeWeatherConditionSubCauseCode_thunderstorm_ }), m_situation(CauseCodeChoice: { adverseWeatherCondition_Wind17:= LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_ExtremeWeatherConditionSubCauseCode_thunderstorm_ }), mw_sspNoExtremeWeatherCondition mw_sspNoExtremeWeatherCondition ); ); } } Loading Loading @@ -3126,7 +3126,7 @@ module ItsDenm_TpFunctions { f_DEN_MSRV_BO_08_XX( f_DEN_MSRV_BO_08_XX( "CERT_TS_DENM_BO_04_AT", "CERT_TS_DENM_BO_04_AT", m_situation(CauseCodeChoice: { adverseWeatherCondition_Adhesion6 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_AdhesionSubCauseCode_unavailable_ }) m_situation(CauseCodeChoice: { adhesion6 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_AdhesionSubCauseCode_unavailable_ }) ); ); } } Loading Loading @@ -3174,7 +3174,7 @@ module ItsDenm_TpFunctions { f_DEN_MSRV_BO_08_XX( f_DEN_MSRV_BO_08_XX( "CERT_TS_DENM_BO_10_AT", "CERT_TS_DENM_BO_10_AT", m_situation(CauseCodeChoice: { rescueAndRecoveryWorkInProgress15 := LibItsCommon_ASN1_NamedNumbers.RescueAndRecoveryWorkInProgressSubCauseCode_unavailable_ }) m_situation(CauseCodeChoice: { rescueRecoveryAndMaintenanceWorkInProgress15 := LibItsCommon_ASN1_NamedNumbers.RescueAndRecoveryWorkInProgressSubCauseCode_unavailable_ }) ); ); } } Loading @@ -3182,7 +3182,7 @@ module ItsDenm_TpFunctions { f_DEN_MSRV_BO_08_XX( f_DEN_MSRV_BO_08_XX( "CERT_TS_DENM_BO_11_AT", "CERT_TS_DENM_BO_11_AT", m_situation(CauseCodeChoice: { adverseWeatherCondition_ExtremeWeatherCondition17 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_ExtremeWeatherConditionSubCauseCode_unavailable_ }) m_situation(CauseCodeChoice: { adverseWeatherCondition_Wind17 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_ExtremeWeatherConditionSubCauseCode_unavailable_ }) ); ); } } Loading Loading @@ -3433,8 +3433,8 @@ module ItsDenm_TpFunctions { f_DEN_MSRV_BO_09_XX( f_DEN_MSRV_BO_09_XX( "CERT_TS_DENM_BO_04_AT", "CERT_TS_DENM_BO_04_AT", m_situation(CauseCodeChoice: { adverseWeatherCondition_Adhesion6 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_AdhesionSubCauseCode_fuelOnRoad_ }), m_situation(CauseCodeChoice: { adhesion6 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_AdhesionSubCauseCode_fuelOnRoad_ }), m_situation(CauseCodeChoice: { adverseWeatherCondition_Adhesion6 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_AdhesionSubCauseCode_unavailable_ }) m_situation(CauseCodeChoice: { adhesion6 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_AdhesionSubCauseCode_unavailable_ }) ); ); } } Loading Loading @@ -3487,8 +3487,8 @@ module ItsDenm_TpFunctions { f_DEN_MSRV_BO_09_XX( f_DEN_MSRV_BO_09_XX( "CERT_TS_DENM_BO_10_AT", "CERT_TS_DENM_BO_10_AT", m_situation(CauseCodeChoice: { rescueAndRecoveryWorkInProgress15 := LibItsCommon_ASN1_NamedNumbers.RescueAndRecoveryWorkInProgressSubCauseCode_unavailable_ }), m_situation(CauseCodeChoice: { rescueRecoveryAndMaintenanceWorkInProgress15 := LibItsCommon_ASN1_NamedNumbers.RescueAndRecoveryWorkInProgressSubCauseCode_unavailable_ }), m_situation(CauseCodeChoice: { rescueAndRecoveryWorkInProgress15 := LibItsCommon_ASN1_NamedNumbers.RescueAndRecoveryWorkInProgressSubCauseCode_unavailable_ }) m_situation(CauseCodeChoice: { rescueRecoveryAndMaintenanceWorkInProgress15 := LibItsCommon_ASN1_NamedNumbers.RescueAndRecoveryWorkInProgressSubCauseCode_unavailable_ }) ); ); } } Loading @@ -3496,8 +3496,8 @@ module ItsDenm_TpFunctions { f_DEN_MSRV_BO_09_XX( f_DEN_MSRV_BO_09_XX( "CERT_TS_DENM_BO_11_AT", "CERT_TS_DENM_BO_11_AT", m_situation(CauseCodeChoice: { adverseWeatherCondition_ExtremeWeatherCondition17 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_ExtremeWeatherConditionSubCauseCode_unavailable_ }), m_situation(CauseCodeChoice: { adverseWeatherCondition_Wind17 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_ExtremeWeatherConditionSubCauseCode_unavailable_ }), m_situation(CauseCodeChoice: { adverseWeatherCondition_ExtremeWeatherCondition17 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_ExtremeWeatherConditionSubCauseCode_unavailable_ }) m_situation(CauseCodeChoice: { adverseWeatherCondition_Wind17 := LibItsCommon_ASN1_NamedNumbers.AdverseWeatherCondition_ExtremeWeatherConditionSubCauseCode_unavailable_ }) ); ); } } Loading