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 initialize DENM IUT 
         */
        type record UtInitialize {
        }
        /**
         * @desc Upper Tester result message of the initialization request 
         */
        type boolean UtInitializeResult;
        
        /**
         * @desc Upper Tester message to request triggering of an event at IUT 
         */
        type record UtTrigger {
            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 UtTriggerResult;
        
        /**
         * @desc Upper Tester message to update an event at IUT 
         */
        type record UtUpdate {
            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 UtUpdateResult;
        
        /**
         * @desc Upper Tester message to request the termination of an event at IUT 
         */
        type record UtTermination {
            ActionID actionId
        }
        /**
         * @desc Upper Tester result message of termination of an event on DENM IUT 
         */
        type boolean UtTerminationResult;
        
        /**
         * @desc Upper Tester message to change the position of IUT. Values a relatives 
         */
        type record UtChangePosition {
            integer latitude,
            integer longitude,
            integer elevation
        }
        /**
         * @desc Upper Tester result message of change position request of IUT 
         */
        type boolean UtChangePositionResult;
        
        /**
         * @desc Upper Tester message to check event/status on DENM IUT 
         */
        type record UtEventInd {
            DENM denMsg
        }
        
        /**
         * @desc List of Upper Tester messages to check event/status on DENM IUT 
         */
        type record of UtEventInd UtEventIndList;
    
    } // end utPrimitives
}
with {
    encode "LibItsDenm_TypesAndValues"
}