LibItsRtcmem_TypesAndValues.ttcn

module LibItsRtcmem_TypesAndValues {

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

    // LibIts
    import from ITS_Container language "ASN.1:1997" all;
    import from RTCMEM_PDU_Descriptions language "ASN.1:1997" all;
    import from DSRC language "ASN.1:1997" all;
    
    // LibItsCommon
    import from LibItsCommon_TypesAndValues all;
    
    group utPrimitives {
        
      /**
       * @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 UtRtcmemInitialize {
        Oct8 hashedId8 
      } with {
        variant "FIELDORDER(msb)"
      }

      /**
       * @desc Upper Tester results message of the Rtcmem/Ssem IUT
       * @member utRtcmemInitialize             -
       * @member utRtcmemTriggerResult          -
       * @member utRtcmemUpdateResult -
       * @member utRtcmemTerminationResult     -
       */
      type union UtRtcmemResults {
        boolean utRtcmemInitializeResult,
        boolean utRtcmemTriggerResult,
        boolean utRtcmemUpdateResult,
        boolean utRtcmemTerminationResult
      } with {
        variant ""
      } // End of type UtRtcmemResults
      
      /**
       * @desc Upper Tester message to request triggering of an event at IUT 
       */
      type record UtRtcmemTrigger {
          MsgCount msgCnt,
          RTCM_Revision rev,
          RTCMmessageList msgs,
          MinuteOfTheYear timeStamp optional,
          FullPositionVector anchorPoint optional,
          RTCMheader rtcmHeader optional
      } with {
        variant "FIELDORDER(msb)"
      }
      
      /**
       * @desc Upper Tester message to request updating of an event at IUT 
       */
      type record UtRtcmemUpdate {
          RTCMmessageList msgs,
          MinuteOfTheYear timeStamp optional,
          FullPositionVector anchorPoint optional,
          RTCMheader rtcmHeader optional
      } with {
        variant "FIELDORDER(msb)"
      }
      
      /**
       * @desc Upper Tester message to request termination of an event at IUT 
       */
      type record UtRtcmemTermination {
        MsgCount msgCnt
      } with {
        variant "FIELDORDER(msb)"
      }
      
      /**
       * @desc Upper Tester message to check event/status at IUT 
       */
      type record UtRtcmemEventInd {
        RTCMEM rtcmemMsg
      } with {
        encode (rtcmemMsg) "LibItsRtcmem_asn1"
      }
      
      /**
       * @desc List of Upper Tester messages to check event/status on RTCMEM IUT 
       */
      type record of UtRtcmemEventInd UtRtcmemEventIndList;
      
    } with {
        encode "UpperTester"
        variant ""
    }
    
} with {
  encode "LibItsRtcmem"
} // End of module LibItsRtcmem_TypesAndValues