LibItsDenm_TypesAndValues.ttcn

/**
 *  @author     ETSI / STF449
 *  @version    $URL$
 *              $Id$
 *  @desc       Module containing type and value definitions for DENM
 *
 */
module LibItsDenm_TypesAndValues {
    
    //LibIts
    import from DENM_PDU_Descriptions language "ASN.1:1997" all;
    import from ITS_Container language "ASN.1:1997" all;
    
    group actionTypes {
        
        /**
         * @desc Indication of whether event cancellation has to be raised by the test system or iut
         */
        type enumerated Trigger {
            e_ets(0),
            e_iut(1)
        }
        
    } // end group actionTypes
    
    group otherTypes {
        
        /**
         * @desc List of SituationContainers used in behaviours 
         */
        type record of SituationContainer SituationContainerList;
        
        /**
         * @desc List of ActionIDs used in behaviours 
         */
        type record of ActionID ActionIDList;
    }
    
    group denmConstants {
        
        const ItsPduHeader.protocolVersion c_protocolVersionDenm := 1;
        
        const ItsPduHeader.messageID c_messageId := 1;
        
        const ValidityDuration c_validityDuration_10sec := 10;
        const ValidityDuration c_defaultValidity := 600;
        
        const ValidityDuration c_repetitionDuration_5sec := 5;
        
        const TransmissionInterval c_transmissionInterval_1sec := 1000;
        const TransmissionInterval c_transmissionInterval_2sec := 2000;
        const TransmissionInterval c_transmissionInterval_4sec := 4000;
        const TransmissionInterval c_transmissionInterval_5sec := 5000;
        const TransmissionInterval c_transmissionInterval_10sec := 10000;
        
    } // end group denmConstants
    
    group utPrimitives {
        
        /**
         * @desc Upper Tester message to request triggering of an event at IUT 
         */
        type record UtDenmTrigger {
            TimestampIts detectionTime,
            ValidityDuration validityDuration optional,
            ValidityDuration repetitionDuration optional,
            SituationContainer situtation,
            LocationContainer location,
            AlacarteContainer alacarte optional,
            RelevanceDistance relevanceDistance,
            RelevanceTrafficDirection relevanceTrafficDirection,
            integer trafficClass,
            TransmissionInterval transmissionInterval optional,
            boolean keepAliveForwardingRequest optional
        }
        /**
         * @desc Upper Tester result message of request of triggering of an event at IUT 
         */
        type ActionID UtDenmTriggerResult;
        
        /**
         * @desc Upper Tester message to update an event at IUT 
         */
        type record UtDenmUpdate {
            ActionID actionId,
            TimestampIts detectionTime,
            ValidityDuration validityDuration optional,
            SituationContainer situation optional,
            LocationContainer location optional,
            AlacarteContainer alacarte optional,
            RelevanceDistance relevanceDistance optional,
            RelevanceTrafficDirection relevanceTrafficDirection optional,
            integer trafficClass optional,
            TransmissionInterval transmissionInterval optional,
            boolean keepAliveForwardingRequest optional
        }
        /**
         * @desc Upper Tester result message of an update request of an event on DENM IUT 
         */
        type ActionID UtDenmUpdateResult;
        
        /**
         * @desc Upper Tester message to request the termination of an event at IUT 
         */
        type record UtDenmTermination {
            ActionID actionId
        }
        /**
         * @desc Upper Tester result message of termination of an event on DENM IUT 
         */
        type boolean UtDenmTerminationResult;
        
        /**
         * @desc Upper Tester message to check event/status on DENM IUT 
         */
        type record UtDenmEventInd {
            DENM denMsg
        }
        
        /**
         * @desc List of Upper Tester messages to check event/status on DENM IUT 
         */
        type record of UtDenmEventInd UtDenmEventIndList;
    
    } // end utPrimitives
}
with {
    encode "LibItsDenm"
}