LibItsSremSsem_TypesAndValues.ttcn

/**
 *    @author   ETSI / STF517
 *    @version  $URL$
 *              $Id$
 *    @desc     Module containing types and values for SREM SSEM
 *    @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;
    import from DSRC language "ASN.1:1997" all;
    
    // LibItsCommon
    import from LibItsCommon_TypesAndValues all;
    
    group mapSpatConstants {
        
    } // end group mapSpatConstants
    
    group utPrimitives {
        
      /**
       * @desc Upper Tester mes`sage to initialize IUT 
       * @member hashedId8 In case of secured mode set, hashedId8 indicate which certificate the IUT shall use
       */
      type record UtSremInitialize {
        Oct8 hashedId8 
        } with {
        variant "FIELDORDER(msb)"
        }

      /**
       * @desc Upper Tester results message of the Srem/Ssem IUT
       * @member utSremInitialize             -
       * @member utSremTriggerResult          -
       * @member utAutoInteropTriggerResult -
       * @member utSremChangePositionResult     -
       */
    type union UtSremResults {
      boolean utSremInitializeResult,
        boolean utSremTriggerResult,
        boolean utSremUpdateResult
      } with {
      variant ""
      } // End of type UtSremResults
	
        /**
         * @desc Upper Tester message to request triggering of an event at IUT 
         */
        type record UtSremTrigger {
            BasicVehicleRole         basicVehicleRole,
            RequestImportanceLevel   requestImportanceLevel
            } 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 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"
        }
        
        /**
         * @desc List of Upper Tester messages to check event/status on MAPEM SPATEM IUT 
         */
        type record of UtSremEventInd UtSremEventIndList;
        
        /**
         * @desc List of Upper Tester messages to check event/status on MAPEM SPATEM IUT 
         */
        type record of UtSsemEventInd UtSsemEventIndList;
        
        type record of RequestID RequestIDList;
        
    } with {
        encode "UpperTester"
        variant ""
    }

} with {
  encode "LibItsSremSsem"
} // End of module LibItsSremSsem_TypesAndValues