Commit 8d73890d authored by axr's avatar axr
Browse files

renaming of tests in 0605 according to the standard naming convensions

parent 6e98b38e

ATS/core_language/06_types_and_values/0605_automatic_type/NegSem_0605_expressions_001.ttcn→ATS/core_language/06_types_and_values/0605_automatic_type/060501_expressions/NegSem_060501_expressions_001.ttcn

+3 −3
Original line number Diff line number Diff line 
// @author   TTF T023

// @purpose  1:6.5, Ensure qualified enumerated values.

// @verdict  pass reject

module NegSem_0605_expressions_001 {

module NegSem_060501_expressions_001 {



type component GeneralComp {}



type enumerated E { A(1), B(2) }



testcase TC_NegSem_0605_expressions_001() runs on GeneralComp {

testcase TC_NegSem_060501_expressions_001() runs on GeneralComp {

	var e := A;

}



control {

	execute(TC_NegSem_0605_expressions_001());

	execute(TC_NegSem_060501_expressions_001());

}



}

ATS/core_language/06_types_and_values/0605_automatic_type/Sem_0605_expressions_001.ttcn→ATS/core_language/06_types_and_values/0605_automatic_type/060501_expressions/Sem_060501_expressions_001.ttcn

+3 −3
Original line number Diff line number Diff line 
// @author   TTF T023

// @purpose  1:6.5, Ensure automatic type for expressions.

// @verdict  pass accept, ttcn3verdict:pass

module Sem_0605_expressions_001 {

module Sem_060501_expressions_001 {



type component GeneralComp {}



testcase TC_Sem_0605_expressions_001() runs on GeneralComp {

testcase TC_Sem_060501_expressions_001() runs on GeneralComp {

	var cond := 1 + 2 <= 3;

	if (cond == true) {

		setverdict(pass);
@@ -15,7 +15,7 @@ testcase TC_Sem_0605_expressions_001() runs on GeneralComp { 
}



control {

	execute(TC_Sem_0605_expressions_001());

	execute(TC_Sem_060501_expressions_001());

}



}

ATS/core_language/06_types_and_values/0605_automatic_type/Sem_0605_expressions_002.ttcn→ATS/core_language/06_types_and_values/0605_automatic_type/060501_expressions/Sem_060501_expressions_002.ttcn

+3 −3
Original line number Diff line number Diff line 
// @author   TTF T023

// @purpose  1:6.5, Ensure qualified enumerated values.

// @verdict  pass accept, ttcn3verdict:pass

module Sem_0605_expressions_002 {

module Sem_060501_expressions_002 {



type component GeneralComp {}



type enumerated E { A(1), B(2) }

type enumerated F { B(3), C(4) }



testcase TC_Sem_0605_expressions_002() runs on GeneralComp {

testcase TC_Sem_060501_expressions_002() runs on GeneralComp {

	var v := F.B;

	if (enum2int(v) == 3) {

		setverdict(pass);
@@ -18,7 +18,7 @@ testcase TC_Sem_0605_expressions_002() runs on GeneralComp { 
}



control {

	execute(TC_Sem_0605_expressions_002());

	execute(TC_Sem_060501_expressions_002());

}



}

ATS/core_language/06_types_and_values/0605_automatic_type/Sem_0605_expressions_003.ttcn→ATS/core_language/06_types_and_values/0605_automatic_type/060501_expressions/Sem_060501_expressions_003.ttcn

+3 −3
Original line number Diff line number Diff line 
// @author   TTF T023

// @purpose  1:6.5, Ensure automatic type for value ranges.

// @verdict  pass accept, ttcn3verdict:pass

module Sem_0605_expressions_003 {

module Sem_060501_expressions_003 {



type component GeneralComp {}



testcase TC_Sem_0605_expressions_003() runs on GeneralComp {

testcase TC_Sem_060501_expressions_003() runs on GeneralComp {

	var v := (0.1..!0.2);

	if (match(0.11, v)) {

		setverdict(pass);
@@ -15,7 +15,7 @@ testcase TC_Sem_0605_expressions_003() runs on GeneralComp { 
}



control {

	execute(TC_Sem_0605_expressions_003());

	execute(TC_Sem_060501_expressions_003());

}



}

ATS/core_language/06_types_and_values/0605_automatic_type/Sem_0605_expressions_004.ttcn→ATS/core_language/06_types_and_values/0605_automatic_type/060501_expressions/Sem_060501_expressions_004.ttcn

+3 −3
Original line number Diff line number Diff line 
// @author   TTF T023

// @purpose  1:6.5, Ensure infinity bounds are inferred to integer.

// @verdict  pass accept, ttcn3verdict:pass

module Sem_0605_expressions_004 {

module Sem_060501_expressions_004 {



type component GeneralComp {}



testcase TC_Sem_0605_expressions_004() runs on GeneralComp {

testcase TC_Sem_060501_expressions_004() runs on GeneralComp {

	var v := (-infinity..infinity);

	if (match(7, v)) {

		setverdict(pass);
@@ -15,7 +15,7 @@ testcase TC_Sem_0605_expressions_004() runs on GeneralComp { 
}



control {

	execute(TC_Sem_0605_expressions_004());

	execute(TC_Sem_060501_expressions_004());

}



}