LibItsMapemSpatem_TypesAndValues.ttcn 4.11 KB
Newer Older
garciay's avatar
garciay committed
 *    @author   ETSI / STF484 / STF517
Yann Garcia's avatar
Yann Garcia committed
 *    @version  $Url: https://oldforge.etsi.org/svn/LibIts/tags/20170222_STF527_Final/ttcn/MapemSpatem/LibItsMapemSpatem_TypesAndValues.ttcn $
 *              $Id: LibItsMapemSpatem_TypesAndValues.ttcn 1307 2016-12-13 07:51:14Z garciay $
 *    @desc     Module containing types and values for MAPEM SPATEM
garciay's avatar
garciay committed
 *    @copyright   ETSI Copyright Notification
 *                 No part may be reproduced except as authorized by written permission.
 *                 The copyright and the foregoing restriction extend to reproduction in all media.
 *                 All rights reserved.
 *
 */
module LibItsMapemSpatem_TypesAndValues {

    // LibCommon
    import from LibCommon_BasicTypesAndValues all;
    import from LibCommon_DataStrings all;

    // LibIts
    import from ITS_Container 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;
Yann Garcia's avatar
Yann Garcia committed
    import from DSRC language "ASN.1:1997" all;
    import from DSRC_REGION_noCircular language "ASN.1:1997" all;
    import from EfcDsrcGeneric language "ASN.1:1997" all;
    
    // LibItsCommon
    import from LibItsCommon_TypesAndValues all;
    
    group mapSpatConstants {
        
        const charstring c_compIut := "IUT";
        const charstring c_compMTC := "MTC";
        const charstring c_compMap := "PtcMap";
        const charstring c_compSpat := "PtcSpat";
        
    } // end group mapSpatConstants
    
    group utPrimitives {
        
Yann Garcia's avatar
Yann Garcia committed
        /**
         * @desc Upper Tester message to initialize IUT 
         * @member hashedId8 In case of secured mode set, hashedId8 indicate which certificate the IUT shall use
         */
        type record UtMapemSpatemInitialize {
            Oct8 hashedId8 
        } with {
            variant "FIELDORDER(msb)"
        }
        
        /**
         * @desc Upper Tester results message of the MAPEM/SPATEM IUT
         * @member utMapemSpatemInitialize             -
         * @member utMapemSpatemTriggerResult          -
         */
        type union UtMapemSpatemResults {
            boolean utMapemSpatemInitializeResult,
            boolean utMapemSpatemTriggerResult
        } with {
            variant ""
        } // End of type UtMapemSpatemResults
        
        /**
         * @desc Upper Tester message to request triggering of an event at IUT 
         */
        type record UtMapemSpatemTrigger {
Yann Garcia's avatar
Yann Garcia committed
            Event    event,
Yann Garcia's avatar
Yann Garcia committed
            IntersectionID intersectionID optional,
            RegulatorySpeedLimit regulatorySpeedLimit optional/*,
            Latitude latitude optional*/
Yann Garcia's avatar
Yann Garcia committed
        } with {
            variant "FIELDORDER(msb)"
Yann Garcia's avatar
Yann Garcia committed
            mapProfile0           (0),
            mapProfile1           (1),
            mapProfile2           (2),
            spatProfile0          (3),
            spatProfile1          (4),
            spatProfile2          (5),
            spatProfile3          (6),
            tlmPedestrianDetected (10),
            stopTLMService        (20)
Yann Garcia's avatar
Yann Garcia committed
        } with {
          variant "FIELDLENGTH(8)"
        }
        
        /**
         * @desc Upper Tester message to check event/status at IUT 
         */
        type record UtMapemEventInd {
          MAPEM mapeMsg
          } with {
          encode (mapeMsg) "LibItsMapemSpatem_asn1"
        }
        
        /**
         * @desc Upper Tester message to check event/status at IUT 
         */
        type record UtSpatemEventInd {
            SPATEM spateMsg
        } with {
            encode (spateMsg) "LibItsMapemSpatem_asn1"
        }
        
        /**
         * @desc List of Upper Tester messages to check event/status on MAPEM SPATEM IUT 
         */
        type record of UtMapemEventInd UtMapemEventIndList;
        
        /**
         * @desc List of Upper Tester messages to check event/status on MAPEM SPATEM IUT 
         */
        type record of UtSpatemEventInd UtSpatemEventIndList;
    } with {
        encode "UpperTester"
        variant ""
} with {
  encode "LibItsMapemSpatem"
} // End of module LibItsMapemSpatem_TypesAndValues