Merge pull request #102 from eadrkir/master

Added tests

conformance_test/core_language_tests/negative_tests/06_types_and_values.script

@@ -3859,6 +3859,446 @@ Dynamic test case error: Performing a valueof or send operation on a non-specifi
 <END_TC>
 :exmp
 
+*---------------------------------------------------------------------*
+:h3. NegSem_060203_records_and_sets_of_single_types_016 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - array as a record-of value index on right hand side (less items than record-of dimension) >
+
+<COMPILE>
+
+<MODULE TTCN NegSem_060203_records_and_sets_of_single_types_016 NegSem_060203_records_and_sets_of_single_types_016.ttcn >
+/******************************************************************************
+ ** @version  0.0.1
+ ** @purpose  1:6.2.3, array as a record-of value index on right hand side (less items than record-of dimension)
+ ** @verdict  pass reject
+ ***************************************************/
+
+// The following requirement is tested:
+// For nested record of or set of types, an array or record of integer restricted 
+// to a single size can be used as a short-hand notation for a nested index
+// notation.
+
+module NegSem_060203_records_and_sets_of_single_types_016 {
+
+	type component GeneralComp {	    	    
+	}
+ 
+	type record of record of integer RoRoI;
+	
+	testcase TC_NegSem_060203_records_and_sets_of_single_types_016() runs on GeneralComp {
+
+		var RoRoI v_rec := {{0, 1}, {2, 3}};
+        var integer v_index[3] := { 1, 0, 0 }
+		if (v_rec[v_index] == 2) {
+			setverdict(pass);
+		} else {
+			setverdict(fail);
+		}
+	}
+	
+	control {
+		execute(TC_NegSem_060203_records_and_sets_of_single_types_016());
+	}
+
+}
+<END_MODULE>
+
+<RESULT COUNT 1>
+error: The type `integer\[3\]' contains too many indexes \(3\) in the short-hand notation for nested indexes.
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. NegSem_060203_records_and_sets_of_single_types_017 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - array as a record-of value index on left hand side (less items than record-of dimension) >
+
+<COMPILE>
+
+<MODULE TTCN NegSem_060203_records_and_sets_of_single_types_017 NegSem_060203_records_and_sets_of_single_types_017.ttcn >
+/******************************************************************************
+ ** @version  0.0.1
+ ** @purpose  1:6.2.3, array as a record-of value index on left hand side (less items than record-of dimension)
+ ** @verdict  pass reject
+ ***************************************************/
+
+// The following requirement is tested:
+// For nested record of or set of types, an array or record of integer restricted 
+// to a single size can be used as a short-hand notation for a nested index
+// notation.
+
+module NegSem_060203_records_and_sets_of_single_types_017 {
+
+	type component GeneralComp {	    	    
+	}
+ 
+	type record of record of integer RoRoI;
+	
+	testcase TC_NegSem_060203_records_and_sets_of_single_types_017() runs on GeneralComp {
+
+		var RoRoI v_rec := {{0, 1}, {2, 3}};
+        var integer v_index[3] := { 1, 0, 0 }
+        v_rec[v_index] := 10;
+		if (v_rec == {{0, 1}, {10, 3}}) {
+			setverdict(pass);
+		} else {
+			setverdict(fail);
+		}
+	}
+	
+	control {
+		execute(TC_NegSem_060203_records_and_sets_of_single_types_017());
+	}
+
+}
+<END_MODULE>
+
+<RESULT COUNT 1>
+error: The type `integer\[3\]' contains too many indexes \(3\) in the short-hand notation for nested indexes.
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. NegSem_060203_records_and_sets_of_single_types_018 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - fixed-size record-of as a record-of value index on right hand side (less items than record-of dimension) >
+
+<COMPILE>
+
+<MODULE TTCN NegSem_060203_records_and_sets_of_single_types_018 NegSem_060203_records_and_sets_of_single_types_018.ttcn >
+/******************************************************************************
+ ** @version  0.0.1
+ ** @purpose  1:6.2.3, fixed-size record-of as a record-of value index on right hand side (less items than record-of dimension)
+ ** @verdict  pass reject
+ ***************************************************/
+
+// The following requirement is tested:
+// For nested record of or set of types, an array or record of integer restricted 
+// to a single size can be used as a short-hand notation for a nested index
+// notation.
+
+module NegSem_060203_records_and_sets_of_single_types_018 {
+
+	type component GeneralComp {	    	    
+	}
+ 
+    type record length(3) of integer Indexer;
+	type record of record of integer RoRoI;
+	
+	testcase TC_NegSem_060203_records_and_sets_of_single_types_018() runs on GeneralComp {
+
+		var RoRoI v_rec := {{0, 1}, {2, 3}};
+        var Indexer v_index := { 1, 0, 0 }
+		if (v_rec[v_index] == 2) {
+			setverdict(pass);
+		} else {
+			setverdict(fail);
+		}
+	}
+	
+	control {
+		execute(TC_NegSem_060203_records_and_sets_of_single_types_018());
+	}
+
+}
+<END_MODULE>
+
+<RESULT COUNT 1>
+error: The type `@NegSem_060203_records_and_sets_of_single_types_018.Indexer' contains too many indexes \(3\) in the short-hand notation for nested indexes.
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. NegSem_060203_records_and_sets_of_single_types_019 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - fixed-size record-of as a record-of value index on left hand side (less items than record-of dimension) >
+
+<COMPILE>
+
+<MODULE TTCN NegSem_060203_records_and_sets_of_single_types_019 NegSem_060203_records_and_sets_of_single_types_019.ttcn >
+/******************************************************************************
+ ** @version  0.0.1
+ ** @purpose  1:6.2.3, fixed-size record-of as a record-of value index on left hand side (less items than record-of dimension)
+ ** @verdict  pass reject
+ ***************************************************/
+
+// The following requirement is tested:
+// For nested record of or set of types, an array or record of integer restricted 
+// to a single size can be used as a short-hand notation for a nested index
+// notation.
+
+module NegSem_060203_records_and_sets_of_single_types_019 {
+
+	type component GeneralComp {	    	    
+	}
+ 
+    type record length(3) of integer Indexer;
+	type record of record of integer RoRoI;
+	
+	testcase TC_NegSem_060203_records_and_sets_of_single_types_019() runs on GeneralComp {
+
+		var RoRoI v_rec := {{0, 1}, {2, 3}};
+        var Indexer v_index := { 1, 0, 0 }
+        v_rec[v_index] := 10;
+		if (v_rec == {{0, 1}, {10, 3}}) {
+			setverdict(pass);
+		} else {
+			setverdict(fail);
+		}
+	}
+	
+	control {
+		execute(TC_NegSem_060203_records_and_sets_of_single_types_019());
+	}
+
+}
+<END_MODULE>
+
+<RESULT COUNT 1>
+error: The type `@NegSem_060203_records_and_sets_of_single_types_019.Indexer' contains too many indexes \(3\) in the short-hand notation for nested indexes.
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. NegSem_060203_records_and_sets_of_single_types_020 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - fixed-size set-of as a record-of value index on right hand side >
+
+<COMPILE>
+
+<MODULE TTCN NegSem_060203_records_and_sets_of_single_types_020 NegSem_060203_records_and_sets_of_single_types_020.ttcn >
+/******************************************************************************
+ ** @version  0.0.1
+ ** @purpose  1:6.2.3, fixed-size set-of as a record-of value index on right hand side
+ ** @verdict  pass reject
+ ***************************************************/
+
+// The following requirement is tested:
+// For nested record of or set of types, an array or record of integer restricted 
+// to a single size can be used as a short-hand notation for a nested index
+// notation.
+
+module NegSem_060203_records_and_sets_of_single_types_020 {
+
+	type component GeneralComp {	    	    
+	}
+ 
+    type set length(2) of integer Indexer;
+	type record of record of integer RoRoI;
+	
+	testcase TC_NegSem_060203_records_and_sets_of_single_types_020() runs on GeneralComp {
+
+		var RoRoI v_rec := {{0, 1}, {2, 3}};
+        var Indexer v_index := { 1, 0 }
+		if (v_rec[v_index] == 2) {
+			setverdict(pass);
+		} else {
+			setverdict(fail);
+		}
+	}
+	
+	control {
+		execute(TC_NegSem_060203_records_and_sets_of_single_types_020());
+	}
+
+}
+<END_MODULE>
+
+<RESULT COUNT 1>
+error: A value or expression of type integer was expected
+<END_RESULT>
+<RESULT COUNT 1>
+error: The operands of operation `==' should be of compatible types
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. NegSem_060203_records_and_sets_of_single_types_021 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - fixed-size set-of as a record-of value index on left hand side >
+
+<COMPILE>
+
+<MODULE TTCN NegSem_060203_records_and_sets_of_single_types_021 NegSem_060203_records_and_sets_of_single_types_021.ttcn >
+/******************************************************************************
+ ** @version  0.0.1
+ ** @purpose  1:6.2.3, fixed-size set-of as a record-of value index on left hand side
+ ** @verdict  pass reject
+ ***************************************************/
+
+// The following requirement is tested:
+// For nested record of or set of types, an array or record of integer restricted 
+// to a single size can be used as a short-hand notation for a nested index
+// notation.
+
+module NegSem_060203_records_and_sets_of_single_types_021 {
+
+	type component GeneralComp {	    	    
+	}
+ 
+    type set length(2) of integer Indexer;
+	type record of record of integer RoRoI;
+	
+	testcase TC_NegSem_060203_records_and_sets_of_single_types_021() runs on GeneralComp {
+
+		var RoRoI v_rec := {{0, 1}, {2, 3}};
+        var Indexer v_index := { 1, 0 }
+        v_rec[v_index] := 10;
+		if (v_rec == {{0, 1}, {10, 3}}) {
+			setverdict(pass);
+		} else {
+			setverdict(fail);
+		}
+	}
+	
+	control {
+		execute(TC_NegSem_060203_records_and_sets_of_single_types_021());
+	}
+
+}
+<END_MODULE>
+
+<RESULT COUNT 1>
+error: A value or expression of type integer was expected
+<END_RESULT>
+<RESULT COUNT 1>
+error: record of value was expected
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. NegSem_060203_records_and_sets_of_single_types_022 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - variable-size record-of as a record-of value index on right hand side >
+
+<COMPILE>
+
+<MODULE TTCN NegSem_060203_records_and_sets_of_single_types_022 NegSem_060203_records_and_sets_of_single_types_022.ttcn >
+/******************************************************************************
+ ** @version  0.0.1
+ ** @purpose  1:6.2.3, variable-size record-of as a record-of value index on right hand side
+ ** @verdict  pass reject
+ ***************************************************/
+
+// The following requirement is tested:
+// For nested record of or set of types, an array or record of integer restricted 
+// to a single size can be used as a short-hand notation for a nested index
+// notation.
+
+module NegSem_060203_records_and_sets_of_single_types_022 {
+
+	type component GeneralComp {	    	    
+	}
+ 
+    type record of integer Indexer;
+	type record of record of integer RoRoI;
+	
+	testcase TC_NegSem_060203_records_and_sets_of_single_types_022() runs on GeneralComp {
+
+		var RoRoI v_rec := {{0, 1}, {2, 3}};
+        var Indexer v_index := { 1, 0 }
+		if (v_rec[v_index] == 2) {
+			setverdict(pass);
+		} else {
+			setverdict(fail);
+		}
+	}
+	
+	control {
+		execute(TC_NegSem_060203_records_and_sets_of_single_types_022());
+	}
+
+}
+<END_MODULE>
+
+<RESULT COUNT 1>
+error: The type `@NegSem_060203_records_and_sets_of_single_types_022.Indexer' must have single size length restriction when used as a short-hand notation for nested indexes.
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. NegSem_060203_records_and_sets_of_single_types_023 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - variable-size record-of as a record-of value index on left hand side (less items than record-of dimension) >
+
+<COMPILE>
+
+<MODULE TTCN NegSem_060203_records_and_sets_of_single_types_023 NegSem_060203_records_and_sets_of_single_types_023.ttcn >
+/******************************************************************************
+ ** @version  0.0.1
+ ** @purpose  1:6.2.3, variable-size record-of as a record-of value index on left hand side (less items than record-of dimension)
+ ** @verdict  pass reject
+ ***************************************************/
+
+// The following requirement is tested:
+// For nested record of or set of types, an array or record of integer restricted 
+// to a single size can be used as a short-hand notation for a nested index
+// notation.
+
+module NegSem_060203_records_and_sets_of_single_types_023 {
+
+	type component GeneralComp {	    	    
+	}
+ 
+    type record of integer Indexer;
+	type record of record of integer RoRoI;
+	
+	testcase TC_NegSem_060203_records_and_sets_of_single_types_023() runs on GeneralComp {
+
+		var RoRoI v_rec := {{0, 1}, {2, 3}};
+        var Indexer v_index := { 1, 0 }
+        v_rec[v_index] := 10;
+		if (v_rec == {{0, 1}, {10, 3}}) {
+			setverdict(pass);
+		} else {
+			setverdict(fail);
+		}
+	}
+	
+	control {
+		execute(TC_NegSem_060203_records_and_sets_of_single_types_023());
+	}
+
+}
+<END_MODULE>
+
+<RESULT COUNT 1>
+error: The type `@NegSem_060203_records_and_sets_of_single_types_023.Indexer' must have single size length restriction when used as a short-hand notation for nested indexes.
+<END_RESULT>
+
+<END_TC>
+:exmp
+
 *---------------------------------------------------------------------*
 :h3. NegSyn_060203_records_and_sets_of_single_types_001 negative test
 .*---------------------------------------------------------------------*
@@ -5867,6 +6307,105 @@ error: A value or expression of type integer was expected
 <END_TC>
 :exmp
 
+*---------------------------------------------------------------------*
+:h3. NegSem_060207_arrays_020 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - integer array with too many items as multidimensional array index >
+
+<COMPILE>
+
+<MODULE TTCN NegSem_060207_arrays_020 NegSem_060207_arrays_020.ttcn >
+/******************************************************************************
+ ** @version  0.0.1
+ ** @purpose  1:6.2.7, integer array with too many items as multidimensional array index
+ ** @verdict  pass reject
+ ***************************************************/
+
+// The following requirement is tested:
+// An array or record of integer restricted to a single size can be used in the 
+// index notation as a short-hand for the repeated index notation.
+
+module NegSem_060207_arrays_020 {
+
+	type component GeneralComp {
+	}
+	
+	testcase TC_NegSem_060207_arrays_020() runs on GeneralComp {        
+        var integer v_rhindexes[3] := { 0, 1, 0 }, v_lhindexes[3] := { 1, 2, 0 }
+        var integer v_arr[2][3] := { { 1, 2, 3 }, { 4, 5, 6 } };
+        // testing both RH and LH side:
+        v_arr[v_lhindexes] := v_arr[v_rhindexes];        
+        if (v_arr == { { 1, 2, 3 }, { 4, 5, 2} }) { setverdict(pass); }
+        else { setverdict(fail); }
+	}
+	
+	control {
+		execute(TC_NegSem_060207_arrays_020());
+	}
+
+}
+<END_MODULE>
+
+<RESULT COUNT 1>
+error: The type `integer\[3\]' contains too many indexes \(3\) in the short-hand notation for nested indexes.
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. NegSem_060207_arrays_021 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - variable-size record of integer as multidimensional array index >
+
+<COMPILE>
+
+<MODULE TTCN NegSem_060207_arrays_021 NegSem_060207_arrays_021.ttcn >
+/******************************************************************************
+ ** @version  0.0.1
+ ** @purpose  1:6.2.7, variable-size record of integer as multidimensional array index
+ ** @verdict  pass reject
+ ***************************************************/
+
+// The following requirement is tested:
+// An array or record of integer restricted to a single size can be used in the 
+// index notation as a short-hand for the repeated index notation.
+
+module NegSem_060207_arrays_021 {
+
+	type component GeneralComp {
+	}
+    
+    type record length(1..2) of integer RI;
+	
+	testcase TC_NegSem_060207_arrays_021() runs on GeneralComp {        
+        var RI v_rhindexes := { 0, 1 }, v_lhindexes := { 1, 2 }
+        var integer v_arr[2][3] := { { 1, 2, 3 }, { 4, 5, 6 } };
+        // testing both RH and LH side:
+        v_arr[v_lhindexes] := v_arr[v_rhindexes];        
+        if (v_arr == { { 1, 2, 3 }, { 4, 5, 2} }) { setverdict(pass); }
+        else { setverdict(fail); }
+	}
+	
+	control {
+		execute(TC_NegSem_060207_arrays_021());
+	}
+
+}
+<END_MODULE>
+
+<RESULT COUNT 1>
+error: The type `@NegSem_060207_arrays_021.RI' must have single size length restriction when used as a short-hand notation for nested indexes.
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+
 *---------------------------------------------------------------------*
 :h3. NegSem_060207_arrays_022 negative test
 .*---------------------------------------------------------------------*

conformance_test/core_language_tests/negative_tests/07-14_folder.script

@@ -1798,6 +1798,129 @@ error: at or before token `control': syntax error, unexpected ControlKeyword, ex
 :h2. 09_test_configurations folder
 .*---------------------------------------------------------------------*
 
+*---------------------------------------------------------------------*
+:h3. NegSem_0901_Communication_ports_002 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - Ensure that it is not possible to connect a mapped port  >
+
+<COMPILE>
+<EXECUTE_PARALLEL>
+
+<MODULE TTCN NegSem_0901_Communication_ports_002 NegSem_0901_Communication_ports_002.ttcn >
+/******************************************************************************
+ ** @version  0.0.1
+ ** @purpose  1:9, Ensure that it is not possible to connect a mapped port
+ ** @verdict  pass reject
+ ***************************************************/
+
+/*NOTE: see Figure 7(f): connection of two TSI ports is not allowed
+ * */
+
+module NegSem_0901_Communication_ports_002{ 
+
+
+    type port loopbackPort message { 
+	  inout integer
+	} with {extension "internal"}
+
+	type component GeneralComp {	    	    
+		  port loopbackPort p1;
+		 
+	}	
+
+	type component System {	    	    
+		  port loopbackPort p1;
+		 
+	}	
+
+	testcase TC_NegSem_0901_Communication_ports_002() runs on GeneralComp system System {
+		
+		var GeneralComp v_ptc := GeneralComp.create;
+		map(self:p1, system:p1);		
+		connect(self:p1, v_ptc:p1); // error: mtc.p1 is already mapped to SystemComp.p1
+		setverdict(pass);
+	 
+	}
+
+	control{
+		execute(TC_NegSem_0901_Communication_ports_002());
+	}
+
+}
+<END_MODULE>
+
+<RESULT COUNT 1>
+Dynamic test case error: Connect operation cannot be performed on a mapped port \(p1\)
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. NegSem_0901_Communication_ports_004 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - Verify that it is not possible to map a connected port  >
+
+<COMPILE>
+<EXECUTE_PARALLEL>
+
+<MODULE TTCN NegSem_0901_Communication_ports_004 NegSem_0901_Communication_ports_004.ttcn >
+/******************************************************************************
+ ** @version  0.0.1
+ ** @purpose  1:9.1, Verify that it is not possible to map a connected port
+ ** @verdict  pass reject
+ ***************************************************/
+
+/*NOTE: see Figure 7(b): GeneralComp port p1 is mapped to a TSI port P1.
+ * Therefore mapping GeneralComp port p2 with TSI port P1 gives an error.
+ * */
+
+
+
+module NegSem_0901_Communication_ports_004 {
+  
+    type port MyPort message {
+        inout integer
+    } with {extension "internal"}
+
+    type component GeneralComp
+    {
+        port MyPort p1;
+        port MyPort p2;
+    }
+    
+    type component SystemComp
+    {
+        port MyPort p1;
+    }
+	
+    testcase TC_NegSem_0901_Communication_ports_004() runs on GeneralComp system SystemComp {
+		
+	//create a test component        
+        var GeneralComp v_ptc := GeneralComp.create;
+		connect(self:p1, v_ptc:p1);
+		map(self:p1, system:p1); // error: mtc.p1 is already connected to v_ptc.p1
+		setverdict(pass);
+    }
+	
+    control{
+        execute(TC_NegSem_0901_Communication_ports_004());
+    }
+}
+
+<END_MODULE>
+
+<RESULT COUNT 1>
+Dynamic test case error: Map operation is not allowed on a connected port \(p1\).
+<END_RESULT>
+
+<END_TC>
+:exmp
+
 *---------------------------------------------------------------------*
 :h3. NegSem_0901_Communication_ports_007 negative test
 .*---------------------------------------------------------------------*
@@ -1906,7 +2029,7 @@ error: Both endpoints of the mapping are system ports
 
 <COMPILE>
 
-<MODULE TTCN NegSyn_0901_Communication_ports_001 NegSem_0901_Communication_ports_001.ttcn >
+<MODULE TTCN NegSyn_0901_Communication_ports_001 NegSyn_0901_Communication_ports_001.ttcn >
 /***************************************************
  ** @version  0.0.1
  ** @purpose  1:9.1, Verify that a two TSI port cannot be connected

conformance_test/core_language_tests/positive_tests/09_test_configurations/0901_communication_ports/NegSem_0901_Communication_ports_002.ttcn

@@ -32,7 +32,7 @@ module NegSem_0901_Communication_ports_002{
 		
 		var GeneralComp v_ptc := GeneralComp.create;
 		map(self:p1, system:p1);		
-		connect(self:p1, v_ptc:p1); // error: v_ptc.p1 is already connected to SystemComp.p1
+		connect(self:p1, v_ptc:p1); // error: mtc.p1 is already mapped to SystemComp.p1
 		setverdict(pass);
 	 
 	}

conformance_test/core_language_tests/positive_tests/09_test_configurations/0901_communication_ports/NegSem_0901_Communication_ports_004.ttcn

@@ -36,7 +36,7 @@ module NegSem_0901_Communication_ports_004 {
 	//create a test component        
         var GeneralComp v_ptc := GeneralComp.create;
 		connect(self:p1, v_ptc:p1);
-		map(self:p1, system:p1); // error: v_ptc.p1 is already mapped to SystemComp.p1
+		map(self:p1, system:p1); // error: mtc.p1 is already connected to v_ptc.p1
 		setverdict(pass);
     }
 	

conformance_test/core_language_tests/positive_tests/22_communication_operations/2202_message_based_communication/220202_receive_operation/Sem_220202_ReceiveOperation_026.ttcn

@@ -32,7 +32,7 @@ module Sem_220202_ReceiveOperation_026 {
         p[1].send(2);
         p[1].send(3);
 
-        any from p.receive(integer:?) -> @index v_int;
+        any from p.receive(integer:?) -> @index value v_int;
 
         if (v_int == 1) { // evaluation of @lazy (receive shall not be called again)
             alt {

conformance_test/core_language_tests/positive_tests/22_communication_operations/2202_message_based_communication/220203_trigger_operation/Sem_220203_TriggerOperation_025.ttcn

@@ -30,7 +30,7 @@ module Sem_220203_TriggerOperation_025 {
         p[1].send(1);
         p[1].send(2);
         p[1].send(3);
-        any from p.trigger(integer:?) -> @index v_int;
+        any from p.trigger(integer:?) -> @index value v_int;
 
         if (v_int == 1) { // evaluation of @lazy (receive shall not be called again)
             alt {

conformance_test/core_language_tests/positive_tests/pos_conf_tests.cfg

@@ -386,6 +386,22 @@ Sem_060203_records_and_sets_of_single_types_019.control
 Sem_060203_records_and_sets_of_single_types_020.control
 Sem_060203_records_and_sets_of_single_types_021.control
 Sem_060203_records_and_sets_of_single_types_022.control
+Sem_060203_records_and_sets_of_single_types_023.control
+Sem_060203_records_and_sets_of_single_types_024.control
+Sem_060203_records_and_sets_of_single_types_025.control
+Sem_060203_records_and_sets_of_single_types_026.control
+Sem_060203_records_and_sets_of_single_types_027.control
+Sem_060203_records_and_sets_of_single_types_028.control
+Sem_060203_records_and_sets_of_single_types_029.control
+Sem_060203_records_and_sets_of_single_types_030.control
+Sem_060203_records_and_sets_of_single_types_031.control
+Sem_060203_records_and_sets_of_single_types_032.control
+Sem_060203_records_and_sets_of_single_types_033.control
+Sem_060203_records_and_sets_of_single_types_034.control
+Sem_060203_records_and_sets_of_single_types_035.control
+Sem_060203_records_and_sets_of_single_types_036.control
+Sem_060203_records_and_sets_of_single_types_037.control
+Sem_060203_records_and_sets_of_single_types_038.control
 Sem_060204_enumerated_type_and_values_001.control
 Sem_060204_enumerated_type_and_values_002.control
 Sem_060204_enumerated_type_and_values_003.control
@@ -432,6 +448,9 @@ Sem_060207_arrays_013.control
 Sem_060207_arrays_014.control
 Sem_060207_arrays_015.control
 Sem_060207_arrays_016.control
+Sem_060207_arrays_017.control
+Sem_060207_arrays_018.control
+Sem_060207_arrays_019.control
 Sem_060207_arrays_020.control
 Sem_060207_arrays_021.control
 Sem_060207_arrays_022.control
@@ -1021,6 +1040,8 @@ Sem_220202_ReceiveOperation_019.control
 Sem_220202_ReceiveOperation_020.control
 Sem_220202_ReceiveOperation_021.control
 Sem_220202_ReceiveOperation_022.control
+Sem_220202_ReceiveOperation_024.control
+Sem_220202_ReceiveOperation_026.control
 Sem_220203_TriggerOperation_001.control
 Sem_220203_TriggerOperation_002.control
 Sem_220203_TriggerOperation_003.control
@@ -1038,6 +1059,8 @@ Sem_220203_TriggerOperation_019.control
 Sem_220203_TriggerOperation_020.control
 Sem_220203_TriggerOperation_021.control
 Sem_220203_TriggerOperation_022.control
+Sem_220203_TriggerOperation_023.control
+Sem_220203_TriggerOperation_025.control
 Sem_220301_CallOperation_001.control
 Sem_220301_CallOperation_002.control
 Sem_220301_CallOperation_003.control