Commit bc85e775 authored by berge's avatar berge
Browse files

Implemented TC_DEN_EXTI_BV_01

parent 1cbd23fd
Loading
Loading
Loading
Loading
+30 −1
Original line number Original line Diff line number Diff line
@@ -222,6 +222,23 @@ module LibItsDenm_Functions {
            return v_ret;
            return v_ret;
        }
        }


        /**
         * @desc Triggers event with expiration time information field included from the application layer
         * @param p_event The event cause and subcause.
         * @param p_expirationTime The expiration time.
         * @return 
         */        
        function f_triggerEventExpirationTime(
            template (value) Situation p_event, 
            template (value) TimeStamp p_expirationTime
            ) runs on ItsFa return FncRetCode {
            var FncRetCode v_ret := e_success;
            
            //TODO raise action or send message via port
            
            return v_ret;
        }
        
        /**
        /**
         * @desc Triggers event with additional Event Characteristics information field included from the application layer
         * @desc Triggers event with additional Event Characteristics information field included from the application layer
         * @param p_event The event cause and subcause.
         * @param p_event The event cause and subcause.
@@ -333,7 +350,7 @@ module LibItsDenm_Functions {
    group getFunctions {
    group getFunctions {
        
        
        /**
        /**
         * @desc Gets the station identifier to be used.
         * @desc Gets the station identifier of IUT.
         * @return 
         * @return 
         */
         */
        function f_getStationId() return StationID {
        function f_getStationId() return StationID {
@@ -356,6 +373,18 @@ module LibItsDenm_Functions {
            return v_eventPos;
            return v_eventPos;
        }
        }
        
        
        /**
         * @desc Gets the current time
         * @return 
         */
        function f_getCurrentTime() return TimeStamp {
            var TimeStamp v_timeStamp;
            
            //TODO get the value from PIXIT or ...
            
            return v_timeStamp;
        }
        
    } // end group getFunctions
    } // end group getFunctions
    
    
} // end LibItsDenm_Functions
} // end LibItsDenm_Functions
 No newline at end of file
+8 −0
Original line number Original line Diff line number Diff line
@@ -129,6 +129,14 @@ module LibItsDenm_Templates {
            isNegation := p_isNeg
            isNegation := p_isNeg
        }
        }
        
        
        template DecentralizedSituationManagement mw_denmMgmtConWithExpiryTime(
            template (present) DataVersion p_dataVersion,            
            template (value) StationID p_stationId,
            template (present) DecentralizedSituationManagement.expiryTime p_expiryTime        
        	) modifies mw_denmMgmtCon := {
            expiryTime := p_expiryTime
        }
        
    } // end group DecentralizedSituationManagementTemplates
    } // end group DecentralizedSituationManagementTemplates
    
    
    group DecentralizedSituationTemplates {
    group DecentralizedSituationTemplates {
+7 −0
Original line number Original line Diff line number Diff line
@@ -103,4 +103,11 @@ module LibItsDenm_TypesAndValues {
        
        
    } // end group denmConstants
    } // end group denmConstants
    
    
    group denmTimeConstants {
        
        // in milliseconds
        const TimeStamp c_duration20s := 20000;
        
    } // end denmTimeConstants
    
}
}
 No newline at end of file