LibItsMapemSpatem_TypesAndValues.ttcn 2.28 KB
Newer Older
/**
 *    @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),
            spatemNewContent    (2),
            mapemNewContent     (3),
            mapemRepL10s        (4),
            mapemRepG10s        (5)
        }
        /**
         * @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