From 749cca94b6e64d1ea4ce570359770a39fb4db5bd Mon Sep 17 00:00:00 2001 From: berge Date: Tue, 13 Jul 2010 07:25:58 +0000 Subject: [PATCH] Added TC_DEN_EXTI_BV_03 --- ttcn/DENM/LibItsDenm_Templates.ttcn | 3 ++- ttcn/LibIts_Interface.ttcn | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/ttcn/DENM/LibItsDenm_Templates.ttcn b/ttcn/DENM/LibItsDenm_Templates.ttcn index f8cbf61d..d42959b8 100644 --- a/ttcn/DENM/LibItsDenm_Templates.ttcn +++ b/ttcn/DENM/LibItsDenm_Templates.ttcn @@ -24,7 +24,8 @@ module LibItsDenm_Templates { template DenmInd mw_denmInd( template (present) DenmPdu p_denMsg ) := { - msgIn := p_denMsg + msgIn := p_denMsg, + receptionTime := ? } } // end primitives diff --git a/ttcn/LibIts_Interface.ttcn b/ttcn/LibIts_Interface.ttcn index c853a2a7..683f7b63 100644 --- a/ttcn/LibIts_Interface.ttcn +++ b/ttcn/LibIts_Interface.ttcn @@ -314,7 +314,8 @@ module LibIts_Interface { * @member denmMsg */ type record DenmInd { - DenmPdu msgIn + DenmPdu msgIn, + TimeStamp receptionTime } /** -- GitLab