Commit 3d66b38f authored by Matthias Simon's avatar Matthias Simon
Browse files

Merge branch 'v14-unvalidated' into 'main' 

V14 unvalidated

See merge request !1
parents 75cd4049 45c0275f

ATS/core_language/05_basic_language_elements/0503_ordering_of_declarations/NegSem_0503_Ordering_002.ttcn

+1 −1
Original line number Diff line number Diff line
@@ -3,7 +3,7 @@ 
 ** @version  0.0.1

 ** @desc     Test cases for clause 5.2 Scope rules

 ** @purpose  1:5.3, Ensure that declarations are in the allowed ordering

 ** @verdict  pass reject

 ** @verdict  pass accept, ttcn3verdict:pass

 ***************************************************/

module NegSem_0503_Ordering_002 {

ATS/core_language/05_basic_language_elements/0503_ordering_of_declarations/NegSem_0503_Ordering_003.ttcn

+1 −1
Original line number Diff line number Diff line
@@ -3,7 +3,7 @@ 
 ** @version  0.0.1

 ** @desc     Test cases for clause 5.2 Scope rules

 ** @purpose  1:5.3, Ensure that declarations are in the allowed ordering

 ** @verdict  pass reject

 ** @verdict  pass accept, ttcn3verdict:pass

 ***************************************************/

module NegSem_0503_Ordering_003 {

ATS/core_language/05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040101_parameters_of_kind_value/Sem_05040101_parameters_of_kind_value_028.ttcn

+1 −1
Original line number Diff line number Diff line
@@ -14,7 +14,7 @@ module Sem_05040101_parameters_of_kind_value_028 { 
        boolean field2,

        address field3,

        MyEnumeratedType field4,

        integer field5

        integer field5 optional

    }



    type port TestPort message {

ATS/core_language/05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040101_parameters_of_kind_value/Sem_05040101_parameters_of_kind_value_032.ttcn

+1 −1
Original line number Diff line number Diff line
@@ -15,7 +15,7 @@ type record MyRecord { 
 boolean field2,

 address field3,

 MyEnumeratedType field4,

 integer field5

 integer field5 optional

}



type port TestPort message {

ATS/core_language/05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040102_parameters_of_kind_template/NegSyn_05040102_parameters_of_kind_template_001.ttcn

+1 −1
Original line number Diff line number Diff line
@@ -2,7 +2,7 @@ 
 ** @author   STF 487

 ** @version  0.0.1

 ** @purpose  1:5.4.1.2, verify that module parameter of template kind is not allowed

 ** @verdict  pass reject

 ** @verdict  pass accept, noexecution

 ***************************************************/



// The following requirement is tested: