Commit 6e98b38e authored by axr's avatar axr
Browse files

corrected file/module names according to rules

parent 12661d52

ATS/core_language/08_modules/0802_module_definitions_part/080201_module_parameters/Sem_080201_nested_types_001.ttcn→ATS/core_language/08_modules/0802_module_definitions_part/080201_module_parameters/Sem_080201_ModulParameters_004.ttcn

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

// @purpose  1:8.2.1, Ensure module parameters accept nested types.

// @verdict  pass accept

module Sem_080201_nested_types_001 {

module Sem_080201_ModulParameters_004 {



modulepar record of charstring IDs := {1, 2, 3};



type component GeneralComp {}



testcase TC_Sem_080201_nested_types_001() runs on GeneralComp {

testcase TC_Sem_080201_ModulParameters_004() runs on GeneralComp {

	setverdict(pass);

}



control {

	execute(TC_Sem_080201_nested_types_001());

	execute(TC_Sem_080201_ModulParameters_004());

}



}

ATS/core_language/16_functions_altsteps_testcases/1601_functions/1601_toplevel/Sem_1601_nested_types_001.ttcn→ATS/core_language/16_functions_altsteps_testcases/1601_functions/1601_toplevel/Sem_1601_toplevel_004.ttcn

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

// @purpose  1:16.1.0, Ensure functions accept nested return types.

// @verdict  pass accept

module Sem_1601_nested_types_001 {

module Sem_1601_toplevel_004 {



type component GeneralComp {}
@@ -9,12 +9,12 @@ function f() returns record of record {}[3] { 
	setverdict(pass);

}



testcase TC_Sem_1601_nested_types_001() runs on GeneralComp {

testcase TC_Sem_1601_toplevel_004() runs on GeneralComp {

	f();

}



control {

	execute(TC_Sem_1601_nested_types_001());

	execute(TC_Sem_1601_toplevel_004());

}



}