diff --git a/conformance_test/core_language_tests/negative_tests/05_basic_language_elements.script b/conformance_test/core_language_tests/negative_tests/05_basic_language_elements.script
index 298b71194e9e1c3b44f847b0731cc3be55dbee73..396f175a6c8a4b25275c3d9d24be86f3c03a7d56 100644
--- a/conformance_test/core_language_tests/negative_tests/05_basic_language_elements.script
+++ b/conformance_test/core_language_tests/negative_tests/05_basic_language_elements.script
@@ -310,6 +310,320 @@ error: There is no local or imported definition with name `v_statement'
<END_TC>
:exmp
+*---------------------------------------------------------------------*
+:h3. NegSem_050202_Uniqueness_001 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - Ensure that the IUT correctly handles the uniqueness of variable names in its scope >
+
+<COMPILE>
+
+<MODULE TTCN NegSem_050202_Uniqueness_001 NegSem_050202_Uniqueness_001.ttcn >
+/******************************************************************************
+ ** @version 0.0.1
+ ** @purpose 1:5.2.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
+ ** @verdict pass reject
+ ***************************************************/
+module NegSem_050202_Uniqueness_001 {
+ type component GeneralComp {
+ const integer cl_int := 0;
+ }
+
+ testcase TC_NegSem_050202_Uniqueness_001() runs on GeneralComp {
+ const integer cl_int := 0;
+ }
+ control {
+ execute(TC_NegSem_050202_Uniqueness_001());
+ }
+}
+<END_MODULE>
+
+<RESULT COUNT 1>
+error: Definition with identifier `cl_int' is not unique in the scope hierarchy
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. NegSem_050202_Uniqueness_004 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - Ensure that the IUT correctly handles the uniqueness of variable names in its scope >
+
+<COMPILE>
+
+<MODULE TTCN NegSem_050202_Uniqueness_004 NegSem_050202_Uniqueness_004.ttcn >
+/******************************************************************************
+ ** @version 0.0.1
+ ** @purpose 1:5.2.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
+ ** @verdict pass reject
+ ***************************************************/
+module NegSem_050202_Uniqueness_004 {
+ const integer c_int := 0;
+
+ type component GeneralComp {
+ }
+
+ function f_funcScope() {}
+
+ testcase TC_NegSem_050202_Uniqueness_004() runs on GeneralComp {
+ const integer c_int := 0;
+ f_funcScope();
+ }
+ control {
+ execute(TC_NegSem_050202_Uniqueness_004());
+ }
+}
+<END_MODULE>
+
+<RESULT COUNT 1>
+error: Definition with identifier `c_int' is not unique in the scope hierarchy
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. NegSem_050202_Uniqueness_005 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - Ensure that the IUT correctly handles the uniqueness of variable names in its scope >
+
+<COMPILE>
+
+<MODULE TTCN NegSem_050202_Uniqueness_005 NegSem_050202_Uniqueness_005.ttcn >
+/******************************************************************************
+ ** @version 0.0.1
+ ** @purpose 1:5.2.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
+ ** @verdict pass reject
+ ***************************************************/
+module NegSem_050202_Uniqueness_005 {
+ const integer c_int := 0;
+
+ type component GeneralComp {
+ }
+
+ function f_funcScope() {
+ const integer c_int := 0;
+ }
+
+ testcase TC_NegSem_050202_Uniqueness_005() runs on GeneralComp {
+ f_funcScope();
+ }
+ control {
+ execute(TC_NegSem_050202_Uniqueness_005());
+ }
+}
+<END_MODULE>
+
+<RESULT COUNT 1>
+error: Definition with identifier `c_int' is not unique in the scope hierarchy
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. NegSem_050202_Uniqueness_006 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - Ensure that the IUT correctly handles the uniqueness of variable names in its scope >
+
+<COMPILE>
+
+<MODULE TTCN NegSem_050202_Uniqueness_006 NegSem_050202_Uniqueness_006.ttcn >
+/******************************************************************************
+ ** @version 0.0.1
+ ** @purpose 1:5.2.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
+ ** @verdict pass reject
+ ***************************************************/
+module NegSem_050202_Uniqueness_006 {
+ type component GeneralComp {
+ const integer repeatedIdentifier := 0;
+ }
+
+ testcase TC_NegSem_050202_Uniqueness_006() runs on GeneralComp {
+ var boolean repeatedIdentifier := true;
+ }
+ control {
+ execute(TC_NegSem_050202_Uniqueness_006());
+ }
+}
+<END_MODULE>
+
+<RESULT COUNT 1>
+error: Definition with identifier `repeatedIdentifier' is not unique in the scope hierarchy
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. NegSem_050202_Uniqueness_007 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - Ensure that the IUT correctly handles the uniqueness of variable names in its scope >
+
+<COMPILE>
+
+<MODULE TTCN NegSem_050202_Uniqueness_007 NegSem_050202_Uniqueness_007.ttcn >
+/******************************************************************************
+ ** @version 0.0.1
+ ** @purpose 1:5.2.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
+ ** @verdict pass reject
+ ***************************************************/
+module NegSem_050202_Uniqueness_007 {
+ type component GeneralComp {
+ const integer repeatedIdentifier := 0;
+ }
+
+ function f_funcScope() runs on GeneralComp {
+ var boolean repeatedIdentifier := true;
+ }
+
+ testcase TC_NegSem_050202_Uniqueness_007() runs on GeneralComp {
+ f_funcScope();
+ }
+ control {
+ execute(TC_NegSem_050202_Uniqueness_007());
+ }
+}
+<END_MODULE>
+
+<RESULT COUNT 1>
+error: Definition with identifier `repeatedIdentifier' is not unique in the scope hierarchy
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. NegSem_050202_Uniqueness_008 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - Ensure that the IUT correctly handles the uniqueness of variable names in its scope >
+
+<COMPILE>
+
+<MODULE TTCN NegSem_050202_Uniqueness_008 NegSem_050202_Uniqueness_008.ttcn >
+/******************************************************************************
+ ** @version 0.0.1
+ ** @purpose 1:5.2.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
+ ** @verdict pass reject
+ ***************************************************/
+module NegSem_050202_Uniqueness_008 {
+ type component GeneralComp {
+ }
+
+ function f_funcScope(boolean repeatedIdentifier) {
+ const integer repeatedIdentifier := 0;
+ }
+
+ testcase TC_NegSem_050202_Uniqueness_008() runs on GeneralComp {
+ var boolean v_boolean := true;
+ f_funcScope(v_boolean);
+ }
+ control {
+ execute(TC_NegSem_050202_Uniqueness_008());
+ }
+}
+<END_MODULE>
+
+<RESULT COUNT 1>
+error: Definition with identifier `repeatedIdentifier' is not unique in the scope hierarchy
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. NegSem_050202_Uniqueness_009 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - Ensure that the IUT correctly handles the uniqueness of variable names in its scope >
+
+<COMPILE>
+
+<MODULE TTCN NegSem_050202_Uniqueness_009 NegSem_050202_Uniqueness_009.ttcn >
+/******************************************************************************
+ ** @version 0.0.1
+ ** @purpose 1:5.2.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
+ ** @verdict pass reject
+ ***************************************************/
+module NegSem_050202_Uniqueness_009 {
+ const integer repeatedIdentifier := 0;
+
+ type component GeneralComp {
+ }
+
+ function f_funcScope() {}
+
+ testcase TC_NegSem_050202_Uniqueness_009() runs on GeneralComp {
+ var boolean repeatedIdentifier := true;
+ f_funcScope();
+ }
+ control {
+ execute(TC_NegSem_050202_Uniqueness_009());
+ }
+}
+<END_MODULE>
+
+<RESULT COUNT 1>
+error: Definition with identifier `repeatedIdentifier' is not unique in the scope hierarchy
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. NegSem_050202_Uniqueness_010 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - Ensure that the IUT correctly handles the uniqueness of variable names in its scope >
+
+<COMPILE>
+
+<MODULE TTCN NegSem_050202_Uniqueness_010 NegSem_050202_Uniqueness_010.ttcn >
+/******************************************************************************
+ ** @version 0.0.1
+ ** @purpose 1:5.2.2, Ensure that the IUT correctly handles the uniqueness of variable names in its scope
+ ** @verdict pass reject
+ ***************************************************/
+module NegSem_050202_Uniqueness_010 {
+ const integer repeatedIdentifier := 0;
+
+ type component GeneralComp {
+ }
+
+ function f_funcScope() {
+ var boolean repeatedIdentifier := true;
+ }
+
+ testcase TC_NegSem_050202_Uniqueness_010() runs on GeneralComp {
+ f_funcScope();
+ }
+ control {
+ execute(TC_NegSem_050202_Uniqueness_010());
+ }
+}
+<END_MODULE>
+
+<RESULT COUNT 1>
+error: Definition with identifier `repeatedIdentifier' is not unique in the scope hierarchy
+<END_RESULT>
+
+<END_TC>
+:exmp
+
.*---------------------------------------------------------------------*
:h2. 0503_ordering_of_declarations folder
.*---------------------------------------------------------------------*
diff --git a/conformance_test/core_language_tests/negative_tests/06_types_and_values.script b/conformance_test/core_language_tests/negative_tests/06_types_and_values.script
index c558531cf5cbf8e534f5c2386c61cc1d11505a21..9195c4ef5b87d325af0a2c322fb89bae04f79714 100644
--- a/conformance_test/core_language_tests/negative_tests/06_types_and_values.script
+++ b/conformance_test/core_language_tests/negative_tests/06_types_and_values.script
@@ -54,7 +54,7 @@ This TD contains negative tests from ETSI TTCN3 Conformance Test's 06_types_and_
.*---------------------------------------------------------------------*
*---------------------------------------------------------------------*
-:h3. NegSem_0501_Identifier_001 negative test
+:h3. NegSyn_060100_SimpleBasicTypes_001 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -62,7 +62,7 @@ This TD contains negative tests from ETSI TTCN3 Conformance Test's 06_types_and_
<COMPILE>
-<MODULE TTCN NegSem_0501_Identifier_001 NegSem_0501_Identifier_001.ttcn >
+<MODULE TTCN NegSyn_060100_SimpleBasicTypes_001 NegSyn_060100_SimpleBasicTypes_001.ttcn >
/***************************************************
** @version 0.0.1
** @purpose 1:6.1.0, Assign float to integer values
@@ -81,7 +81,7 @@ error: integer value was expected
:exmp
*---------------------------------------------------------------------*
-:h3. NegSem_0501_Identifier_002 negative test
+:h3. NegSyn_060100_SimpleBasicTypes_002 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -89,7 +89,7 @@ error: integer value was expected
<COMPILE>
-<MODULE TTCN NegSem_0501_Identifier_002 NegSem_0501_Identifier_002.ttcn >
+<MODULE TTCN NegSyn_060100_SimpleBasicTypes_002 NegSyn_060100_SimpleBasicTypes_002.ttcn >
/***************************************************
** @version 0.0.1
** @purpose 1:6.1.0, Assign boolean to integer values
@@ -108,7 +108,7 @@ error: integer value was expected
:exmp
*---------------------------------------------------------------------*
-:h3. NegSem_0501_Identifier_003 negative test
+:h3. NegSyn_060100_SimpleBasicTypes_003 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -116,7 +116,7 @@ error: integer value was expected
<COMPILE>
-<MODULE TTCN NegSem_0501_Identifier_003 NegSem_0501_Identifier_003.ttcn >
+<MODULE TTCN NegSyn_060100_SimpleBasicTypes_003 NegSyn_060100_SimpleBasicTypes_003.ttcn >
/***************************************************
** @version 0.0.1
** @purpose 1:6.1.0, Assign integer to float values
@@ -135,7 +135,7 @@ error: float value was expected
:exmp
*---------------------------------------------------------------------*
-:h3. NegSem_0501_Identifier_004 negative test
+:h3. NegSyn_060100_SimpleBasicTypes_004 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -143,7 +143,7 @@ error: float value was expected
<COMPILE>
-<MODULE TTCN NegSem_0501_Identifier_004 NegSem_0501_Identifier_004.ttcn >
+<MODULE TTCN NegSyn_060100_SimpleBasicTypes_004 NegSyn_060100_SimpleBasicTypes_004.ttcn >
/***************************************************
** @version 0.0.1
** @purpose 1:6.1.0, Assign boolean to float values
@@ -162,7 +162,7 @@ error: float value was expected
:exmp
*---------------------------------------------------------------------*
-:h3. NegSem_0501_Identifier_005 negative test
+:h3. NegSyn_060100_SimpleBasicTypes_005 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -170,7 +170,7 @@ error: float value was expected
<COMPILE>
-<MODULE TTCN NegSem_0501_Identifier_005 NegSem_0501_Identifier_005.ttcn >
+<MODULE TTCN NegSyn_060100_SimpleBasicTypes_005 NegSyn_060100_SimpleBasicTypes_005.ttcn >
/***************************************************
** @version 0.0.1
** @purpose 1:6.1.0, Assign verdicttype to float values
@@ -189,7 +189,7 @@ error: float value was expected
:exmp
*---------------------------------------------------------------------*
-:h3. NegSem_0501_Identifier_006 negative test
+:h3. NegSyn_060100_SimpleBasicTypes_006 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -197,7 +197,7 @@ error: float value was expected
<COMPILE>
-<MODULE TTCN NegSem_0501_Identifier_006 NegSem_0501_Identifier_006.ttcn >
+<MODULE TTCN NegSyn_060100_SimpleBasicTypes_006 NegSyn_060100_SimpleBasicTypes_006.ttcn >
/***************************************************
** @version 0.0.1
** @purpose 1:6.1.0, Assign integer to verdicttype values
@@ -2142,6 +2142,45 @@ error: "abcyz" is not a valid value for type `charstring' which has subtype patt
<END_TC>
:exmp
+*---------------------------------------------------------------------*
+:h3. NegSyn_06010205_StringPattern_001 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - Assign values to pattern restricted character strings without @nocase modifier. >
+
+<COMPILE>
+
+<MODULE TTCN NegSyn_06010205_StringPattern_001 NegSyn_06010205_StringPattern_001.ttcn >
+/******************************************************************************
+ ** @version 0.0.1
+ ** @purpose 1:6.1.2.5, Assign values to pattern restricted character strings without @nocase modifier.
+ ** @verdict pass reject, noexecution
+ ***************************************************/
+
+module NegSyn_06010205_StringPattern_001 {
+ type charstring MyString (pattern "abc*xyz"); //without @nocase
+
+ type component GeneralComp {}
+
+ testcase TC_NegSyn_06010205_StringPattern_001() runs on GeneralComp {
+ var MyString v_c;
+ v_c := "ABc1234xYz"; //error value is out of constraint: ABc
+ }
+
+ control{
+ execute(TC_NegSyn_06010205_StringPattern_001());
+ }
+}
+<END_MODULE>
+
+<RESULT COUNT 1>
+error: "ABc1234xYz" is not a valid value for type `charstring' which has subtype pattern\(abc\*xyz\)
+<END_RESULT>
+
+<END_TC>
+:exmp
+
*---------------------------------------------------------------------*
:h3. NegSyn_06010205_StringPattern_002 negative test
.*---------------------------------------------------------------------*
@@ -4409,7 +4448,7 @@ error: union value was expected for type `@NegSem_060205_top_level_005.U'
:exmp
*---------------------------------------------------------------------*
-:h3. NegSem_060205_top_level_005 negative test
+:h3. NegSyn_060205_top_level_001 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -5009,7 +5048,7 @@ error: Type `address' is not defined in this module
:exmp
*---------------------------------------------------------------------*
-:h3. NegSem_060206_anytype_002 negative test
+:h3. NegSyn_060206_anytype_002 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -5017,7 +5056,7 @@ error: Type `address' is not defined in this module
<COMPILE>
-<MODULE TTCN NegSem_060206_anytype_002 NegSem_060206_anytype_002.ttcn >
+<MODULE TTCN NegSyn_060206_anytype_002 NegSyn_060206_anytype_002.ttcn >
/****************************************************
** @version 0.0.1
** @purpose 1:6.2.0.6, ensure that anytype cannot be port type
diff --git a/conformance_test/core_language_tests/negative_tests/07-14_folder.script b/conformance_test/core_language_tests/negative_tests/07-14_folder.script
index a201d676795802b6f51d613e7693f409195ab79c..1e59ff9fe51619d0f743d79d1755f51d0b37cd93 100644
--- a/conformance_test/core_language_tests/negative_tests/07-14_folder.script
+++ b/conformance_test/core_language_tests/negative_tests/07-14_folder.script
@@ -1103,6 +1103,54 @@ error: Incompatible explicit type specification: `integer' was expected instead
<END_TC>
:exmp
+*---------------------------------------------------------------------*
+:h3. NegSem_08020301_GeneralFormatOfImport_038 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - Verify that definition from inside an imported function cannot be referenced >
+
+<COMPILE>
+
+<MODULE TTCN NegSem_08020301_GeneralFormatOfImport_038 NegSem_08020301_GeneralFormatOfImport_038.ttcn >
+/******************************************************************************
+ ** @version 0.0.1
+ ** @purpose 1:8.2.3.1, Verify that definition from inside an imported function cannot be referenced
+ ** @verdict pass reject
+ *****************************************************************/
+
+// The following requirements are tested:
+// Restriction f:
+// When importing a function, altstep or test case the corresponding behaviour
+// specifications and all definitions used inside the behaviour specifications
+// remain invisible for the importing module.
+
+module NegSem_08020301_GeneralFormatOfImport_038 {
+ import from NegSem_08020301_GeneralFormatOfImport_038_import { function f_test };
+ // c_test should be undefined, because it is invisible for the importing module
+ const integer c_test2 := c_test;
+}
+
+<END_MODULE>
+
+<MODULE TTCN NegSem_08020301_GeneralFormatOfImport_038_import NegSem_08020301_GeneralFormatOfImport_038_import.ttcn >
+
+module NegSem_08020301_GeneralFormatOfImport_038_import {
+ function f_test() {
+ const integer c_test := 1;
+ }
+}
+
+<END_MODULE>
+
+
+<RESULT COUNT 1>
+error: There is no local or imported definition with name `c_test'
+<END_RESULT>
+
+<END_TC>
+:exmp
+
*---------------------------------------------------------------------*
:h3. NegSyn_08020301_GeneralFormatOfImport_001 negative test
.*---------------------------------------------------------------------*
@@ -1715,7 +1763,7 @@ error: There is no local or imported definition with name `c_myconst'
:exmp
*---------------------------------------------------------------------*
-:h3. NegSem_080205_VisibilityOfDefinitions_005 negative test
+:h3. NegSyn_0803_ModuleControlPart_001 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -1723,7 +1771,7 @@ error: There is no local or imported definition with name `c_myconst'
<COMPILE>
-<MODULE TTCN NegSem_080205_VisibilityOfDefinitions_005 NegSem_080205_VisibilityOfDefinitions_005.ttcn >
+<MODULE TTCN NegSyn_0803_ModuleControlPart_001 NegSyn_0803_ModuleControlPart_001.ttcn >
/*****************************************************************
** @version 0.0.1
** @purpose 1:8.3, Ensure that there is not more than one control part.
@@ -2936,7 +2984,7 @@ error: at or before token `1.0': syntax error, unexpected FloatValue, expecting
:h2. 14_procedure_signatures folder
.*---------------------------------------------------------------------*
*---------------------------------------------------------------------*
-:h3. egSem_1400_procedure_signatures_001 negative test
+:h3. NegSem_1400_procedure_signatures_001 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -2944,7 +2992,7 @@ error: at or before token `1.0': syntax error, unexpected FloatValue, expecting
<COMPILE>
-<MODULE TTCN egSem_1400_procedure_signatures_001 egSem_1400_procedure_signatures_001.ttcn >
+<MODULE TTCN NegSem_1400_procedure_signatures_001 NegSem_1400_procedure_signatures_001.ttcn >
/*****************************************************************
** @version 0.0.1
** @purpose 1:22.3.1, Ensure that nonblocking signature contains in parameter
@@ -3006,7 +3054,7 @@ error: A non-blocking signature cannot have `out' parameter
:exmp
*---------------------------------------------------------------------*
-:h3. egSem_1400_procedure_signatures_002 negative test
+:h3. NegSem_1400_procedure_signatures_002 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -3014,7 +3062,7 @@ error: A non-blocking signature cannot have `out' parameter
<COMPILE>
-<MODULE TTCN egSem_1400_procedure_signatures_002 egSem_1400_procedure_signatures_002.ttcn >
+<MODULE TTCN NegSem_1400_procedure_signatures_002 NegSem_1400_procedure_signatures_002.ttcn >
/*****************************************************************
** @version 0.0.1
** @purpose 1:14, Ensure that blocking calls needs response or exception handling
diff --git a/conformance_test/core_language_tests/negative_tests/08_empty_modules.script b/conformance_test/core_language_tests/negative_tests/08_empty_modules.script
index fb0a096652f7ddc15969579b8f708f6e782b6cfc..0acfb85f9769d12bd204a5178604b6abbd8d4a34 100644
--- a/conformance_test/core_language_tests/negative_tests/08_empty_modules.script
+++ b/conformance_test/core_language_tests/negative_tests/08_empty_modules.script
@@ -276,6 +276,38 @@ error
<END_TC>
:exmp
+*---------------------------------------------------------------------*
+:h3. Syn_0803_ModuleControlPart_003 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - Ensure that an empty control part is accepted. >
+
+<COMPILE>
+
+<MODULE TTCN Syn_0803_ModuleControlPart_003 Syn_0803_ModuleControlPart_003.ttcn >
+/******************************************************************************
+ ** @version 0.0.1
+ ** @purpose 1:8.3, Ensure that an empty control part is accepted.
+ ** @verdict pass accept, noexecution
+ *****************************************************************/
+
+module Syn_0803_ModuleControlPart_003 {
+
+ control {
+
+ }
+
+}
+<END_MODULE>
+
+<RESULT IF_PASS NEGATIVE>
+error
+<END_RESULT>
+
+<END_TC>
+:exmp
+
.*---------------------------------------------------------------------*
:h1.References
.*---------------------------------------------------------------------*
diff --git a/conformance_test/core_language_tests/negative_tests/15_templates.script b/conformance_test/core_language_tests/negative_tests/15_templates.script
index 536a2f8ff62b48e7426c5e059ef7c7680a32e3c3..0b98d15806ed42e68bb199edc0aa1498c702faa1 100644
--- a/conformance_test/core_language_tests/negative_tests/15_templates.script
+++ b/conformance_test/core_language_tests/negative_tests/15_templates.script
@@ -1071,60 +1071,7 @@ Dynamic test case error: Accessing field f1 of a non-specific template of type @
:exmp
*---------------------------------------------------------------------*
-:h3. NegSem_150602_ReferencingRecordAndSetFields_006 negative test
-.*---------------------------------------------------------------------*
-:xmp tab=0.
-
-<TC - Ensure that referencing a field of an address type, which actual value is null shall cause rejection. >
-
-<COMPILE>
-
-<MODULE TTCN NegSem_150602_ReferencingRecordAndSetFields_006 NegSem_150602_ReferencingRecordAndSetFields_006.ttcn >
-/*****************************************************************
- ** @version 0.0.1
- ** @purpose 1:15.6.2, Ensure that referencing a field of an address type, which actual value is null shall cause rejection.
- ** @verdict pass reject
- *****************************************************************/
-
-//Restriction d)
-/*Special value null: referencing a field of an address type, which actual value is null shall cause an error.*/
-
-module NegSem_150602_ReferencingRecordAndSetFields_006 {
-
- type component GeneralComp { }
-
- type integer address;
-
- type record MyRecordOne {
- address f1
- }
-
- testcase TC_NegSem_150602_ReferencingRecordAndSetFields_006() runs on GeneralComp {
- var template MyRecordOne m_R1 := {
- f1 := null
- }
- var template MyRecordOne m_R2 := {
- f1 := m_R1.f1 // access to a field with null shall cause an error!
- }
- setverdict(pass);
- }
-
- control{
- execute(TC_NegSem_150602_ReferencingRecordAndSetFields_006());
- }
-
-}
-<END_MODULE>
-
-<RESULT COUNT 1>
-error: integer value was expected
-<END_RESULT>
-
-<END_TC>
-:exmp
-
-*---------------------------------------------------------------------*
-:h3. NegSem_150602_ReferencingRecordAndSetFields_001 negative test
+:h3. NegSem_150603_ReferencingRecordOfAndSetElements_001 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -1173,7 +1120,7 @@ Dynamic test case error: Accessing an element of a non-specific template for typ
:exmp
*---------------------------------------------------------------------*
-:h3. NegSem_150602_ReferencingRecordAndSetFields_002 negative test
+:h3. NegSem_150603_ReferencingRecordOfAndSetElements_002 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -1221,7 +1168,7 @@ Dynamic test case error: Performing a valueof or send operation on a non-specifi
:exmp
*---------------------------------------------------------------------*
-:h3. NegSem_150602_ReferencingRecordAndSetFields_003 negative test
+:h3. NegSem_150603_ReferencingRecordOfAndSetElements_003 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -1268,7 +1215,7 @@ Dynamic test case error: Performing a valueof or send operation on a non-specifi
:exmp
*---------------------------------------------------------------------*
-:h3. NegSem_150602_ReferencingRecordAndSetFields_004 negative test
+:h3. NegSem_150603_ReferencingRecordOfAndSetElements_004 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -1315,7 +1262,7 @@ Dynamic test case error: Performing a valueof or send operation on a non-specifi
:exmp
*---------------------------------------------------------------------*
-:h3. NegSem_150602_ReferencingRecordAndSetFields_005 negative test
+:h3. NegSem_150603_ReferencingRecordOfAndSetElements_005 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -1370,7 +1317,7 @@ Dynamic test case error: Performing a valueof or send operation on a non-specifi
:exmp
*---------------------------------------------------------------------*
-:h3. NegSem_150602_ReferencingRecordAndSetFields_006 negative test
+:h3. NegSem_150603_ReferencingRecordOfAndSetElements_006 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -1423,7 +1370,7 @@ Dynamic test case error: Performing a valueof or send operation on a non-specifi
:exmp
*---------------------------------------------------------------------*
-:h3. NegSem_150602_ReferencingRecordAndSetFields_008 negative test
+:h3. NegSem_150603_ReferencingRecordOfAndSetElements_008 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -1470,7 +1417,7 @@ Dynamic test case error: Performing a valueof or send operation on a non-specifi
:exmp
*---------------------------------------------------------------------*
-:h3. NegSem_150602_ReferencingRecordAndSetFields_009 negative test
+:h3. NegSem_150603_ReferencingRecordOfAndSetElements_009 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -1519,7 +1466,7 @@ Dynamic test case error: Performing a valueof or send operation on a non-specifi
:exmp
*---------------------------------------------------------------------*
-:h3. NegSem_150602_ReferencingRecordAndSetFields_010 negative test
+:h3. NegSem_150603_ReferencingRecordOfAndSetElements_010 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -1578,7 +1525,7 @@ Dynamic test case error: Matching with an uninitialized/unsupported integer temp
:exmp
*---------------------------------------------------------------------*
-:h3. NegSem_150602_ReferencingRecordAndSetFields_011 negative test
+:h3. NegSem_150603_ReferencingRecordOfAndSetElements_011 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -1636,7 +1583,7 @@ Dynamic test case error: Copying an uninitialized/unsupported integer template.
:exmp
*---------------------------------------------------------------------*
-:h3. NegSem_150602_ReferencingRecordAndSetFields_012 negative test
+:h3. NegSem_150603_ReferencingRecordOfAndSetElements_012 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -1694,7 +1641,7 @@ Dynamic test case error: Copying an uninitialized/unsupported integer template.
:exmp
*---------------------------------------------------------------------*
-:h3. NegSem_150602_ReferencingRecordAndSetFields_013 negative test
+:h3. NegSem_150603_ReferencingRecordOfAndSetElements_013 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -1751,7 +1698,7 @@ Dynamic test case error: Assignment of an unbound integer value.
:exmp
*---------------------------------------------------------------------*
-:h3. NegSem_150602_ReferencingRecordAndSetFields_014 negative test
+:h3. NegSem_150603_ReferencingRecordOfAndSetElements_014 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -1799,56 +1746,6 @@ Dynamic test case error: Accessing an element of a non-specific template for typ
<END_TC>
:exmp
-*---------------------------------------------------------------------*
-:h3. NegSem_150602_ReferencingRecordAndSetFields_015 negative test
-.*---------------------------------------------------------------------*
-:xmp tab=0.
-
-<TC - Ensure that referencing an element of an address type, which actual value is null shall cause an error. >
-
-<COMPILE>
-
-<MODULE TTCN NegSem_150603_ReferencingRecordOfAndSetElements_015 NegSem_150603_ReferencingRecordOfAndSetElements_015.ttcn >
-/*****************************************************************
- ** @version 0.0.1
- ** @purpose 1:15.6.3, Ensure that referencing an element of an address type, which actual value is null shall cause an error.
- ** @verdict pass reject
- *****************************************************************/
-
- //Restriction h)
-/*Special value null: referencing an element of an address type, which actual value is null shall cause an error.*/
-
-module NegSem_150603_ReferencingRecordOfAndSetElements_015 {
-
- type component GeneralComp { }
-
- type set of integer RoI;
- type integer address;
-
- testcase TC_NegSem_150603_ReferencingRecordOfAndSetElements_015() runs on GeneralComp {
- var address v_add := null;
- var template RoI m_one;
-
-
- m_one := {v_add, 1}; // // shall cause an error as we access a value list
-
- setverdict(pass);
- }
-
- control{
- execute(TC_NegSem_150603_ReferencingRecordOfAndSetElements_015());
- }
-
-}
-<END_MODULE>
-
-<RESULT COUNT 1>
-error: integer value was expected
-<END_RESULT>
-
-<END_TC>
-:exmp
-
*---------------------------------------------------------------------*
:h3. NegSem_150605_Referencing_union_alternatives_001 negative test
.*---------------------------------------------------------------------*
diff --git a/conformance_test/core_language_tests/negative_tests/16-20_folders.script b/conformance_test/core_language_tests/negative_tests/16-20_folders.script
index 81d42d379987d138feb5927be4bc13fafcd24e8c..9fe703ddb1c970a07283adddab448b9b0b0b7f2a 100644
--- a/conformance_test/core_language_tests/negative_tests/16-20_folders.script
+++ b/conformance_test/core_language_tests/negative_tests/16-20_folders.script
@@ -1481,6 +1481,60 @@ Dynamic test case error: Performing a valueof or send operation on a non-specifi
<END_TC>
:exmp
+*---------------------------------------------------------------------*
+:h3. NegSem_160102_predefined_functions_034 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - Ensure that an error is detected when the parameter of the encvalue function contains a partially initialized value >
+
+<COMPILE>
+<EXECUTE_PARALLEL>
+
+<MODULE TTCN NegSem_160102_predefined_functions_034 NegSem_160102_predefined_functions_034.ttcn >
+/******************************************************************************
+ ** @version 0.0.1
+ ** @purpose 1:16.1.2, Ensure that an error is detected when the parameter of the encvalue function contains a partially initialized value
+ ** @verdict pass reject
+ ***************************************************/
+
+// The following requirements are tested:
+// 16.1.2, restriction a.3: all actual in and inout parameters shall be initialized
+
+module NegSem_160102_predefined_functions_034 {
+
+ type record R
+ {
+ integer field1,
+ integer field2
+ } with { variant "" }
+
+ type component GeneralComp {
+ }
+
+
+ testcase TC_NegSem_160102_predefined_functions_034 () runs on GeneralComp {
+ template R v_test := { field1 := 1, field2 := - }
+ var bitstring v_res := encvalue(v_test);
+ setverdict(fail, "The previous encvalue call should have caused an error");
+ }
+
+ control{
+
+ execute(TC_NegSem_160102_predefined_functions_034());
+
+ }
+
+} with { encode "RAW"}
+<END_MODULE>
+
+<RESULT COUNT 1>
+Dynamic test case error: While RAW-encoding type '@NegSem_160102_predefined_functions_034.R': Encoding an unbound value.
+<END_RESULT>
+
+<END_TC>
+:exmp
+
*---------------------------------------------------------------------*
:h3. NegSem_160102_predefined_functions_035 negative test
.*---------------------------------------------------------------------*
@@ -2435,6 +2489,313 @@ error: at or before token `setverdict': syntax error, unexpected SetVerdictKeywo
<END_TC>
:exmp
+*---------------------------------------------------------------------*
+:h3. NegSem_190302_select_union_statement_001 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - verify that header part of select-union statements cannot contain anything else than union instances >
+
+<COMPILE>
+
+<MODULE TTCN NegSem_190302_select_union_statement_001 NegSem_190302_select_union_statement_001.ttcn >
+/******************************************************************************
+ ** @version 0.0.1
+ ** @purpose 1:19.3.2, verify that header part of select-union statements cannot contain anything else than union instances
+ ** @verdict pass reject
+ ***************************************************/
+
+// The following requirement is tested:
+// In the header part of the select union statement a template instance of union
+// type shall be given.
+
+module NegSem_190302_select_union_statement_001 {
+
+ type component GeneralComp {
+ }
+
+ type record R {
+ integer intOption optional,
+ charstring strOption optional,
+ boolean boolOption optional
+ }
+
+ testcase TC_NegSem_190302_select_union_statement_001() runs on GeneralComp {
+ var R v_rec := { intOption := omit, strOption := "abc", boolOption := omit }
+
+ select union (v_rec) {
+ case (intOption) {
+ setverdict(pass);
+ } case (strOption) {
+ setverdict(pass);
+ } case (boolOption) {
+ setverdict(pass);
+ }
+ }
+ }
+
+ control {
+ execute(TC_NegSem_190302_select_union_statement_001());
+ }
+}
+<END_MODULE>
+
+<RESULT COUNT 1>
+error: The head must be of a union type or anytype
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. NegSem_190302_select_union_statement_002 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - verify that uninitialized value cannot be used in select union header >
+
+<COMPILE>
+<EXECUTE_PARALLEL>
+
+<MODULE TTCN NegSem_190302_select_union_statement_002 NegSem_190302_select_union_statement_002.ttcn >
+/******************************************************************************
+ ** @version 0.0.1
+ ** @purpose 1:19.3.2, verify that uninitialized value cannot be used in select union header
+ ** @verdict pass reject
+ ***************************************************/
+
+// The following requirement is tested:
+// [The TemplateInstance in the header of the select union statement] shall be
+// at least partially initialized.
+
+module NegSem_190302_select_union_statement_002 {
+
+ type component GeneralComp {
+ }
+
+ type union U {
+ integer intOption,
+ charstring strOption,
+ record {
+ integer field1,
+ integer field2
+ } recOption
+ }
+
+ type record R {
+ U field1,
+ integer field2
+ }
+
+ testcase TC_NegSem_190302_select_union_statement_002() runs on GeneralComp {
+ var R v_rec;
+ v_rec.field2 := 3;
+ select union (v_rec.field1) {
+ case (intOption) {
+ setverdict(fail);
+ } case (strOption) {
+ setverdict(fail);
+ } case (recOption) {
+ setverdict(pass);
+ }
+ }
+ }
+
+ control {
+ execute(TC_NegSem_190302_select_union_statement_002());
+ }
+}
+<END_MODULE>
+
+<RESULT COUNT 1>
+Dynamic test case error: The union in the head shall be initialized
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. NegSem_190302_select_union_statement_003 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - verify that unknown alternatives cannot be use in case statements >
+
+<COMPILE>
+
+<MODULE TTCN NegSem_190302_select_union_statement_003 NegSem_190302_select_union_statement_003.ttcn >
+/******************************************************************************
+ ** @version 0.0.1
+ ** @purpose 1:19.3.2, verify that unknown alternatives cannot be use in case statements
+ ** @verdict pass reject
+ ***************************************************/
+
+// The following requirement is tested:
+// Every Identifier in a case of the select union statement shall be an identifier
+// of an alternative of the union type of the template instance given to the
+// statement's header.
+
+module NegSem_190302_select_union_statement_003 {
+
+ type component GeneralComp {
+ }
+
+ type union U {
+ integer intOption,
+ charstring strOption,
+ record {
+ integer field1,
+ integer field2
+ } recOption
+ }
+
+ testcase TC_NegSem_190302_select_union_statement_003() runs on GeneralComp {
+ var U v_un := { intOption := 5 }
+ select union (v_un) {
+ case (intOption) {
+ setverdict(pass);
+ } case (strOption) {
+ setverdict(fail);
+ } case (recOption) {
+ setverdict(fail);
+ } case (boolOption) {
+ setverdict(fail);
+ }
+ }
+ }
+
+ control {
+ execute(TC_NegSem_190302_select_union_statement_003());
+ }
+}
+<END_MODULE>
+
+<RESULT COUNT 1>
+error: In the 4. branch: 'boolOption' is not an alternative of union type '@NegSem_190302_select_union_statement_003.U'
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. NegSem_190302_select_union_statement_004 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - verify that the same alternative cannot be used in two case statements (simple case) >
+
+<COMPILE>
+
+<MODULE TTCN NegSem_190302_select_union_statement_004 NegSem_190302_select_union_statement_004.ttcn >
+/******************************************************************************
+ ** @version 0.0.1
+ ** @purpose 1:19.3.2, verify that the same alternative cannot be used in two case statements (simple case)
+ ** @verdict pass reject
+ ***************************************************/
+
+// The following requirement is tested:
+// No two cases in a select union statement shall have the same case Identifier.
+
+module NegSem_190302_select_union_statement_004 {
+
+ type component GeneralComp {
+ }
+
+ type union U {
+ integer intOption,
+ charstring strOption,
+ record {
+ integer field1,
+ integer field2
+ } recOption
+ }
+
+ testcase TC_NegSem_190302_select_union_statement_004() runs on GeneralComp {
+ var U v_un := { recOption := { field1 := 1, field2 := 2 } }
+
+ select union (v_un) {
+ case (intOption) {
+ setverdict(pass);
+ } case (strOption) {
+ setverdict(fail);
+ } case (recOption) {
+ setverdict(fail);
+ } case (intOption) {
+ setverdict(pass);
+ }
+ }
+ }
+
+ control {
+ execute(TC_NegSem_190302_select_union_statement_004());
+ }
+}
+<END_MODULE>
+
+<RESULT COUNT 1>
+error: The 'intOption' is already present in the 1. branch of select union
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. NegSem_190302_select_union_statement_005 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - verify that the same alternative cannot be used in two case statements (list item) >
+
+<COMPILE>
+
+<MODULE TTCN NegSem_190302_select_union_statement_005 NegSem_190302_select_union_statement_005.ttcn >
+/******************************************************************************
+ ** @version 0.0.1
+ ** @purpose 1:19.3.2, verify that the same alternative cannot be used in two case statements (list item)
+ ** @verdict pass reject
+ ***************************************************/
+
+// The following requirement is tested:
+// No two cases in a select union statement shall have the same case Identifier.
+
+module NegSem_190302_select_union_statement_005 {
+
+ type component GeneralComp {
+ }
+
+ type union U {
+ integer intOption,
+ charstring strOption,
+ record {
+ integer field1,
+ integer field2
+ } recOption
+ }
+
+ testcase TC_NegSem_190302_select_union_statement_005() runs on GeneralComp {
+ var U v_un := { intOption := 10 }
+ select union (v_un) {
+ case (intOption, strOption) {
+ setverdict(pass);
+ } case (recOption, intOption) {
+ setverdict(fail);
+ }
+ }
+ }
+
+ control {
+ execute(TC_NegSem_190302_select_union_statement_005());
+ }
+}
+<END_MODULE>
+
+<RESULT COUNT 1>
+error: The 'intOption' is already present in the 1. branch of select union
+<END_RESULT>
+
+<END_TC>
+:exmp
+
*---------------------------------------------------------------------*
:h3. NegSem_1904_for_statement_001 negative test
.*---------------------------------------------------------------------*
diff --git a/conformance_test/core_language_tests/negative_tests/21_configuration_operations.script b/conformance_test/core_language_tests/negative_tests/21_configuration_operations.script
index c470a634c88180e50e1ef42897a62705f37002aa..bf3f61b39f4257260e3be39fe0314239a3b0b78f 100644
--- a/conformance_test/core_language_tests/negative_tests/21_configuration_operations.script
+++ b/conformance_test/core_language_tests/negative_tests/21_configuration_operations.script
@@ -53,7 +53,7 @@ This TD contains negative tests from ETSI TTCN3 Conformance Test's 21_configurat
:h2. 2101_connection_operations folder
.*---------------------------------------------------------------------*
*---------------------------------------------------------------------*
-:h3. NegSem_1601_toplevel_001 negative test
+:h3. NegSem_2101_TopLevel_001 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -61,7 +61,7 @@ This TD contains negative tests from ETSI TTCN3 Conformance Test's 21_configurat
<COMPILE>
-<MODULE TTCN NegSem_1601_toplevel_001 NegSem_1601_toplevel_001.ttcn >
+<MODULE TTCN NegSem_2101_TopLevel_001 NegSem_2101_TopLevel_001.ttcn >
/***************************************************
** @version 0.0.1
** @purpose 1:21.1, Verify that connect operation cannot contain a system port
@@ -99,7 +99,7 @@ error: The `system' component reference shall not be used in `connect' operation
:exmp
*---------------------------------------------------------------------*
-:h3. NegSem_1601_toplevel_002 negative test
+:h3. NegSem_2101_TopLevel_002 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -108,7 +108,7 @@ error: The `system' component reference shall not be used in `connect' operation
<COMPILE>
<EXECUTE_PARALLEL>
-<MODULE TTCN NegSem_1601_toplevel_002 NegSem_1601_toplevel_002.ttcn >
+<MODULE TTCN NegSem_2101_TopLevel_002 NegSem_2101_TopLevel_002.ttcn >
/***************************************************
** @version 0.0.1
** @purpose 1:21.1, Verify that map operation fails if both operands are component ports
@@ -684,7 +684,7 @@ error: The connection between port types `@NegSem_210101_connect_operation_001.m
:exmp
*---------------------------------------------------------------------*
-:h3. NegSem_210101_connect_operation_001 negative test
+:h3. NegSem_210101_map_operation_002 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
@@ -692,7 +692,7 @@ error: The connection between port types `@NegSem_210101_connect_operation_001.m
<COMPILE>
-<MODULE TTCN NegSem_210101_connect_operation_001 NegSem_210101_connect_operation_001.ttcn >
+<MODULE TTCN NegSem_210101_map_operation_002 NegSem_210101_map_operation_002.ttcn >
/***************************************************
** @version 0.0.1
** @purpose 1:21.1.1, Ensure that IUT cannot map input port with output port
diff --git a/conformance_test/core_language_tests/negative_tests/22_communication_operations.script b/conformance_test/core_language_tests/negative_tests/22_communication_operations.script
index 05f05a454b53e3ee32d4564e2993ae703f599101..a828c4b688ef8985631c64dc652bba94eaac641d 100644
--- a/conformance_test/core_language_tests/negative_tests/22_communication_operations.script
+++ b/conformance_test/core_language_tests/negative_tests/22_communication_operations.script
@@ -941,6 +941,72 @@ error: Type mismatch in value redirect: A variable of type `integer' was expecte
<END_TC>
:exmp
+*---------------------------------------------------------------------*
+:h3. NegSem_220202_ReceiveOperation_005 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - applying @decoded to a forbidden field >
+
+<COMPILE>
+
+<MODULE TTCN NegSem_220202_ReceiveOperation_005 NegSem_220202_ReceiveOperation_005.ttcn >
+/******************************************************************************
+ ** @version 0.0.1
+ ** @purpose 1:22.2.2, applying @decoded to a forbidden field
+ ** @verdict pass reject
+ *****************************************************************/
+
+// The following requirements are tested:
+// When assigning individual fields of a message, encoded payload fields can be
+// decoded prior to assignment using the @decoded modifier. In this case, the
+// referenced field on the right hand sided of the assignment shall be one of the
+// bitstring, hexstring, octetstring, charstring or universal charstring types. It
+// shall be decoded into a value of the same type as the variable on the left hand
+// side of the assignment.
+
+module NegSem_220202_ReceiveOperation_005 {
+ type record R {
+ integer id,
+ record of integer payload (0..255)
+ }
+
+ type port P message {
+ inout R;
+ } with {extension "internal"}
+
+ type component GeneralComp {
+ port P p;
+ }
+
+ testcase TC_NegSem_220202_ReceiveOperation_005() runs on GeneralComp {
+ var integer v_res;
+
+ connect(self:p, self:p);
+
+ p.send(R:{ id := 1, payload := {0, 0, 0, 0} });
+
+ alt {
+ [] p.receive(R:?) -> value (v_res := @decoded payload) {
+ setverdict (pass);
+ }
+ [] p.receive { setverdict(pass); }
+ }
+ }
+
+ control {
+ execute(TC_NegSem_220202_ReceiveOperation_005(), 5.0);
+ }
+} with {encode "RAW"}
+<END_MODULE>
+
+<RESULT COUNT>
+error: The '@decoded' modifier is only available to value redirects of string types
+<END_RESULT>
+
+<END_TC>
+:exmp
+
*---------------------------------------------------------------------*
:h3. NegSem_220202_ReceiveOperation_006 negative test
.*---------------------------------------------------------------------*
@@ -1743,6 +1809,71 @@ error: Type mismatch in value redirect: A variable of type `integer' was expecte
<END_RESULT>
+<END_TC>
+:exmp
+
+*---------------------------------------------------------------------*
+:h3. NegSem_220203_TriggerOperation_005 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - applying @decoded to a forbidden field >
+
+<COMPILE>
+
+<MODULE TTCN NegSem_220203_TriggerOperation_005 NegSem_220203_TriggerOperation_005.ttcn >
+/******************************************************************************
+ ** @version 0.0.1
+ ** @purpose 1:22.2.3, applying @decoded to a forbidden field
+ ** @verdict pass reject
+ *****************************************************************/
+
+// The following requirements are tested:
+// Rules in clause 22.2.2 shall apply.
+// When assigning individual fields of a message, encoded payload fields can be
+// decoded prior to assignment using the @decoded modifier. In this case, the
+// referenced field on the right hand sided of the assignment shall be one of the
+// bitstring, hexstring, octetstring, charstring or universal charstring types. It
+// shall be decoded into a value of the same type as the variable on the left hand
+// side of the assignment.
+
+module NegSem_220203_TriggerOperation_005 {
+ type record R {
+ integer id,
+ record of integer payload (0..255)
+ }
+
+ type port P message {
+ inout R;
+ } with {extension "internal"}
+
+ type component GeneralComp {
+ port P p;
+ }
+
+ testcase TC_NegSem_220203_TriggerOperation_005() runs on GeneralComp {
+ var integer v_res;
+
+ connect(self:p, self:p);
+ p.send(R:{ id := 1, payload := {0, 0, 0, 0} });
+ alt {
+ [] p.trigger(R:?) -> value (v_res := @decoded payload) {
+ setverdict (pass);
+ }
+ }
+ }
+
+ control {
+ execute(TC_NegSem_220203_TriggerOperation_005(), 5.0);
+ }
+} with {encode "RAW"}
+<END_MODULE>
+
+<RESULT COUNT 1>
+error: The '@decoded' modifier is only available to value redirects of string types
+<END_RESULT>
+
+
<END_TC>
:exmp
@@ -3014,6 +3145,76 @@ Dynamic test case error: The second argument of connect operation contains the n
<END_TC>
:exmp
+*---------------------------------------------------------------------*
+:h3. NegSem_220302_GetcallOperation_011 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - applying @decoded to a forbidden field >
+
+<COMPILE>
+
+<MODULE TTCN NegSem_220302_GetcallOperation_011 NegSem_220302_GetcallOperation_011.ttcn >
+/******************************************************************************
+ ** @version 0.0.1
+ ** @purpose 1:22.3.2, applying @decoded to a forbidden field
+ ** @verdict pass reject
+ *****************************************************************/
+
+// The following requirements are tested:
+// When assigning individual fields of a message, encoded payload fields can be
+// decoded prior to assignment using the @decoded modifier. In this case, the
+// referenced field on the right hand sided of the assignment shall be one of the
+// bitstring, hexstring, octetstring, charstring or universal charstring types. It
+// shall be decoded into a value of the same type as the variable on the left hand
+// side of the assignment.
+
+module NegSem_220302_GetcallOperation_011 {
+ type record of integer RoI (0..255);
+
+ signature S(RoI p_par);
+
+ type port P procedure {
+ inout S;
+ } with {extension "internal"}
+
+ type component GeneralComp {
+ port P p;
+ }
+
+ function f_server() runs on GeneralComp {
+ var integer v_res;
+ alt {
+ [] p.getcall(S: {p_par := ?} ) -> param (v_res := @decoded p_par) {
+ setverdict (pass);
+ }
+ [] p.getcall { setverdict(fail); }
+ }
+ }
+
+ testcase TC_NegSem_220302_GetcallOperation_011() runs on GeneralComp system GeneralComp {
+ var GeneralComp v_ptc := GeneralComp.create("PTC");
+ connect(self:p, v_ptc:p);
+ v_ptc.start(f_server());
+ p.call(S:{ p_par := { 0, 0, 0, 0 } }, nowait);
+ v_ptc.done;
+ setverdict(pass);
+ }
+
+ control {
+ execute(TC_NegSem_220302_GetcallOperation_011(), 5.0);
+ }
+} with {encode "RAW"}
+<END_MODULE>
+
+<RESULT COUNT>
+error: The '@decoded' modifier is only available to parameter redirects of string types.
+<END_RESULT>
+
+<END_TC>
+:exmp
+
+
*---------------------------------------------------------------------*
:h3. NegSem_220302_GetcallOperation_012 negative test
.*---------------------------------------------------------------------*
diff --git a/conformance_test/core_language_tests/negative_tests/23-27-B_folders.script b/conformance_test/core_language_tests/negative_tests/23-27-B_folders.script
index 93fb64cd467ebbdc4d4acef4d5f534e5aab65f73..7e837009746872bb1f3a3178522a29a20935e1a5 100644
--- a/conformance_test/core_language_tests/negative_tests/23-27-B_folders.script
+++ b/conformance_test/core_language_tests/negative_tests/23-27-B_folders.script
@@ -6221,10 +6221,6 @@ error: permutation match cannot be used for type `integer'
<END_TC>
:exmp
-*---------------------------------------------------------------------*
-:h3. B0104_matching_attributes_of_values folder
-.*---------------------------------------------------------------------*
-
*---------------------------------------------------------------------*
:h3. NegSem_B010401_length_restrictions_002 negative test
.*---------------------------------------------------------------------*
diff --git a/conformance_test/core_language_tests/positive_tests/16_functions_altsteps_testcases/1601_functions/160102_predefined_functions/Sem_160102_predefined_functions_034.ttcn b/conformance_test/core_language_tests/positive_tests/16_functions_altsteps_testcases/1601_functions/160102_predefined_functions/Sem_160102_predefined_functions_034.ttcn
index e98e3a690534ccc66229f0c0318b26e1809c8ff4..50d4dba5997e8054c964ec98153091925381f090 100755
--- a/conformance_test/core_language_tests/positive_tests/16_functions_altsteps_testcases/1601_functions/160102_predefined_functions/Sem_160102_predefined_functions_034.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/16_functions_altsteps_testcases/1601_functions/160102_predefined_functions/Sem_160102_predefined_functions_034.ttcn
@@ -45,4 +45,4 @@ module Sem_160102_predefined_functions_034 {
control{
execute(TC_Sem_160102_predefined_functions_034());
}
-}
+}
diff --git a/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190301_select_union_statement_001.ttcn b/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190302_select_union_statement_001.ttcn
similarity index 88%
rename from conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190301_select_union_statement_001.ttcn
rename to conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190302_select_union_statement_001.ttcn
index bef7d3b8cfe11c4ad12551d03151b99debeac838..c44b0c5cac573b931faa53b64b24ba9317b69d41 100644
--- a/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190301_select_union_statement_001.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190302_select_union_statement_001.ttcn
@@ -17,7 +17,7 @@
// In the header part of the select union statement a template instance of union
// type shall be given.
-module NegSem_190301_select_union_statement_001 {
+module NegSem_190302_select_union_statement_001 {
type component GeneralComp {
}
@@ -28,7 +28,7 @@ module NegSem_190301_select_union_statement_001 {
boolean boolOption optional
}
- testcase TC_NegSem_190301_select_union_statement_001() runs on GeneralComp {
+ testcase TC_NegSem_190302_select_union_statement_001() runs on GeneralComp {
var R v_rec := { intOption := omit, strOption := "abc", boolOption := omit }
select union (v_rec) {
@@ -43,6 +43,6 @@ module NegSem_190301_select_union_statement_001 {
}
control {
- execute(TC_NegSem_190301_select_union_statement_001());
+ execute(TC_NegSem_190302_select_union_statement_001());
}
}
diff --git a/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190301_select_union_statement_002.ttcn b/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190302_select_union_statement_002.ttcn
similarity index 89%
rename from conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190301_select_union_statement_002.ttcn
rename to conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190302_select_union_statement_002.ttcn
index 39142cbe53b5b7813396708520140f189cf2fb17..c4d0844c4dc8db3e1fce4085db662f83501897ec 100644
--- a/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190301_select_union_statement_002.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190302_select_union_statement_002.ttcn
@@ -17,7 +17,7 @@
// [The TemplateInstance in the header of the select union statement] shall be
// at least partially initialized.
-module NegSem_190301_select_union_statement_002 {
+module NegSem_190302_select_union_statement_002 {
type component GeneralComp {
}
@@ -36,7 +36,7 @@ module NegSem_190301_select_union_statement_002 {
integer field2
}
- testcase TC_NegSem_190301_select_union_statement_002() runs on GeneralComp {
+ testcase TC_NegSem_190302_select_union_statement_002() runs on GeneralComp {
var R v_rec;
v_rec.field2 := 3;
select union (v_rec.field1) {
@@ -51,6 +51,6 @@ module NegSem_190301_select_union_statement_002 {
}
control {
- execute(TC_NegSem_190301_select_union_statement_002());
+ execute(TC_NegSem_190302_select_union_statement_002());
}
}
diff --git a/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190301_select_union_statement_003.ttcn b/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190302_select_union_statement_003.ttcn
similarity index 89%
rename from conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190301_select_union_statement_003.ttcn
rename to conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190302_select_union_statement_003.ttcn
index 8d8a8f05c59f154241a8f98bd8bcf000db0e1d66..033cff13c9d13551b598f9a7dc4cfe79b7654ee8 100644
--- a/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190301_select_union_statement_003.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190302_select_union_statement_003.ttcn
@@ -18,7 +18,7 @@
// of an alternative of the union type of the template instance given to the
// statement's header.
-module NegSem_190301_select_union_statement_003 {
+module NegSem_190302_select_union_statement_003 {
type component GeneralComp {
}
@@ -32,7 +32,7 @@ module NegSem_190301_select_union_statement_003 {
} recOption
}
- testcase TC_NegSem_190301_select_union_statement_003() runs on GeneralComp {
+ testcase TC_NegSem_190302_select_union_statement_003() runs on GeneralComp {
var U v_un := { intOption := 5 }
select union (v_un) {
case (intOption) {
@@ -48,6 +48,6 @@ module NegSem_190301_select_union_statement_003 {
}
control {
- execute(TC_NegSem_190301_select_union_statement_003());
+ execute(TC_NegSem_190302_select_union_statement_003());
}
}
diff --git a/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190301_select_union_statement_004.ttcn b/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190302_select_union_statement_004.ttcn
similarity index 89%
rename from conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190301_select_union_statement_004.ttcn
rename to conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190302_select_union_statement_004.ttcn
index b99240c37c7b9ffd0e54d5004fab3a187db1629b..a3b073d3fd52f4e2dd180cd68280e4125b0d1d50 100644
--- a/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190301_select_union_statement_004.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190302_select_union_statement_004.ttcn
@@ -16,7 +16,7 @@
// The following requirement is tested:
// No two cases in a select union statement shall have the same case Identifier.
-module NegSem_190301_select_union_statement_004 {
+module NegSem_190302_select_union_statement_004 {
type component GeneralComp {
}
@@ -30,7 +30,7 @@ module NegSem_190301_select_union_statement_004 {
} recOption
}
- testcase TC_NegSem_190301_select_union_statement_004() runs on GeneralComp {
+ testcase TC_NegSem_190302_select_union_statement_004() runs on GeneralComp {
var U v_un := { recOption := { field1 := 1, field2 := 2 } }
select union (v_un) {
@@ -47,6 +47,6 @@ module NegSem_190301_select_union_statement_004 {
}
control {
- execute(TC_NegSem_190301_select_union_statement_004());
+ execute(TC_NegSem_190302_select_union_statement_004());
}
}
diff --git a/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190301_select_union_statement_005.ttcn b/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190302_select_union_statement_005.ttcn
similarity index 88%
rename from conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190301_select_union_statement_005.ttcn
rename to conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190302_select_union_statement_005.ttcn
index a4735c9a3321b504a4aa874f1dab9f7e9c6950df..02d815ece7abb569945189c37c0cca915a16b31b 100644
--- a/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190301_select_union_statement_005.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190302_select_union_statement_005.ttcn
@@ -16,7 +16,7 @@
// The following requirement is tested:
// No two cases in a select union statement shall have the same case Identifier.
-module NegSem_190301_select_union_statement_005 {
+module NegSem_190302_select_union_statement_005 {
type component GeneralComp {
}
@@ -30,7 +30,7 @@ module NegSem_190301_select_union_statement_005 {
} recOption
}
- testcase TC_NegSem_190301_select_union_statement_005() runs on GeneralComp {
+ testcase TC_NegSem_190302_select_union_statement_005() runs on GeneralComp {
var U v_un := { intOption := 10 }
select union (v_un) {
case (intOption, strOption) {
@@ -42,6 +42,6 @@ module NegSem_190301_select_union_statement_005 {
}
control {
- execute(TC_NegSem_190301_select_union_statement_005());
+ execute(TC_NegSem_190302_select_union_statement_005());
}
}
diff --git a/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_001.ttcn b/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_001.ttcn
similarity index 88%
rename from conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_001.ttcn
rename to conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_001.ttcn
index 5adbd1ecc84cd8a0cf15a7617f0f70d239e41e98..9ec571708641e7ce1179d574f90d49b9491991c7 100644
--- a/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_001.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_001.ttcn
@@ -16,7 +16,7 @@
// The following requirement is tested:
// The statement contains a header part and zero or more branches.
-module Sem_190301_select_union_statement_001 {
+module Sem_190302_select_union_statement_001 {
type component GeneralComp {
}
@@ -27,7 +27,7 @@ module Sem_190301_select_union_statement_001 {
boolean boolOption
}
- testcase TC_Sem_190301_select_union_statement_001() runs on GeneralComp {
+ testcase TC_Sem_190302_select_union_statement_001() runs on GeneralComp {
var U v_un := { strOption := "abc" }
select union (v_un) {
case (intOption) {
@@ -41,6 +41,6 @@ module Sem_190301_select_union_statement_001 {
}
control {
- execute(TC_Sem_190301_select_union_statement_001());
+ execute(TC_Sem_190302_select_union_statement_001());
}
}
diff --git a/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_002.ttcn b/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_002.ttcn
similarity index 89%
rename from conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_002.ttcn
rename to conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_002.ttcn
index cae4aa7801a734d48c9d6f4ed2a9d362405991f0..05bf92e301b8b16b7cf67497bc91554ab47b87cd 100644
--- a/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_002.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_002.ttcn
@@ -18,7 +18,7 @@
// of the alternatives (fields) of the union type (a list branch) or the else keyword
// (an else branch) and a statement block.
-module Sem_190301_select_union_statement_002 {
+module Sem_190302_select_union_statement_002 {
type component GeneralComp {
}
@@ -30,7 +30,7 @@ module Sem_190301_select_union_statement_002 {
bitstring bitOption
}
- testcase TC_Sem_190301_select_union_statement_002() runs on GeneralComp {
+ testcase TC_Sem_190302_select_union_statement_002() runs on GeneralComp {
var U v_un := { strOption := "abc" }
select union (v_un) {
case (intOption, boolOption, strOption) {
@@ -42,6 +42,6 @@ module Sem_190301_select_union_statement_002 {
}
control {
- execute(TC_Sem_190301_select_union_statement_002());
+ execute(TC_Sem_190302_select_union_statement_002());
}
}
diff --git a/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_003.ttcn b/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_003.ttcn
similarity index 89%
rename from conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_003.ttcn
rename to conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_003.ttcn
index 0fc88d1c23989d8d52e81c62ee494d7dd1cde847..f578b962261e49622c0e120acbcc522bddd81c80 100644
--- a/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_003.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_003.ttcn
@@ -18,7 +18,7 @@
// of the alternatives (fields) of the union type (a list branch) or the else keyword
// (an else branch) and a statement block.
-module Sem_190301_select_union_statement_003 {
+module Sem_190302_select_union_statement_003 {
type component GeneralComp {
}
@@ -30,7 +30,7 @@ module Sem_190301_select_union_statement_003 {
bitstring bitOption
}
- testcase TC_Sem_190301_select_union_statement_003() runs on GeneralComp {
+ testcase TC_Sem_190302_select_union_statement_003() runs on GeneralComp {
var U v_un := { strOption := "abc" }
select union (v_un) {
case (strOption) {
@@ -44,6 +44,6 @@ module Sem_190301_select_union_statement_003 {
}
control {
- execute(TC_Sem_190301_select_union_statement_003());
+ execute(TC_Sem_190302_select_union_statement_003());
}
}
diff --git a/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_004.ttcn b/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_004.ttcn
similarity index 88%
rename from conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_004.ttcn
rename to conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_004.ttcn
index 65a5300b3a098c5b0e9323cba8c915d281739338..8054aadfd5e3794f082ae9b4893985a3a2b757f8 100644
--- a/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_004.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_004.ttcn
@@ -17,7 +17,7 @@
// If no case exists for the chosen alternative, the StatementBlock of the else
// branch, if it is present, is executed.
-module Sem_190301_select_union_statement_004 {
+module Sem_190302_select_union_statement_004 {
type component GeneralComp {
}
@@ -29,7 +29,7 @@ module Sem_190301_select_union_statement_004 {
bitstring bitOption
}
- testcase TC_Sem_190301_select_union_statement_004() runs on GeneralComp {
+ testcase TC_Sem_190302_select_union_statement_004() runs on GeneralComp {
var U v_un := { strOption := "abc" }
select union (v_un) {
case (intOption) {
@@ -43,6 +43,6 @@ module Sem_190301_select_union_statement_004 {
}
control {
- execute(TC_Sem_190301_select_union_statement_004());
+ execute(TC_Sem_190302_select_union_statement_004());
}
}
diff --git a/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_005.ttcn b/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_005.ttcn
similarity index 88%
rename from conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_005.ttcn
rename to conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_005.ttcn
index c3ce1438d7baecbf6ddf20e1d24e3c4e65d1311f..9118f5bd2c00fdfbc4e1999c07238d3119617559 100644
--- a/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_005.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_005.ttcn
@@ -17,7 +17,7 @@
// Otherwise [if no case exists for the chosen alternative and the else branch
// is not present], the select union statement has no effect.
-module Sem_190301_select_union_statement_005 {
+module Sem_190302_select_union_statement_005 {
type component GeneralComp {
}
@@ -29,7 +29,7 @@ module Sem_190301_select_union_statement_005 {
bitstring bitOption
}
- testcase TC_Sem_190301_select_union_statement_005() runs on GeneralComp {
+ testcase TC_Sem_190302_select_union_statement_005() runs on GeneralComp {
var U v_un := { strOption := "abc" }
select union (v_un) {
case (intOption) {
@@ -42,6 +42,6 @@ module Sem_190301_select_union_statement_005 {
}
control {
- execute(TC_Sem_190301_select_union_statement_005());
+ execute(TC_Sem_190302_select_union_statement_005());
}
}
diff --git a/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_006.ttcn b/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_006.ttcn
similarity index 89%
rename from conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_006.ttcn
rename to conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_006.ttcn
index 4b1f30cdd3135eafe804c29fe6fc804d588bdc11..67a347dea60a085b56a6968dbdf24566f391d2c6 100644
--- a/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_006.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_006.ttcn
@@ -17,7 +17,7 @@
// [The TemplateInstance in the header of the select union statement] shall be
// at least partially initialized.
-module Sem_190301_select_union_statement_006 {
+module Sem_190302_select_union_statement_006 {
type component GeneralComp {
}
@@ -31,7 +31,7 @@ module Sem_190301_select_union_statement_006 {
} recOption
}
- testcase TC_Sem_190301_select_union_statement_006() runs on GeneralComp {
+ testcase TC_Sem_190302_select_union_statement_006() runs on GeneralComp {
var U v_un := { recOption := { field1 := 1, field2 := - } }
select union (v_un) {
case (intOption) {
@@ -45,6 +45,6 @@ module Sem_190301_select_union_statement_006 {
}
control {
- execute(TC_Sem_190301_select_union_statement_006());
+ execute(TC_Sem_190302_select_union_statement_006());
}
}
diff --git a/conformance_test/core_language_tests/positive_tests/22_communication_operations/2202_message_based_communication/220202_receive_operation/NegSem_220202_ReceiveOperation_005.ttcn b/conformance_test/core_language_tests/positive_tests/22_communication_operations/2202_message_based_communication/220202_receive_operation/NegSem_220202_ReceiveOperation_005.ttcn
index 189663e29b4eba96e48e0eab586f4358e6ac0c3e..9abfc98ab510e37980a4126ce7f6844a00727fd8 100644
--- a/conformance_test/core_language_tests/positive_tests/22_communication_operations/2202_message_based_communication/220202_receive_operation/NegSem_220202_ReceiveOperation_005.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/22_communication_operations/2202_message_based_communication/220202_receive_operation/NegSem_220202_ReceiveOperation_005.ttcn
@@ -53,4 +53,4 @@ module NegSem_220202_ReceiveOperation_005 {
control {
execute(TC_NegSem_220202_ReceiveOperation_005(), 5.0);
}
-}
+} with {encode "RAW"}
diff --git a/conformance_test/core_language_tests/positive_tests/22_communication_operations/2202_message_based_communication/220202_receive_operation/NegSem_220202_ReceiveOperation_023.ttcn b/conformance_test/core_language_tests/positive_tests/22_communication_operations/2202_message_based_communication/220202_receive_operation/NegSem_220202_ReceiveOperation_023.ttcn
index 80aa5d0fbad4d139a23e96b25cc5844f95de4668..6e2a6bcb612234b43b309fe8f54b0b3b911bf47d 100644
--- a/conformance_test/core_language_tests/positive_tests/22_communication_operations/2202_message_based_communication/220202_receive_operation/NegSem_220202_ReceiveOperation_023.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/22_communication_operations/2202_message_based_communication/220202_receive_operation/NegSem_220202_ReceiveOperation_023.ttcn
@@ -30,7 +30,7 @@ module NegSem_220202_ReceiveOperation_023 {
type record Wrapped {
integer num
- }
+ } with { variant ""}
type port P message {
inout R;
@@ -45,11 +45,14 @@ module NegSem_220202_ReceiveOperation_023 {
var Wrapped v_res;
var R v_rec := { id := 0, payload := bit2oct(encvalue(input)) };
+
+ connect(self:p, self:p);
+
p.send(v_rec);
alt {
- [] p.receive(R:{ id := ?, payload := decmatch integer:? }) -> value (v_res := @decoded payload) {}
+ [] p.receive(R:{ id := ?, payload := decmatch I:? }) -> value (v_res := @decoded payload) {}
[] p.receive {}
- }
+ }
setverdict(pass);
}
diff --git a/conformance_test/core_language_tests/positive_tests/22_communication_operations/2202_message_based_communication/220203_trigger_operation/NegSem_220203_TriggerOperation_005.ttcn b/conformance_test/core_language_tests/positive_tests/22_communication_operations/2202_message_based_communication/220203_trigger_operation/NegSem_220203_TriggerOperation_005.ttcn
index 42705c9a5a5e1d9a1240fc877d37b7ab3084a979..942a3de18c4a2878c52cf7e05fb65772a918d49f 100644
--- a/conformance_test/core_language_tests/positive_tests/22_communication_operations/2202_message_based_communication/220203_trigger_operation/NegSem_220203_TriggerOperation_005.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/22_communication_operations/2202_message_based_communication/220203_trigger_operation/NegSem_220203_TriggerOperation_005.ttcn
@@ -51,4 +51,4 @@ module NegSem_220203_TriggerOperation_005 {
control {
execute(TC_NegSem_220203_TriggerOperation_005(), 5.0);
}
-}
+} with {encode "RAW"}
diff --git a/conformance_test/core_language_tests/positive_tests/22_communication_operations/2202_message_based_communication/220203_trigger_operation/NegSem_220203_TriggerOperation_023.ttcn b/conformance_test/core_language_tests/positive_tests/22_communication_operations/2202_message_based_communication/220203_trigger_operation/NegSem_220203_TriggerOperation_023.ttcn
index 0640ac187278a1a45c8681de7e7d9af3efb968bb..ffd4f90389a1845a354bfe839fe43f25fdc87940 100644
--- a/conformance_test/core_language_tests/positive_tests/22_communication_operations/2202_message_based_communication/220203_trigger_operation/NegSem_220203_TriggerOperation_023.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/22_communication_operations/2202_message_based_communication/220203_trigger_operation/NegSem_220203_TriggerOperation_023.ttcn
@@ -30,7 +30,7 @@ module NegSem_220203_TriggerOperation_023 {
type record Wrapped {
integer num
- }
+ } with { variant ""};
type port P message {
inout R;
@@ -49,7 +49,7 @@ module NegSem_220203_TriggerOperation_023 {
connect(self:p, self:p);
p.send(v_rec);
alt {
- [] p.trigger(R:{ id := ?, payload := decmatch integer:? }) -> value (v_res := @decoded payload) {}
+ [] p.trigger(R:{ id := ?, payload := decmatch I:? }) -> value (v_res := @decoded payload) {}
[else] {}
}
setverdict(pass);
diff --git a/conformance_test/core_language_tests/positive_tests/22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_011.ttcn b/conformance_test/core_language_tests/positive_tests/22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_011.ttcn
index 24d1db46db03c447a58999efc2258fd0f37e10a3..8c4b55ed9b52e40f5c87119fdf37bdf7ffde8506 100644
--- a/conformance_test/core_language_tests/positive_tests/22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_011.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_011.ttcn
@@ -56,4 +56,4 @@ module NegSem_220302_GetcallOperation_011 {
control {
execute(TC_NegSem_220302_GetcallOperation_011(), 5.0);
}
-}
+} with {encode "RAW"}
diff --git a/conformance_test/core_language_tests/positive_tests/22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_017.ttcn b/conformance_test/core_language_tests/positive_tests/22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_017.ttcn
index 100d9496a237c9d0f59d0e90795727eec89eb3fc..f07b0637902e9183254de8d698c227d42e83bad2 100644
--- a/conformance_test/core_language_tests/positive_tests/22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_017.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_017.ttcn
@@ -35,12 +35,12 @@ module NegSem_220302_GetcallOperation_017 {
type record Wrapped {
integer num
- }
+ } with { variant "" }
function f_server() runs on GeneralComp {
var Wrapped v_res;
alt {
- [] p.getcall(S:{ p_par := decmatch integer:? }) -> param (v_res := @decoded p_par) {
+ [] p.getcall(S:{ p_par := decmatch I:? }) -> param (v_res := @decoded p_par) {
setverdict (pass);
}
[] p.getcall { setverdict(pass); }
diff --git a/conformance_test/core_language_tests/positive_tests/22_communication_operations/2203_procedure_based_communication/220304_getreply_operation/NegSem_220304_getreply_operation_014.ttcn b/conformance_test/core_language_tests/positive_tests/22_communication_operations/2203_procedure_based_communication/220304_getreply_operation/NegSem_220304_getreply_operation_014.ttcn
index 1fcf5927ba96ae5ffe49e9f116179d967c2eb288..6714a74fb0ccc83d377e4228a525e8c0945fc5b7 100644
--- a/conformance_test/core_language_tests/positive_tests/22_communication_operations/2203_procedure_based_communication/220304_getreply_operation/NegSem_220304_getreply_operation_014.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/22_communication_operations/2203_procedure_based_communication/220304_getreply_operation/NegSem_220304_getreply_operation_014.ttcn
@@ -35,7 +35,7 @@ module NegSem_220304_getreply_operation_014 {
type record Wrapped {
integer num
- }
+ } with {variant ""}
function f_server() runs on GeneralComp {
var I v_src := 5;
@@ -52,7 +52,7 @@ module NegSem_220304_getreply_operation_014 {
v_ptc.start(f_server());
p.call(S:{ p_par := - }) {
- [] p.getreply(S:{ p_par := decmatch integer:? }) -> param (v_res := @decoded p_par) {
+ [] p.getreply(S:{ p_par := decmatch I:? }) -> param (v_res := @decoded p_par) {
setverdict (pass);
}
[] p.getreply { setverdict(pass); }
diff --git a/conformance_test/core_language_tests/positive_tests/22_communication_operations/2203_procedure_based_communication/220304_getreply_operation/NegSem_220304_getreply_operation_020.ttcn b/conformance_test/core_language_tests/positive_tests/22_communication_operations/2203_procedure_based_communication/220304_getreply_operation/NegSem_220304_getreply_operation_020.ttcn
index f6a50e76478a1af82cac58ae8c5c66e09361dd36..e69bbb7da9f6521d7825b0943ff0f3f037484fe5 100644
--- a/conformance_test/core_language_tests/positive_tests/22_communication_operations/2203_procedure_based_communication/220304_getreply_operation/NegSem_220304_getreply_operation_020.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/22_communication_operations/2203_procedure_based_communication/220304_getreply_operation/NegSem_220304_getreply_operation_020.ttcn
@@ -27,7 +27,7 @@ module NegSem_220304_getreply_operation_020 {
}
signature S() return R;
- type integer I with {variant ""};
+ type integer I with {variant "32 bit"};
type port P procedure {
inout S;
@@ -39,7 +39,7 @@ module NegSem_220304_getreply_operation_020 {
type record Wrapped {
integer num
- }
+ } with { variant ""}
function f_server() runs on GeneralComp {
var I v_src := 5;
@@ -54,7 +54,7 @@ module NegSem_220304_getreply_operation_020 {
connect(self:p, v_ptc:p);
v_ptc.start(f_server());
p.call(S:{}) {
- [] p.getreply(S:{} value R:{ id := ?, payload := decmatch integer:? }) -> value (v_res := @decoded payload) {
+ [] p.getreply(S:{} value R:{ id := ?, payload := decmatch I:? }) -> value (v_res := @decoded payload) {
setverdict (pass);
}
[] p.getreply { setverdict(pass); }
diff --git a/conformance_test/core_language_tests/positive_tests/22_communication_operations/2203_procedure_based_communication/220304_getreply_operation/Sem_220304_getreply_operation_014.ttcn b/conformance_test/core_language_tests/positive_tests/22_communication_operations/2203_procedure_based_communication/220304_getreply_operation/Sem_220304_getreply_operation_014.ttcn
index df473b7b13aef02dfa5ad884655dc9a83fadb886..8ce8fa60ef35f364059bb5dab23b1e06c4c7af1a 100644
--- a/conformance_test/core_language_tests/positive_tests/22_communication_operations/2203_procedure_based_communication/220304_getreply_operation/Sem_220304_getreply_operation_014.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/22_communication_operations/2203_procedure_based_communication/220304_getreply_operation/Sem_220304_getreply_operation_014.ttcn
@@ -35,7 +35,7 @@ module Sem_220304_getreply_operation_014 {
function f_server() runs on GeneralComp {
var I v_src := 1953719668;
var universal charstring v_str := encvalue_unichar(v_src, "UTF-16LE");
- p.getcall(S: {});
+ p.getcall(S: { p_par := -});
p.reply(S:{ p_par := v_str });
}
diff --git a/conformance_test/core_language_tests/positive_tests/22_communication_operations/2203_procedure_based_communication/220306_catch_operation/NegSem_220306_catch_operation_014.ttcn b/conformance_test/core_language_tests/positive_tests/22_communication_operations/2203_procedure_based_communication/220306_catch_operation/NegSem_220306_catch_operation_014.ttcn
index 417accc5e45e335db94dbb2da0e72b7d1562e122..dc11cd3aa617114e6632ab1418b0b1cbe4106946 100644
--- a/conformance_test/core_language_tests/positive_tests/22_communication_operations/2203_procedure_based_communication/220306_catch_operation/NegSem_220306_catch_operation_014.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/22_communication_operations/2203_procedure_based_communication/220306_catch_operation/NegSem_220306_catch_operation_014.ttcn
@@ -25,7 +25,7 @@ module NegSem_220306_catch_operation_014 {
integer id,
bitstring payload
}
- signature S() return R;
+ signature S() exception (R);
type integer I with {variant "32 bit"};
@@ -39,13 +39,13 @@ module NegSem_220306_catch_operation_014 {
type record Wrapped {
integer num
- }
+ } with { variant ""}
function f_server() runs on GeneralComp {
var I v_src := 5;
var R v_rec := { id := 1, payload := encvalue(v_src) };
p.getcall(S:{});
- p.reply(S:{} value v_rec);
+ p.raise(S, v_rec);
}
testcase TC_NegSem_220306_catch_operation_014() runs on GeneralComp system GeneralComp {
@@ -53,11 +53,12 @@ module NegSem_220306_catch_operation_014 {
var GeneralComp v_ptc := GeneralComp.create("PTC");
connect(self:p, v_ptc:p);
v_ptc.start(f_server());
+
p.call(S:{}) {
- [] p.getreply(S:{} value R:{ id := ?, payload := decmatch integer:? }) -> value (v_res := @decoded payload) {
+ [] p.catch(S, R:{ id := ?, payload := decmatch I:? }) -> value (v_res := @decoded payload) {
setverdict (pass);
}
- [] p.getreply { setverdict(pass); }
+ [] p.catch { setverdict(pass); }
}
}
diff --git a/conformance_test/core_language_tests/positive_tests/README.txt b/conformance_test/core_language_tests/positive_tests/README.txt
index 6d5c11eb90d4338c6171de052c59d824046e4f92..49636fc93e770535c24dc7d5310001e3b6197666 100644
--- a/conformance_test/core_language_tests/positive_tests/README.txt
+++ b/conformance_test/core_language_tests/positive_tests/README.txt
@@ -1,17 +1,11 @@
// README to positive conformance tests
How to run:
-A.
-1. Create bin folder in positive_tests and copy XML_tests.cfg into it
-2. Use the Makefile in positive tests folder
-
-B. (Without the Makefile)
1. Generate a Makefile from pos_conf_test.tpd in positive_tests folder:
ttcn3_makefilegen -f -t pos_conf_tests.tpd
-2. Create bin folder in positive_tests and copy pos_conf_tests.cfg into it
-3. Compile Makefile in bin folder:
+2. Compile Makefile in bin folder:
make
-4. Run tests in bin folder:
- ttcn3_start pos_conf_tests pos_conf_tests.cfg
-5. Clean everything in bin folder:
+3. Run tests in bin folder:
+ ttcn3_start pos_conf_tests
+4. Clean everything in bin folder:
make clean
diff --git a/conformance_test/core_language_tests/positive_tests/pos_conf_tests.cfg b/conformance_test/core_language_tests/positive_tests/pos_conf_tests.cfg
index b0a29786f30fd05ece11f91abac4cb99903e4c5a..9171b677af88c5626b04dfa12ba474d0b9d3c770 100644
--- a/conformance_test/core_language_tests/positive_tests/pos_conf_tests.cfg
+++ b/conformance_test/core_language_tests/positive_tests/pos_conf_tests.cfg
@@ -809,6 +809,12 @@ Sem_190301_select_case_statement_001.control
Sem_190301_select_case_statement_002.control
Sem_190301_select_case_statement_003.control
Sem_190301_select_case_statement_004.control
+Sem_190302_select_union_statement_001.control
+Sem_190302_select_union_statement_002.control
+Sem_190302_select_union_statement_003.control
+Sem_190302_select_union_statement_004.control
+Sem_190302_select_union_statement_005.control
+Sem_190302_select_union_statement_006.control
Sem_1904_for_statement_001.control
Sem_1904_for_statement_002.control
Sem_1904_for_statement_003.control
@@ -1283,7 +1289,6 @@ Syn_0802_ModuleDefinitionsPart_001.control
Syn_0802_ModuleDefinitionsPart_002.control
Syn_0803_ModuleControlPart_001.control
Syn_0803_ModuleControlPart_002.control
-Syn_0803_ModuleControlPart_003.control
Syn_0902_Communication_ports_001.control
Syn_10_Constants_001.control
Syn_10_Constants_002.control
diff --git a/conformance_test/core_language_tests/positive_tests/pos_conf_tests.tpd b/conformance_test/core_language_tests/positive_tests/pos_conf_tests.tpd
index 0c068e6ba8148480b68ae9618f5267e80e620267..d6e73eb03c35ca0b14c64a1d1234ad6e1ccb4030 100644
--- a/conformance_test/core_language_tests/positive_tests/pos_conf_tests.tpd
+++ b/conformance_test/core_language_tests/positive_tests/pos_conf_tests.tpd
@@ -411,7 +411,7 @@
<!-- <FileResource projectRelativePath="05_basic_language_elements/0504_parametrization/050401_formal_parameters/050401_top_level/NegSem_050401_top_level_002.ttcn" relativeURI="05_basic_language_elements/0504_parametrization/050401_formal_parameters/050401_top_level/NegSem_050401_top_level_002.ttcn"/>-->
<!-- <FileResource projectRelativePath="05_basic_language_elements/0504_parametrization/050401_formal_parameters/050401_top_level/NegSem_050401_top_level_003.ttcn" relativeURI="05_basic_language_elements/0504_parametrization/050401_formal_parameters/050401_top_level/NegSem_050401_top_level_003.ttcn"/>-->
<FileResource projectRelativePath="05_basic_language_elements/0504_parametrization/050401_formal_parameters/050401_top_level/Sem_050401_top_level_001.ttcn" relativeURI="05_basic_language_elements/0504_parametrization/050401_formal_parameters/050401_top_level/Sem_050401_top_level_001.ttcn"/>
- <FileResource projectRelativePath="05_basic_language_elements/0504_parametrization/050401_formal_parameters/050401_top_level/Sem_050401_top_level_002.ttcn" relativeURI="05_basic_language_elements/0504_parametrization/050401_formal_parameters/050401_top_level/Sem_050401_top_level_002.ttcn"/>
+<!-- <FileResource projectRelativePath="05_basic_language_elements/0504_parametrization/050401_formal_parameters/050401_top_level/Sem_050401_top_level_002.ttcn" relativeURI="05_basic_language_elements/0504_parametrization/050401_formal_parameters/050401_top_level/Sem_050401_top_level_002.ttcn"/>-->
<FileResource projectRelativePath="05_basic_language_elements/0504_parametrization/050401_formal_parameters/050401_top_level/Sem_050401_top_level_003.ttcn" relativeURI="05_basic_language_elements/0504_parametrization/050401_formal_parameters/050401_top_level/Sem_050401_top_level_003.ttcn"/>
<FileResource projectRelativePath="05_basic_language_elements/0504_parametrization/050401_formal_parameters/050401_top_level/Sem_050401_top_level_004.ttcn" relativeURI="05_basic_language_elements/0504_parametrization/050401_formal_parameters/050401_top_level/Sem_050401_top_level_004.ttcn"/>
<FileResource projectRelativePath="05_basic_language_elements/0504_parametrization/050401_formal_parameters/050401_top_level/Sem_050401_top_level_005.ttcn" relativeURI="05_basic_language_elements/0504_parametrization/050401_formal_parameters/050401_top_level/Sem_050401_top_level_005.ttcn"/>
@@ -1685,7 +1685,7 @@
<FileResource projectRelativePath="08_modules/0803_module_control_part/Sem_0803_ModuleControlPart_001.ttcn" relativeURI="08_modules/0803_module_control_part/Sem_0803_ModuleControlPart_001.ttcn"/>
<FileResource projectRelativePath="08_modules/0803_module_control_part/Syn_0803_ModuleControlPart_001.ttcn" relativeURI="08_modules/0803_module_control_part/Syn_0803_ModuleControlPart_001.ttcn"/>
<FileResource projectRelativePath="08_modules/0803_module_control_part/Syn_0803_ModuleControlPart_002.ttcn" relativeURI="08_modules/0803_module_control_part/Syn_0803_ModuleControlPart_002.ttcn"/>
- <FileResource projectRelativePath="08_modules/0803_module_control_part/Syn_0803_ModuleControlPart_003.ttcn" relativeURI="08_modules/0803_module_control_part/Syn_0803_ModuleControlPart_003.ttcn"/>
+<!-- <FileResource projectRelativePath="08_modules/0803_module_control_part/Syn_0803_ModuleControlPart_003.ttcn" relativeURI="08_modules/0803_module_control_part/Syn_0803_ModuleControlPart_003.ttcn"/>-->
<!-- <FileResource projectRelativePath="09_test_configurations/0901_communication_ports/NegSem_0901_Communication_ports_001.ttcn" relativeURI="09_test_configurations/0901_communication_ports/NegSem_0901_Communication_ports_001.ttcn"/>-->
<!-- <FileResource projectRelativePath="09_test_configurations/0901_communication_ports/NegSem_0901_Communication_ports_002.ttcn" relativeURI="09_test_configurations/0901_communication_ports/NegSem_0901_Communication_ports_002.ttcn"/>-->
<!-- <FileResource projectRelativePath="09_test_configurations/0901_communication_ports/NegSem_0901_Communication_ports_003.ttcn" relativeURI="09_test_configurations/0901_communication_ports/NegSem_0901_Communication_ports_003.ttcn"/>-->
@@ -2234,17 +2234,17 @@
<FileResource projectRelativePath="19_basic_program_statements/1903_select_statements/190301_select_case_statement/Sem_190301_select_case_statement_002.ttcn" relativeURI="19_basic_program_statements/1903_select_statements/190301_select_case_statement/Sem_190301_select_case_statement_002.ttcn"/>
<FileResource projectRelativePath="19_basic_program_statements/1903_select_statements/190301_select_case_statement/Sem_190301_select_case_statement_003.ttcn" relativeURI="19_basic_program_statements/1903_select_statements/190301_select_case_statement/Sem_190301_select_case_statement_003.ttcn"/>
<FileResource projectRelativePath="19_basic_program_statements/1903_select_statements/190301_select_case_statement/Sem_190301_select_case_statement_004.ttcn" relativeURI="19_basic_program_statements/1903_select_statements/190301_select_case_statement/Sem_190301_select_case_statement_004.ttcn"/>
-<!-- <FileResource projectRelativePath="19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190301_select_union_statement_001.ttcn" relativeURI="19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190301_select_union_statement_001.ttcn"/>-->
-<!-- <FileResource projectRelativePath="19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190301_select_union_statement_002.ttcn" relativeURI="19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190301_select_union_statement_002.ttcn"/>-->
-<!-- <FileResource projectRelativePath="19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190301_select_union_statement_003.ttcn" relativeURI="19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190301_select_union_statement_003.ttcn"/>-->
-<!-- <FileResource projectRelativePath="19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190301_select_union_statement_004.ttcn" relativeURI="19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190301_select_union_statement_004.ttcn"/>-->
-<!-- <FileResource projectRelativePath="19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190301_select_union_statement_005.ttcn" relativeURI="19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190301_select_union_statement_005.ttcn"/>-->
-<!-- <FileResource projectRelativePath="19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_001.ttcn" relativeURI="19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_001.ttcn"/>-->
-<!-- <FileResource projectRelativePath="19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_002.ttcn" relativeURI="19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_002.ttcn"/>-->
-<!-- <FileResource projectRelativePath="19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_003.ttcn" relativeURI="19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_003.ttcn"/>-->
-<!-- <FileResource projectRelativePath="19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_004.ttcn" relativeURI="19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_004.ttcn"/>-->
-<!-- <FileResource projectRelativePath="19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_005.ttcn" relativeURI="19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_005.ttcn"/>-->
-<!-- <FileResource projectRelativePath="19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_006.ttcn" relativeURI="19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190301_select_union_statement_006.ttcn"/>-->
+<!-- <FileResource projectRelativePath="19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190302_select_union_statement_001.ttcn" relativeURI="19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190302_select_union_statement_001.ttcn"/>-->
+<!-- <FileResource projectRelativePath="19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190302_select_union_statement_002.ttcn" relativeURI="19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190302_select_union_statement_002.ttcn"/>-->
+<!-- <FileResource projectRelativePath="19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190302_select_union_statement_003.ttcn" relativeURI="19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190302_select_union_statement_003.ttcn"/>-->
+<!-- <FileResource projectRelativePath="19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190302_select_union_statement_004.ttcn" relativeURI="19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190302_select_union_statement_004.ttcn"/>-->
+<!-- <FileResource projectRelativePath="19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190302_select_union_statement_005.ttcn" relativeURI="19_basic_program_statements/1903_select_statements/190302_select_union_statement/NegSem_190302_select_union_statement_005.ttcn"/>-->
+ <FileResource projectRelativePath="19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_001.ttcn" relativeURI="19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_001.ttcn"/>
+ <FileResource projectRelativePath="19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_002.ttcn" relativeURI="19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_002.ttcn"/>
+ <FileResource projectRelativePath="19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_003.ttcn" relativeURI="19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_003.ttcn"/>
+ <FileResource projectRelativePath="19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_004.ttcn" relativeURI="19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_004.ttcn"/>
+ <FileResource projectRelativePath="19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_005.ttcn" relativeURI="19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_005.ttcn"/>
+ <FileResource projectRelativePath="19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_006.ttcn" relativeURI="19_basic_program_statements/1903_select_statements/190302_select_union_statement/Sem_190302_select_union_statement_006.ttcn"/>
<!-- <FileResource projectRelativePath="19_basic_program_statements/1904_for_statement/NegSem_1904_for_statement_001.ttcn" relativeURI="19_basic_program_statements/1904_for_statement/NegSem_1904_for_statement_001.ttcn"/>-->
<FileResource projectRelativePath="19_basic_program_statements/1904_for_statement/Sem_1904_for_statement_001.ttcn" relativeURI="19_basic_program_statements/1904_for_statement/Sem_1904_for_statement_001.ttcn"/>
<FileResource projectRelativePath="19_basic_program_statements/1904_for_statement/Sem_1904_for_statement_002.ttcn" relativeURI="19_basic_program_statements/1904_for_statement/Sem_1904_for_statement_002.ttcn"/>
@@ -2727,22 +2727,22 @@
<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_001.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_001.ttcn"/>-->
<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_002.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_002.ttcn"/>-->
<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_003.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_003.ttcn"/>-->
-<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_004.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_004.ttcn"/>-->
-<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_005.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_005.ttcn"/>-->
-<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_006.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_006.ttcn"/>-->
-<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_007.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_007.ttcn"/>-->
-<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_008.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_008.ttcn"/>-->
-<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_009.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_009.ttcn"/>-->
-<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_010.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_010.ttcn"/>-->
-<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_011.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_011.ttcn"/>-->
-<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_012.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_012.ttcn"/>-->
-<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_013.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_013.ttcn"/>-->
-<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_014.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_014.ttcn"/>-->
-<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_015.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_015.ttcn"/>-->
-<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_016.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_016.ttcn"/>-->
-<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_017.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_getcall_operation_017.ttcn"/>-->
-<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSyn_220302_getcall_operation_001.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSyn_220302_getcall_operation_001.ttcn"/>-->
-<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSyn_220302_getcall_operation_002.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSyn_220302_getcall_operation_002.ttcn"/>-->
+<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_004.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_004.ttcn"/>-->
+<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_005.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_005.ttcn"/>-->
+<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_006.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_006.ttcn"/>-->
+<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_007.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_007.ttcn"/>-->
+<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_008.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_008.ttcn"/>-->
+<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_009.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_009.ttcn"/>-->
+<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_010.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_010.ttcn"/>-->
+<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_011.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_011.ttcn"/>-->
+<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_012.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_012.ttcn"/>-->
+<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_013.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_013.ttcn"/>-->
+<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_014.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_014.ttcn"/>-->
+<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_015.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_015.ttcn"/>-->
+<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_016.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_016.ttcn"/>-->
+<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_017.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSem_220302_GetcallOperation_017.ttcn"/>-->
+<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSyn_220302_GetcallOperation_001.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSyn_220302_GetcallOperation_001.ttcn"/>-->
+<!-- <FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSyn_220302_GetcallOperation_002.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/NegSyn_220302_GetcallOperation_002.ttcn"/>-->
<FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/Sem_220302_GetcallOperation_001.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/Sem_220302_GetcallOperation_001.ttcn"/>
<FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/Sem_220302_GetcallOperation_002.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/Sem_220302_GetcallOperation_002.ttcn"/>
<FileResource projectRelativePath="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/Sem_220302_GetcallOperation_003.ttcn" relativeURI="22_communication_operations/2203_procedure_based_communication/220302_getcall_operation/Sem_220302_GetcallOperation_003.ttcn"/>
diff --git a/usrguide/SoC_TITAN.docx b/usrguide/SoC_TITAN.docx
index 8440f723587ff955bc3f02c08563384533892b51..ae1c21fa1c1739ae2357e092483185cdeb3e5def 100644
Binary files a/usrguide/SoC_TITAN.docx and b/usrguide/SoC_TITAN.docx differ