Commit b439fb25 authored by berge's avatar berge
Browse files

Allow unexpected denm

parent 1277ef57

DENM/LibItsDenm_Functions.ttcn

+5 −0
Original line number Diff line number Diff line
@@ -60,6 +60,11 @@ module LibItsDenm_Functions { 
         * @desc The base default.

         */

        altstep a_default() runs on ItsFa {

        	[] camPort.receive(mw_denmInd(mw_denmPdu(mw_anyDenm))) { 

                log("*** a_default: INFO: DENM message received in default ***");

                vc_denmReceived := true;

                repeat;

            }

            [] denmPort.receive {

                log("*** a_default: ERROR: Received an unexpected message ***");

                f_selfOrClientSyncAndVerdict("error", e_error);

LibIts_Interface.ttcn

+1 −0
Original line number Diff line number Diff line
@@ -109,6 +109,7 @@ module LibIts_Interface { 
            //global variables

            var SequenceNo vc_sequenceNo := 0;

            var boolean vc_camReceived := false;

            var boolean vc_denmReceived := false;

            

        } // end ItsFa