Commit d32f096e authored by tepelmann's avatar tepelmann
Browse files

Fixed usage of sizeof to correct usage of lengthof. 

Using more flexible list types for SituationContainer/ActionID instead of arrays.
Moved definition of UtEventIndList from test system to types and values module.
Further T3doc.
parent dc249209

ttcn/DENM/LibItsDenm_TestSystem.ttcn

+0 −2
Original line number Original line Diff line number Diff line
@@ -67,8 +67,6 @@ module LibItsDenm_TestSystem { 
        

        

    } // End of group componentDefinitions

    } // End of group componentDefinitions

    

    

    type record of UtEventInd UtEventIndList;

    

    /**

    /**

     * @desc Test component for ITS Facility layer 

     * @desc Test component for ITS Facility layer 

     */

     */

ttcn/DENM/LibItsDenm_TypesAndValues.ttcn

+40 −17
Original line number Original line Diff line number Diff line
@@ -23,6 +23,19 @@ module LibItsDenm_TypesAndValues { 
        

        

    } // end group actionTypes

    } // 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 {

    group denmConstants {

        

        

        const ItsPduHeader.protocolVersion c_protocolVersionDenm := 1;

        const ItsPduHeader.protocolVersion c_protocolVersionDenm := 1;
@@ -45,16 +58,6 @@ module LibItsDenm_TypesAndValues { 
        

        

    } // end group denmConstants

    } // end group denmConstants

    

    

    group denmTimeConstants {

        

        // in milliseconds

        const TimestampIts c_duration20000ms := 20000;

        const TimestampIts c_duration40000ms := 40000;

        

        const float c_eventFrequencyMultiplier := 0.1;

        

    } // end denmTimeConstants

    

    group utPrimitives {

    group utPrimitives {

        

        

        /**

        /**
@@ -62,10 +65,13 @@ module LibItsDenm_TypesAndValues { 
         */

         */

        type record UtInitialize {

        type record UtInitialize {

        }

        }

        /**

         * @desc Upper Tester result message of the initialization request 

         */

        type boolean UtInitializeResult;

        type boolean UtInitializeResult;

        

        

        /**

        /**

         * @desc Upper Tester message to trigger an action on DENM IUT 

         * @desc Upper Tester message to request triggering of an event at IUT 

         */

         */

        type record UtTrigger {

        type record UtTrigger {

            TimestampIts detectionTime,

            TimestampIts detectionTime,
@@ -80,10 +86,13 @@ module LibItsDenm_TypesAndValues { 
            TransmissionInterval transmissionInterval optional,

            TransmissionInterval transmissionInterval optional,

            boolean keepAliveForwardingRequest optional

            boolean keepAliveForwardingRequest optional

        }

        }

        /**

         * @desc Upper Tester result message of request of triggering of an event at IUT 

         */

        type ActionID UtTriggerResult;

        type ActionID UtTriggerResult;

        

        

        /**

        /**

         * @desc Upper Tester message to trigger an action on DENM IUT 

         * @desc Upper Tester message to update an event at IUT 

         */

         */

        type record UtUpdate {

        type record UtUpdate {

            ActionID actionId,

            ActionID actionId,
@@ -98,14 +107,20 @@ module LibItsDenm_TypesAndValues { 
            TransmissionInterval transmissionInterval optional,

            TransmissionInterval transmissionInterval optional,

            boolean keepAliveForwardingRequest optional

            boolean keepAliveForwardingRequest optional

        }

        }

        /**

         * @desc Upper Tester result message of an update request of an event on DENM IUT 

         */

        type ActionID UtUpdateResult;

        type ActionID UtUpdateResult;

        

        

        /**

        /**

         * @desc Upper Tester message to trigger an action on DENM IUT 

         * @desc Upper Tester message to request the termination of an event at IUT 

         */

         */

        type record UtTermination {

        type record UtTermination {

            ActionID actionId

            ActionID actionId

        }

        }

        /**

         * @desc Upper Tester result message of termination of an event on DENM IUT 

         */

        type boolean UtTerminationResult;

        type boolean UtTerminationResult;

        

        

        /**

        /**
@@ -116,6 +131,9 @@ module LibItsDenm_TypesAndValues { 
            integer longitude,

            integer longitude,

            integer elevation

            integer elevation

        }

        }

        /**

         * @desc Upper Tester result message of change position request of IUT 

         */

        type boolean UtChangePositionResult;

        type boolean UtChangePositionResult;

        

        

        /**

        /**
@@ -125,6 +143,11 @@ module LibItsDenm_TypesAndValues { 
            DENM denMsg

            DENM denMsg

        }

        }

        

        

        /**

         * @desc List of Upper Tester messages to check event/status on DENM IUT 

         */

        type record of UtEventInd UtEventIndList;

    

    } // end utPrimitives

    } // end utPrimitives

}

}

with {

with {