LibItsMapemSpatem_TypesAndValues.ttcn 3.66 KB
Newer Older
garciay's avatar
garciay committed
 *    @author   ETSI / STF484 / STF517
 *    @version  $URL$
 *              $Id$
 *    @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 {
        
    } // 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,
            IntersectionID intersectionID,
            RegulatorySpeedLimit regulatorySpeedLimit,
            Latitude latitude
              
        } with {
            variant "FIELDORDER(msb)"
garciay's avatar
garciay committed
            startTLMService                  (0),
            stopTLMService                   (1),
garciay's avatar
garciay committed
            mapemNewContent                  (2),
            mapemNewContentWithFragmentation (3),
            spatemNewContent                 (4),
garciay's avatar
garciay committed
            mapemRepL10s                     (5),
            mapemRepG10s                     (6)
        }
        
        /**
         * @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