Commit 07f52f62 authored by urbant's avatar urbant
Browse files

Existing record type and value tests module and test case names updated

parent 3137db81

ATS/06_types_and_values/0602_structured_types_and_values/060201_record_type_and_values/06020101_referencing_fields_of_record_type/NegSem_06020101_ReferencingRecordFields_001.ttcn

+3 −3
Original line number Diff line number Diff line
@@ -4,7 +4,7 @@ 
 ** @purpose  1:6.2.1, The dot notation used in record type definitions is correctly handled

 ** @verdict  pass reject

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

module NegSem_060201_RecordTypeValues_001 {

module NegSem_06020101_ReferencingRecordFields_001 {



type component GeneralComp {	    	    

}
@@ -18,14 +18,14 @@ type component GeneralComp { 
 

 type ConstrainedRecord.field1 MyInteger;

 

testcase TC_NegSem_060201_RecordTypeValues_001() runs on GeneralComp {

testcase TC_NegSem_06020101_ReferencingRecordFields_001() runs on GeneralComp {



 var MyInteger v_int := 11;  // assignment from outside of the carried over (1 .. 10) range constraint

 

}



control {

    execute(TC_NegSem_060201_RecordTypeValues_001());

    execute(TC_NegSem_06020101_ReferencingRecordFields_001());

}



}

ATS/06_types_and_values/0602_structured_types_and_values/060201_record_type_and_values/06020101_referencing_fields_of_record_type/Sem_06020101_ReferencingRecordFields_001.ttcn

+3 −3
Original line number Diff line number Diff line
@@ -4,7 +4,7 @@ 
 ** @purpose  1:6.2.1, The dot notation used in record type definitions is correctly handled

 ** @verdict  pass accept, ttcn3verdict:pass

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

module Sem_060201_RecordTypeValues_001 {

module Sem_06020101_ReferencingRecordFields_001 {



type component GeneralComp {	    	    

}
@@ -18,7 +18,7 @@ type component GeneralComp { 
 

 type ConstrainedRecord.field1 MyInteger;

 

testcase TC_Sem_060201_RecordTypeValues_001() runs on GeneralComp {

testcase TC_Sem_06020101_ReferencingRecordFields_001() runs on GeneralComp {



 var MyInteger v_int := 9;  // v_int is allowed in (1 .. 10) range
@@ -32,7 +32,7 @@ testcase TC_Sem_060201_RecordTypeValues_001() runs on GeneralComp { 
}



control {

    execute(TC_Sem_060201_RecordTypeValues_001());

    execute(TC_Sem_06020101_ReferencingRecordFields_001());

}



}

ATS/06_types_and_values/0602_structured_types_and_values/060201_record_type_and_values/06020101_referencing_fields_of_record_type/Sem_06020101_ReferencingRecordFields_002.ttcn

+3 −3
Original line number Diff line number Diff line
@@ -4,7 +4,7 @@ 
 ** @purpose  1:6.2.1, The dot notation used in record type definitions is correctly handled

 ** @verdict  pass accept, ttcn3verdict:pass

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

module Sem_060201_RecordTypeValues_002 {

module Sem_06020101_ReferencingRecordFields_002 {



type component GeneralComp {	    	    

}
@@ -18,7 +18,7 @@ type component GeneralComp { 
 

 type ConstrainedRecord.field2 MyChar;

 

testcase TC_Sem_060201_RecordTypeValues_002() runs on GeneralComp {

testcase TC_Sem_06020101_ReferencingRecordFields_002() runs on GeneralComp {



 var MyChar v_char := "abc";  // any character string is allowed
@@ -32,7 +32,7 @@ testcase TC_Sem_060201_RecordTypeValues_002() runs on GeneralComp { 
}



control {

    execute(TC_Sem_060201_RecordTypeValues_002());

    execute(TC_Sem_06020101_ReferencingRecordFields_002());

}



}

ATS/06_types_and_values/0602_structured_types_and_values/060201_record_type_and_values/06020101_referencing_fields_of_record_type/Sem_06020101_ReferencingRecordFields_003.ttcn

+3 −3
Original line number Diff line number Diff line
@@ -4,7 +4,7 @@ 
 ** @purpose  1:6.2.1, The dot notation used in record type definitions is correctly handled

 ** @verdict  pass accept, ttcn3verdict:pass

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

module Sem_060201_RecordTypeValues_003 {

module Sem_06020101_ReferencingRecordFields_003 {



type component GeneralComp {	    	    

}
@@ -16,7 +16,7 @@ type component GeneralComp { 
 

 type R.field1 MyInteger;

 

testcase TC_Sem_060201_RecordTypeValues_003() runs on GeneralComp {

testcase TC_Sem_06020101_ReferencingRecordFields_003() runs on GeneralComp {



 var MyInteger v_int := 9;  // v_int is allowed in (1 .. 10) range
@@ -30,7 +30,7 @@ testcase TC_Sem_060201_RecordTypeValues_003() runs on GeneralComp { 
}



control {

    execute(TC_Sem_060201_RecordTypeValues_003());

    execute(TC_Sem_06020101_ReferencingRecordFields_003());

}



}

ATS/06_types_and_values/0602_structured_types_and_values/060201_record_type_and_values/06020101_referencing_fields_of_record_type/Sem_06020101_ReferencingRecordFields_004.ttcn

+3 −3
Original line number Diff line number Diff line
@@ -4,7 +4,7 @@ 
 ** @purpose  1:6.2.1, The dot notation used in record type definitions is correctly handled

 ** @verdict  pass accept, ttcn3verdict:pass

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

module Sem_060201_RecordTypeValues_004 {

module Sem_06020101_ReferencingRecordFields_004 {



type component GeneralComp {	    	    

}
@@ -17,7 +17,7 @@ type component GeneralComp { 
 

 type R.field2 MyChar;

 

testcase TC_Sem_060201_RecordTypeValues_004() runs on GeneralComp {

testcase TC_Sem_06020101_ReferencingRecordFields_004() runs on GeneralComp {



 var MyChar v_char := "abc";  // any character string is allowed
@@ -31,7 +31,7 @@ testcase TC_Sem_060201_RecordTypeValues_004() runs on GeneralComp { 
}



control {

    execute(TC_Sem_060201_RecordTypeValues_004());

    execute(TC_Sem_06020101_ReferencingRecordFields_004());

}



}