Mapping TcommMessage.commMessageHaltPort into the Regression_Test_java

Signed-off-by: balaskoa <Jeno.Balasko@ericsson.com>
Change-Id: Ie407edbd2eaaedd85b7aafb282e64c09466a1821

Regression_Test_java/parallel_experimental.cfg

+#### parallel_experimental ###
+#This cfg file is intended to collect test which 
+# - can be compiled and
+# - running in parallel mode with  passed result 
+# Not compilable or not runnable tests are excluded from the project.
+# Test running only in single mode are collected separately.
+# Status: 120 pass, 0 error (erroneous test are commented out)
+#TODO: put the wrong tests to another cfg file!
+[MODULE_PARAMETERS]
+# This section shall contain the values of all parameters that are defined in your TTCN-3 modules.
+
+[ORDERED_INCLUDE]
+#"src/ERC/config.cfg"  #fails in single mode, cfg file parse problems, 4 pass in parallel mode
+#"src/text2ttcn_nolegacy/text2ttcn_2.cfg" #not necessary, see in single mode
+[EXECUTE]
+TcommMessage.commMessageHaltPort #only in parallel, 3 tc commented out TODO: repair these two tc in TcommMessage!
+
+[MAIN_CONTROLLER]
+# The options herein control the behavior of MC.
+TCPPort := 7339
+#KillTimer := 10.0
+NumHCs := 1
+# LocalAddress := 
+
+[LOGGING]
+# In this section you can specify the name of the log file and the classes of events
+# you want to log into the file or display on console (standard error).
+
+LogFile := "logs/%e.%h-%r_parallel.%s"
+FileMask := LOG_ALL #|TESTCASE | STATISTICS #|LOG_ALL #| DEBUG | MATCHING
+ConsoleMask := ERROR | WARNING | TESTCASE | STATISTICS #| PORTEVENT | USER
+AppendFile := No
+TimeStampFormat := Time
+LogEventTypes := No
+SourceInfoFormat := Single
+LogEntityName := Yes
\ No newline at end of file

Regression_Test_java/src/commMessage/TcommMessage.ttcn

@@ -1586,6 +1586,32 @@ testcase tc_bug_532060() runs on C {
   setverdict(pass);
 }
 
+
+function commMessageHaltPort_behavior() runs on commMessage_comp1 {
+  Port1.send(1);
+}
+
+testcase commMessageHaltPort() runs on commMessage_comp1 {
+  var commMessage_comp1 comp := commMessage_comp1.create alive;
+  connect(self:Port1, comp:Port1);
+  comp.start(commMessageHaltPort_behavior());
+  comp.done;
+  Port1.halt;
+  comp.start(commMessageHaltPort_behavior());
+  comp.done;
+  timer t;
+  t.start(0.5);
+  alt {
+    [] Port1.receive(integer: ?) { t.stop; }
+    [] t.timeout { setverdict(fail, "Message 1 not received."); }
+  }
+  t.start(0.5);
+  alt {
+    [] Port1.receive(integer: ?) { setverdict(fail, "Message 2 not discarded."); }
+    [] t.timeout { setverdict(pass); }
+  }
+}
+
 control {
  execute(commMessageIntegerEncode());
  execute(commMessageValue());
@@ -1628,5 +1654,6 @@ control {
  execute(commMessageReceiveAnyOrOmit());
  execute(commMessageBehaviorFunctionParams());
  execute(tc_bug_532060());
+ //execute(commMessageHaltPort());
 }
 }