Commit 1d0c9866 authored by Yann Garcia's avatar Yann Garcia
Browse files

Compile ASN.1 files with TITANT

parent cb49fba1
Loading
Loading
Loading
Loading
+49 −49
Original line number Diff line number Diff line
@@ -51,7 +51,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_MSGF_BV_01() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                
                // Test control
                if (not PICS_IVIM_GENERATION) {
@@ -104,7 +104,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_LOC_BV_01() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                
                // Test control
                if (not PICS_IVIM_GENERATION) {
@@ -163,7 +163,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_LOC_BV_02() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                
                // Test control
                if (not PICS_IVIM_GENERATION) {
@@ -225,7 +225,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_LOC_BV_03() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                
                // Test control
                if (not PICS_IVIM_GENERATION) {
@@ -284,7 +284,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_LOC_BV_04() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                
                // Test control
                if (not PICS_IVIM_GENERATION) {
@@ -343,7 +343,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_LOC_BV_05() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                
                // Test control
                if (not PICS_IVIM_GENERATION) {
@@ -402,7 +402,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_LOC_BV_06() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                
                // Test control
                if (not PICS_IVIM_GENERATION) {
@@ -469,7 +469,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_MANC_BV_01() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                
                // Test control
                if (not PICS_IVIM_GENERATION) {
@@ -528,7 +528,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_MANC_BV_02() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                var boolean v_ivimReceived := false;
                
                // Test control
@@ -605,7 +605,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_EVGN_BV_01() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                
                // Test control
                if (not PICS_IVIM_GENERATION) {
@@ -732,7 +732,7 @@ module ItsIvim_TpFunctions {
                    m_utTriggerEvent(c_duration_4sec * 1000, f_getCurrentTime() - 1000 * c_duration_4sec, -/*, -, -*/),
                    m_utTriggerEvent(c_duration_6sec * 1000, f_getCurrentTime() - 1000 * c_duration_6sec, -/*, -, -*/)
                }
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                var boolean v_success := true;
                var IvimInd v_ivimInd;
                var integer i;
@@ -807,7 +807,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_EVGN_BV_04() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                
                // Test control
                if (not PICS_IVIM_GENERATION) {
@@ -868,7 +868,7 @@ module ItsIvim_TpFunctions {
                
                // Local variables
                const integer c_epsilon := 500; // maximum c_epsilon cannot exceed 500ms 
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                var TimestampIts v_timestamp;
                var IvimInd v_iviMsg;
                
@@ -941,7 +941,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_EVUP_BV_01() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                var IvimInd v_rcvdMsg;
                
                // Test control
@@ -1015,7 +1015,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_EVUP_BV_02() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                var IvimInd v_rcvdMsg;
                var TimestampIts v_validTo;
                
@@ -1105,7 +1105,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_EVUP_BV_03() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                var IvimInd v_rcvdMsg;
                var TimestampIts v_validFrom;
                
@@ -1196,7 +1196,7 @@ module ItsIvim_TpFunctions {
                
                // Local variables
                const integer c_epsilon := 500; // maximum c_epsilon cannot exceed 500ms 
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                var TimestampIts v_timestamp;
                var IvimInd v_rcvdMsg;
                
@@ -1277,7 +1277,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_EVUP_BV_05() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                var IvimInd v_rcvdMsg;
                
                // Test control
@@ -1355,7 +1355,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_GENAPP_BV_01() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                
                // Test control
                if (not (PICS_IVIM_GENERATION and PICS_IVIM_HAS_GENERAL_CONTAINER)) {
@@ -1432,7 +1432,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_GENAPP_BV_02() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                
                // Test control
                if (not (PICS_IVIM_GENERATION and PICS_IVIM_HAS_GENERAL_CONTAINER)) {
@@ -1502,7 +1502,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_GENAPP_BV_03() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                
                // Test control
                if (not (PICS_IVIM_GENERATION and PICS_IVIM_HAS_GENERAL_CONTAINER)) {
@@ -1573,7 +1573,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_GENAPP_BV_04() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
//                var template RSCode v_RSCode[4];
//                v_RSCode[0] := mw_rSCode_viennaConvention;
//                v_RSCode[1] := mw_rSCode_iso14823;
@@ -1648,7 +1648,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_GENAPP_BV_05() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                
                // Test control
                if (not (PICS_IVIM_GENERATION and PICS_IVIM_HAS_GENERAL_CONTAINER and PICS_IVIM_HAS_LAYOUT_CONTAINER)) {
@@ -1716,7 +1716,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_RCC_BV_01() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                
                // Test control
                if (not (PICS_IVIM_GENERATION and PICS_IVIM_HAS_ROAD_CFG_CONTAINER)) {
@@ -1773,7 +1773,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_RCC_BV_02() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                
                // Test control
                if (not (PICS_IVIM_GENERATION and PICS_IVIM_HAS_ROAD_CFG_CONTAINER)) {
@@ -1833,7 +1833,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_RCC_BV_03() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                
                // Test control
                if (not (PICS_IVIM_GENERATION and PICS_IVIM_HAS_ROAD_CFG_CONTAINER)) {
@@ -1895,7 +1895,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_TEXT_BV_01() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                
                // Test control
                if (not (PICS_IVIM_GENERATION and PICS_IVIM_HAS_TEXT_CONTAINER)) {
@@ -1952,7 +1952,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_TEXT_BV_02() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                
                // Test control
                if (not (PICS_IVIM_GENERATION and PICS_IVIM_HAS_TEXT_CONTAINER)) {
@@ -2005,7 +2005,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_TEXT_BV_03() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                
                // Test control
                if (not (PICS_IVIM_GENERATION and PICS_IVIM_HAS_TEXT_CONTAINER)) {
@@ -2060,7 +2060,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_TEXT_BV_04() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                
                // Test control
                if (not (PICS_IVIM_GENERATION and PICS_IVIM_HAS_TEXT_CONTAINER  and PICS_IVIM_HAS_LAYOUT_CONTAINER)) {
@@ -2120,7 +2120,7 @@ module ItsIvim_TpFunctions {
                const integer c_maxLoopValue := 10;
                timer t_minTransInterval := PICS_T_GENIVIMMIN * 0.90;
                var integer v_counter := 0;
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                var IvimInd v_rcvdMsg;
                
                // Test control
@@ -2209,7 +2209,7 @@ module ItsIvim_TpFunctions {
                const integer c_maxLoopValue := 10;
                timer t_maxTransInterval := PICS_T_GENIVIMMAX * 1.10;
                var integer v_counter := 0;
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                var IvimInd v_rcvdMsg;
                
                // Test control
@@ -2304,7 +2304,7 @@ module ItsIvim_TpFunctions {
                const float c_minTransInterval := int2float(c_repetitionInterval) * 0.85;
                const float c_maxTransInterval := int2float(c_repetitionInterval) * 1.15;
                var Times v_times := {};
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                var IvimInd v_rcvdMsg;
                
                // Test control
@@ -2394,7 +2394,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_EVRP_BV_02() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                var IvimInd v_rcvdMsg;
                
                // Test control
@@ -2465,7 +2465,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_EVTR_BV_01() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                var IvimInd v_rcvdMsg;
                var integer v_timeOffset := 4 * c_duration_4sec * 1000; //at most 4 repetitions
                
@@ -2531,7 +2531,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_EVTR_BV_02() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                var IvimInd v_rcvdMsg;
                
                // Test control
@@ -2596,7 +2596,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_EVTR_BV_03() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                var IvimInd v_rcvdMsg;
                
                // Test control
@@ -2661,7 +2661,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_EVTR_BV_04() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                var IvimInd v_rcvdMsg;
                
                // Test control
@@ -2730,7 +2730,7 @@ module ItsIvim_TpFunctions {
                
                // Local variables
                const UInt8 c_gnNhBtpB := 2;
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                
                // Test control
                if (not PICS_IVIM_GENERATION) {
@@ -2803,7 +2803,7 @@ module ItsIvim_TpFunctions {
//                
//                // Local variables
//                const UInt16 c_gnNhBtpBPort := 2006;
//                var IviIdentificationNumber v_iviIdentificationNumber;
//                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
//                
//                // Test control
//                if (not PICS_IVIM_GENERATION) {
@@ -2875,7 +2875,7 @@ module ItsIvim_TpFunctions {
                
                // Local variables
                const UInt8 c_gnHtUnc := 2;
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                
                // Test control
                if (not PICS_IVIM_GENERATION) {
@@ -2948,7 +2948,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_SEC_BV_01() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                var FncRetCode v_ret;
                
                // Test control
@@ -3003,7 +3003,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_SSP_BV_01() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                var FncRetCode v_ret;
                var octetstring v_iviSpValue := '000000'O;
                var IvimInd v_rcvdMsg;
@@ -3084,7 +3084,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_SSP_BO_01() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                var FncRetCode v_ret;
                var octetstring v_iviSpValue := '000000'O;
                var IvimInd v_rcvdMsg;
@@ -3135,7 +3135,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_SSP_BO_02() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                var FncRetCode v_ret;
                var octetstring v_iviSpValue := '000000'O;
                var IvimInd v_rcvdMsg;
@@ -3186,7 +3186,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_SSP_BO_03() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                var FncRetCode v_ret;
                var octetstring v_iviSpValue := '000000'O;
                var IvimInd v_rcvdMsg;
@@ -3237,7 +3237,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_SSP_BO_04() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                var FncRetCode v_ret;
                var octetstring v_iviSpValue := '000000'O;
                var IvimInd v_rcvdMsg;
@@ -3288,7 +3288,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_SSP_BO_05() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                var FncRetCode v_ret;
                var octetstring v_iviSpValue := '000000'O;
                var IvimInd v_rcvdMsg;
@@ -3339,7 +3339,7 @@ module ItsIvim_TpFunctions {
            function f_IS_IVI_GEN_SSP_BO_06() runs on ItsIvim {
                
                // Local variables
                var IviIdentificationNumber v_iviIdentificationNumber;
                var IVI.IviIdentificationNumber v_iviIdentificationNumber;
                var FncRetCode v_ret;
                var octetstring v_iviSpValue := '000000'O;
                var IvimInd v_rcvdMsg;
+2 −2
Original line number Diff line number Diff line
@@ -26,8 +26,8 @@ module ItsMapem_TpFunctions {
    import from ETSI_ITS_CDD language "ASN.1:1997" all;
    import from MAPEM_PDU_Descriptions language "ASN.1:1997" all;
    import from SPATEM_PDU_Descriptions language "ASN.1:1997" all;
    import from DSRC language "ASN.1:1997" all;
    import from DSRC_noCircular language "ASN.1:1997" all;
    import from ETSI_ITS_DSRC language "ASN.1:1997" all;
    //import from DSRC_noCircular language "ASN.1:1997" all;
    
    // LibItsMapemSpatem
    import from LibItsMapemSpatem_TestSystem all;
+1 −1
Original line number Diff line number Diff line
@@ -26,7 +26,7 @@ module ItsSpatem_TpFunctions {
    import from ETSI_ITS_CDD language "ASN.1:1997" all;
    import from MAPEM_PDU_Descriptions language "ASN.1:1997" all;
    import from SPATEM_PDU_Descriptions language "ASN.1:1997" all;
    import from DSRC language "ASN.1:1997" all;
    import from ETSI_ITS_DSRC language "ASN.1:1997" all;
    
    // LibItsMapemSpatem
    import from LibItsMapemSpatem_TestSystem all;
+1 −1
Original line number Diff line number Diff line
@@ -26,7 +26,7 @@ module ItsSrem_TpFunctions {
    import from ETSI_ITS_CDD language "ASN.1:1997" all;
    import from SREM_PDU_Descriptions language "ASN.1:1997" all;
    import from SSEM_PDU_Descriptions language "ASN.1:1997" all;
    import from DSRC language "ASN.1:1997" all;
    import from ETSI_ITS_DSRC language "ASN.1:1997" all;
    
    // LibItsSremSsem
    import from LibItsSremSsem_TestSystem all;
+1 −1
Original line number Diff line number Diff line
@@ -26,7 +26,7 @@ module ItsSsem_TpFunctions {
    import from ETSI_ITS_CDD language "ASN.1:1997" all;
    import from SREM_PDU_Descriptions language "ASN.1:1997" all;
    import from SSEM_PDU_Descriptions language "ASN.1:1997" all;
    import from DSRC language "ASN.1:1997" all;
    import from ETSI_ITS_DSRC language "ASN.1:1997" all;
    
    // LibItsSremSsem
    import from LibItsSremSsem_TestSystem all;
Loading