Fixed UtDefault (76785108) · Commits · TTCN-3 Libraries / LibIts

ttcn/DENM/LibItsDenm_Functions.ttcn

+37 −14

Original line number	Diff line number	Diff line
		@@ -37,9 +37,14 @@ module LibItsDenm_Functions {
		tc_wait.stop;
		log("* " & __SCOPE__ & ": INFO: IUT initialized *");
		}
		[] a_utDefault();
		[] tc_wait.timeout {
		log("* " & __SCOPE__ & ": INFO: Could not receive expected UT message from IUT in time *");
		f_selfOrClientSyncAndVerdict("error", e_timeout);
		}
		[else] { // Shortcut defaults
		repeat;
		}
		}

		}

		/**
		@@ -54,7 +59,13 @@ module LibItsDenm_Functions {
		[] utPort.receive(UtDenmTriggerResult:?) -> value v_actionId {
		tc_wait.stop;
		}
		[] a_utDefault();
		[] tc_wait.timeout {
		log("* " & __SCOPE__ & ": INFO: Could not receive expected UT message from IUT in time *");
		f_selfOrClientSyncAndVerdict("error", e_timeout);
		}
		[else] { // Shortcut defaults
		repeat;
		}
		}

		return v_actionId;
		@@ -72,7 +83,13 @@ module LibItsDenm_Functions {
		[] utPort.receive(UtDenmUpdateResult:?) -> value v_actionId {
		tc_wait.stop;
		}
		[] a_utDefault();
		[] tc_wait.timeout {
		log("* " & __SCOPE__ & ": INFO: Could not receive expected UT message from IUT in time *");
		f_selfOrClientSyncAndVerdict("error", e_timeout);
		}
		[else] { // Shortcut defaults
		repeat;
		}
		}

		return v_actionId;
		@@ -89,7 +106,13 @@ module LibItsDenm_Functions {
		[] utPort.receive(UtDenmTerminationResult:?) {
		tc_wait.stop;
		}
		[] a_utDefault();
		[] tc_wait.timeout {
		log("* " & __SCOPE__ & ": INFO: Could not receive expected UT message from IUT in time *");
		f_selfOrClientSyncAndVerdict("error", e_timeout);
		}
		[else] { // Shortcut defaults
		repeat;
		}
		}
		}

		@@ -106,7 +129,13 @@ module LibItsDenm_Functions {
		[] utPort.receive(UtChangePositionResult:?) {
		tc_wait.stop;
		}
		[] a_utDefault();
		[] tc_wait.timeout {
		log("* " & __SCOPE__ & ": INFO: Could not receive expected UT message from IUT in time *");
		f_selfOrClientSyncAndVerdict("error", e_timeout);
		}
		[else] { // Shortcut defaults
		repeat;
		}
		}
		}

		@@ -184,13 +213,6 @@ module LibItsDenm_Functions {
		log("* " & __SCOPE__ & ": INFO: Received unexpected UT message from IUT *");
		f_selfOrClientSyncAndVerdict("error", e_error);
		}
		[] tc_wait.timeout {
		log("* " & __SCOPE__ & ": INFO: Could not receive expected UT message from IUT in time *");
		f_selfOrClientSyncAndVerdict("error", e_timeout);
		}
		[else] { // Shortcut defaults
		repeat;
		}
		}

		} // end group altsteps
		@@ -202,6 +224,7 @@ module LibItsDenm_Functions {
		*/
		function f_prDefault() runs on ItsDenm {
		vc_default := activate(a_default());
		activate(a_utDefault());
		}

		/**