From 117647e631498cdefd681f510368f98c3091ae35 Mon Sep 17 00:00:00 2001 From: reinaortega <miguelangel.reinaortega@etsi.org> Date: Fri, 12 Jul 2019 04:15:58 +0200 Subject: [PATCH] f_CSE_DMR_001 - Fixed to use f_send function Signed-off-by: reinaortega <miguelangel.reinaortega@etsi.org> --- OneM2M_PermutationFunctions.ttcn | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/OneM2M_PermutationFunctions.ttcn b/OneM2M_PermutationFunctions.ttcn index 7081b52..9c2ee01 100644 --- a/OneM2M_PermutationFunctions.ttcn +++ b/OneM2M_PermutationFunctions.ttcn @@ -2362,30 +2362,30 @@ module OneM2M_PermutationFunctions { tc_ac.stop; setverdict(pass, __SCOPE__ & ": Request primitive retargeted successfully"); f_processCreateRequestPrimitive(vc_request.primitive.requestPrimitive); - mccPortIn.send(m_response(vc_response.primitive.responsePrimitive)); + f_send(e_mcc_in_port, m_response(vc_response.primitive.responsePrimitive)); } [v_responseStatusCode == int2000] mccPortIn.receive(mw_request(mw_retrieve(v_targetResourceAddress))) -> value vc_request { tc_ac.stop; setverdict(pass, __SCOPE__ & ": Request primitive retargeted successfully"); f_processRetrieveRequestPrimitive(vc_request.primitive.requestPrimitive); - mccPortIn.send(m_response(vc_response.primitive.responsePrimitive)); + f_send(e_mcc_in_port, m_response(vc_response.primitive.responsePrimitive)); } [v_responseStatusCode == int2004] mccPortIn.receive(mw_request(mw_update(-, v_targetResourceAddress))) -> value vc_request { tc_ac.stop; setverdict(pass, __SCOPE__ & ": Request primitive retargeted successfully"); f_processUpdateRequestPrimitive(vc_request.primitive.requestPrimitive); - mccPortIn.send(m_response(vc_response.primitive.responsePrimitive)); + f_send(e_mcc_in_port, m_response(vc_response.primitive.responsePrimitive)); } [v_responseStatusCode == int2002] mccPortIn.receive(mw_request(mw_delete(v_targetResourceAddress))) -> value vc_request { tc_ac.stop; setverdict(pass, __SCOPE__ & ": Request primitive retargeted successfully"); f_processDeleteRequestPrimitive(vc_request.primitive.requestPrimitive); - mccPortIn.send(m_response(vc_response.primitive.responsePrimitive)); + f_send(e_mcc_in_port, m_response(vc_response.primitive.responsePrimitive)); } [] mccPortIn.receive(mw_request(?)) -> value vc_request { tc_ac.stop; setverdict(fail, __SCOPE__ & ": Wrong request received"); - mccPortIn.send(m_response(m_responsePrimitive(int4000, vc_request.primitive.requestPrimitive.requestIdentifier))); + f_send(e_mcc_in_port, m_response(m_responsePrimitive(int4000, vc_request.primitive.requestPrimitive.requestIdentifier))); } [] tc_ac.timeout { setverdict(fail, __SCOPE__ & ": No answer while retargeting request"); -- GitLab