Commit a01abbb3 authored by urbant's avatar urbant
Browse files

Requirement mapping added to array tests

parent 0518768a

ATS/06_types_and_values/0602_structured_types_and_values/060207_arrays/NegSem_060207_arrays_003.ttcn

+4 −2
Original line number Diff line number Diff line
@@ -6,8 +6,10 @@ 
 ***************************************************/



// The following requirement is tested:

// Implicit rule, formal requirement requested in CR 6646 (resolution expected 

// in TTCN-3:2014)

// Indexed value notation can be used on both the right-hand side and left-hand 

// side of assignments. The index of the first element shall be zero or the lower 

// bound if an index range has been given.



module NegSem_060207_arrays_003 {



	type component GeneralComp {

ATS/06_types_and_values/0602_structured_types_and_values/060207_arrays/NegSem_060207_arrays_004.ttcn

+6 −0
Original line number Diff line number Diff line
@@ -4,6 +4,12 @@ 
 ** @purpose  1:6.2.7, negative index applied to an array on the left hand side of an assignment

 ** @verdict  pass reject

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

 

// The following requirement is tested:

// Indexed value notation can be used on both the right-hand side and left-hand 

// side of assignments. The index of the first element shall be zero or the lower 

// bound if an index range has been given.

 

module NegSem_060207_arrays_004 {



	type component GeneralComp {

ATS/06_types_and_values/0602_structured_types_and_values/060207_arrays/NegSem_060207_arrays_005.ttcn

+11 −0
Original line number Diff line number Diff line
@@ -5,6 +5,17 @@ 
 ** @verdict  pass reject

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



// The following requirement is tested:

// Indexed value notation can be used on both the right-hand side and left-hand 

// side of assignments. The index of the first element shall be zero or the lower 

// bound if an index range has been given.

// [from 3.1] index notation: notation to access individual elements of record of,

// set of, array and string values or templates, where the element to be accessed 

// is identified explicitly by an index value enclosed in square brackets ("[" and

// "]") which specifies the position of that element within the referenced value 

// or template and the index value is either an integer value, array of integers 

// or record of integers.

 

module NegSem_060207_arrays_005 {



	type component GeneralComp {

ATS/06_types_and_values/0602_structured_types_and_values/060207_arrays/NegSem_060207_arrays_006.ttcn

+11 −0
Original line number Diff line number Diff line
@@ -5,6 +5,17 @@ 
 ** @verdict  pass reject

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



// The following requirement is tested:

// Indexed value notation can be used on both the right-hand side and left-hand 

// side of assignments. The index of the first element shall be zero or the lower 

// bound if an index range has been given.

// [from 3.1] index notation: notation to access individual elements of record of,

// set of, array and string values or templates, where the element to be accessed 

// is identified explicitly by an index value enclosed in square brackets ("[" and

// "]") which specifies the position of that element within the referenced value 

// or template and the index value is either an integer value, array of integers 

// or record of integers.



module NegSem_060207_arrays_006 {



	type component GeneralComp {

ATS/06_types_and_values/0602_structured_types_and_values/060207_arrays/NegSem_060207_arrays_007.ttcn

+5 −0
Original line number Diff line number Diff line
@@ -4,6 +4,11 @@ 
 ** @purpose  1:6.2.7, array index greater than the upper bound (left-hand side)

 ** @verdict  pass reject

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

 

// The following requirement is tested:

// The index shall not exceed the limitations given by either the length or the 

// upper bound of the index.



module NegSem_060207_arrays_007 {



	type component GeneralComp {