/**
 *    @author   ETSI / STF484
 *    @version  $URL$
 *              $Id$
 *    @desc     Module containing types and values for MAPEM SPATEM
 *
 */
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;
    import from EfcDsrcGeneric language "ASN.1:1997" all;
    
    // LibItsCommon
    import from LibItsCommon_TypesAndValues all;
    
    group mapSpatConstants {
        
    } // end group mapSpatConstants
    
    group utPrimitives {
        
        /**
         * @desc Upper Tester message to request triggering of an event at IUT 
         */
        type record UtMapemSpatemTrigger {
            Event    event
        }
        type enumerated Event {
            startTLMService                  (0),
            stopTLMService                   (1),
            mapemNewContent                  (2),
            mapemNewContentWithFragmentation (3),
            spatemNewContent                 (4),
            mapemRepL10s                     (5),
            mapemRepG10s                     (6)
        }
        /**
         * @desc Upper Tester result message of request of triggering of an event at IUT 
         */
        type boolean UtMapemSpatemTriggerResult;
        
        /**
         * @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"
    }

} // End of module LibItsMapemSpatem_TypesAndValues