LibItsSremSsem_TypesAndValues.ttcn 3.87 KB
Newer Older
 *    @author   ETSI  STF517 / STF581 / TTF002
Yann Garcia's avatar
Yann Garcia committed
 *    @version  $Url: https://oldforge.etsi.org/svn/LibIts/tags/20170222_STF527_Final/ttcn/SremSsem/LibItsSremSsem_TypesAndValues.ttcn $
 *              $Id: LibItsSremSsem_TypesAndValues.ttcn 1307 2016-12-13 07:51:14Z garciay $
 *    @desc     Module containing types and values for SREM SSEM
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 LibItsSremSsem_TypesAndValues {

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

    // LibIts
    import from ITS_Container 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;
garciay's avatar
garciay committed
    import from DSRC language "ASN.1:1997" all;
    import from DSRC_REGION_noCircular language "ASN.1:1997" all;
    
    // LibItsCommon
    import from LibItsCommon_TypesAndValues all;
    
    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 UtSremInitialize {
        Oct8 hashedId8 
Yann Garcia's avatar
Yann Garcia committed
      } with {
        variant "FIELDORDER(msb)"
Yann Garcia's avatar
Yann Garcia committed
      }

      /**
       * @desc Upper Tester results message of the Srem/Ssem IUT
       * @member utSremInitialize
       * @member utSremTriggerResult
       * @member utSremUpdateResult
       * @member utSremCancelationResult
Yann Garcia's avatar
Yann Garcia committed
      type union UtSremResults {
        boolean utSremInitializeResult,
        boolean utSremTriggerResult,
        boolean utSremUpdateResult,
        boolean utSremCancelationResult
      } with {
Yann Garcia's avatar
Yann Garcia committed
        variant ""
      } // End of type UtSremResults
Yann Garcia's avatar
Yann Garcia committed
      
      /**
       * @desc Upper Tester message to request triggering of an event at IUT 
       */
      type record UtSremTrigger {
        BasicVehicleRole         basicVehicleRole,
        RequestImportanceLevel   requestImportanceLevel,
        IntersectionID           intersectionId
Yann Garcia's avatar
Yann Garcia committed
      } with {
        variant "FIELDORDER(msb)"
      }
      
      type record of UtSremTrigger UtSremTriggerList;
      
      /**
       * @desc Upper Tester message to request updating of an event at IUT 
       */
      type record UtSremUpdate {
        RequestID                requestID,
        BasicVehicleRole         basicVehicleRole,
        RequestImportanceLevel   requestImportanceLevel
      } with {
        variant "FIELDORDER(msb)"
      }
      
      /**
       * @desc Upper Tester message to request cancelation of an event at IUT 
       */
      type record UtSremCancelation {
        RequestID requestID
      } with {
Yann Garcia's avatar
Yann Garcia committed
        variant "FIELDORDER(msb)"
      }
      
      /**
       * @desc Upper Tester message to check event/status at IUT 
       */
      type record UtSremEventInd {
        SREM sreMsg
      } with {
        encode (sreMsg) "LibItsSremSsem_asn1"
      }
      
      /**
       * @desc Upper Tester message to check event/status at IUT 
       */
      type record UtSsemEventInd {
        SSEM sseMsg
      } with {
        encode (sseMsg) "LibItsSremSsem_asn1"
      }
      
      /**
Yann Garcia's avatar
Yann Garcia committed
       * @desc List of Upper Tester messages to check event/status on SREM IUT 
Yann Garcia's avatar
Yann Garcia committed
       */
      type record of UtSremEventInd UtSremEventIndList;
      
      /**
Yann Garcia's avatar
Yann Garcia committed
       * @desc List of Upper Tester messages to check event/status on SSEM IUT 
Yann Garcia's avatar
Yann Garcia committed
       */
      type record of UtSsemEventInd UtSsemEventIndList;
      
      type record of RequestID RequestIDList;
      
        variant ""
} with {
  encode "LibItsSremSsem"
} // End of module LibItsSremSsem_TypesAndValues