Commit d4250ed6 authored by berge's avatar berge
Browse files

Fixed some issues in Denm

parent df8f1bd0

ttcn/DENM/LibItsDenm_Functions.ttcn

+7 −3
Original line number Original line Diff line number Diff line
@@ -351,14 +351,18 @@ module LibItsDenm_Functions { 
         * @return 

         * @return 

         */

         */

        function f_awaitDenMessageOut(in template (present) DenmInd p_rcvMsg, out template (value) DenmInd p_rcvdMsg) runs on ItsFa return FncRetCode {

        function f_awaitDenMessageOut(in template (present) DenmInd p_rcvMsg, out template (value) DenmInd p_rcvdMsg) runs on ItsFa return FncRetCode {

            var FncRetCode v_ret := e_success;

            var FncRetCode v_ret := e_timeout;

            

            

            tc_wait.start;

            tc_ac.start;

            alt {

            alt {

                [] denmPort.receive(p_rcvMsg) -> value p_rcvdMsg {

                [] denmPort.receive(p_rcvMsg) -> value p_rcvdMsg {

                    tc_wait.stop;

                    tc_ac.stop;

                    v_ret := e_success;

                    v_ret := e_success;

                }

                }

                [] tc_ac.timeout {

                	log("Timeout while awaiting the reception of a message");

                	v_ret := e_timeout;

           		}

            }

            }

            

            

            return v_ret;

            return v_ret;