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 03636521f4aca6dbb18acd21c3547ed7a3645630..1947562d19d3c244c065266ae8c5457bb327fe0c 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 @@ -2571,54 +2571,6 @@ error: integer value was expected <END_TC> :exmp -*---------------------------------------------------------------------* -:h3. NegSem_05040102_parameters_of_kind_template_008 negative test -.*---------------------------------------------------------------------* -:xmp tab=0. - -<TC - 05040102_008 verify that default template instance of template formal parameters cannot reference component elements > - -<COMPILE> - -<EXECUTE_PARALLEL> - -<MODULE TTCN NegSem_05040102_parameters_of_kind_template_008 NegSem_05040102_parameters_of_kind_template_008.ttcn > -/*************************************************** - ** @version 0.0.1 - ** @purpose 1:5.4.1.2, verify that default template instance of template formal parameters cannot reference component elements - ** @verdict pass reject - ***************************************************/ - -// The following requirement is tested: -// Restriction e) -// The template instance shall not refer to elements of the component type in a runs on clause. - -module NegSem_05040102_parameters_of_kind_template_008 { - type component GeneralComp { - var template integer vc_int := ?; - } - - function f(in template integer p_int := vc_int) runs on GeneralComp { - } - - testcase TC_NegSem_05040102_parameters_of_kind_template_008() runs on GeneralComp { - f(); - setverdict(pass); - } - - control{ - execute(TC_NegSem_05040102_parameters_of_kind_template_008()); - } -} -<END_MODULE> - -<RESULT COUNT 1> -Dynamic test case error: Copying an uninitialized/unsupported integer template. -<END_RESULT> - -<END_TC> -:exmp - *---------------------------------------------------------------------* :h3. NegSem_05040102_parameters_of_kind_template_009 negative test .*---------------------------------------------------------------------* diff --git a/conformance_test/core_language_tests/positive_tests/21_configuration_operations/2103_test_component_operations/210306_running_operation/Sem_210306_running_operation_001.ttcn b/conformance_test/core_language_tests/positive_tests/21_configuration_operations/2103_test_component_operations/210306_running_operation/Sem_210306_running_operation_001.ttcn index 339eee1d14e52677ae49478c71c04abf5a2e45f9..90e1ca7a3b12c03292cb39d761cb8e58a479789d 100644 --- a/conformance_test/core_language_tests/positive_tests/21_configuration_operations/2103_test_component_operations/210306_running_operation/Sem_210306_running_operation_001.ttcn +++ b/conformance_test/core_language_tests/positive_tests/21_configuration_operations/2103_test_component_operations/210306_running_operation/Sem_210306_running_operation_001.ttcn @@ -20,10 +20,13 @@ *****************************************************************/ module Sem_210306_running_operation_001 { - type component GeneralComp {} + type component GeneralComp { + timer t; + } function f1 ( ) runs on GeneralComp { - while (true) {} // block forever + t.start(5.0); + t.timeout; } testcase TC_Sem_210306_running_operation_001() runs on GeneralComp system GeneralComp { @@ -47,4 +50,4 @@ module Sem_210306_running_operation_001 { control { execute(TC_Sem_210306_running_operation_001(), 5.0); } -} \ No newline at end of file +} diff --git a/conformance_test/core_language_tests/positive_tests/21_configuration_operations/2103_test_component_operations/210306_running_operation/Sem_210306_running_operation_002.ttcn b/conformance_test/core_language_tests/positive_tests/21_configuration_operations/2103_test_component_operations/210306_running_operation/Sem_210306_running_operation_002.ttcn index a51da8180ed60c801f9bede07eeb88a1c4ee49dd..55c0ae1335b322fc49aec13d230da31003ddd2fa 100644 --- a/conformance_test/core_language_tests/positive_tests/21_configuration_operations/2103_test_component_operations/210306_running_operation/Sem_210306_running_operation_002.ttcn +++ b/conformance_test/core_language_tests/positive_tests/21_configuration_operations/2103_test_component_operations/210306_running_operation/Sem_210306_running_operation_002.ttcn @@ -20,10 +20,13 @@ *****************************************************************/ module Sem_210306_running_operation_002 { - type component GeneralComp {} + type component GeneralComp { + timer t; + } function f1 ( ) runs on GeneralComp { - while (true) {} // block forever + t.start(5.0); + t.timeout; } testcase TC_Sem_210306_running_operation_002() runs on GeneralComp system GeneralComp { @@ -48,4 +51,4 @@ module Sem_210306_running_operation_002 { control { execute(TC_Sem_210306_running_operation_002(), 5.0); } -} \ No newline at end of file +}