Commit 1f9c7b08 authored by Matthias Simon's avatar Matthias Simon
Browse files

Add tests for nested types

parent 17e2e3b0

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

0 → 100644
+20 −0
Original line number Diff line number Diff line 
// @author   TTF23

// @purpose  1:5.4.1.1, Ensure formal parameters accept nested types.

// @verdict  pass accept

module Sem_05040101_nested_types_001 {



type component GeneralComp {}



function f(in record of integer n) {

    setverdict(pass);

}



testcase TC_Sem_05040101_nested_types_001() runs on GeneralComp {

	f({1,2,3,4});

}



control {

    execute(TC_Sem_05040101_nested_types_001());

}



}

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

0 → 100644
+20 −0
Original line number Diff line number Diff line 
// @author   TTF23

// @purpose  1:5.4.1.2, Ensure formal parameters accept nested types.

// @verdict  pass accept

module Sem_05040102_nested_types_001 {



type component GeneralComp {}



function f(template record of integer n) {

	setverdict(pass);

}



testcase TC_Sem_05040102_nested_types_001() runs on GeneralComp {

	f({1,?,3});

}



control {

    execute(TC_Sem_05040102_nested_types_001());

}



}

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

0 → 100644
+18 −0
Original line number Diff line number Diff line 
// @author   TTF23

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

// @verdict  pass accept

module Sem_080201_nested_types_001 {



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



type component GeneralComp {}



testcase TC_Sem_080201_nested_types_001() runs on GeneralComp {

	setverdict(pass);

}



control {

    execute(TC_Sem_080201_nested_types_001());

}



}

ATS/core_language/10_constants/Sem_10_nested_types_001.ttcn

0 → 100644
+18 −0
Original line number Diff line number Diff line 
// @author   TTF23

// @purpose  1:10, Ensure constants accept nested types.

// @verdict  pass accept

module Sem_10_nested_types_001 {



const record of integer := { 1,2,3 };



type component GeneralComp {}



testcase TC_Sem_10_nested_types_001() runs on GeneralComp {

	setverdict(pass);

}



control {

    execute(TC_Sem_10_nested_types_001());

}



}

ATS/core_language/11_variables/Sem_11_nested_types_001.ttcn

0 → 100644
+17 −0
Original line number Diff line number Diff line 
// @author   TTF23

// @purpose  1:11, Ensure variables accept nested types.

// @verdict  pass accept

module Sem_11_nested_types_001 {



type component GeneralComp {}



testcase TC_Sem_11_nested_types_001() runs on GeneralComp {

	var template record of integer t := {1, *, 3};

	var record {} v[3];

}



control {

    execute(TC_Sem_11_nested_types_001());

}



}