V15 unvalidated Nokia

// @author   TTF T023

// @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());

}

}

// @author   TTF T023

// @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());

}

}

// @author   TTF T023

// @purpose  1:5.4.3, Ensure variadic formal parameters are at the end of the formal parameter list.

// @verdict  pass reject

module NegSem_050403_variadic_parameters_001 {

function f(in integer i..., in integer max) {}

}

// @author   TTF T023

// @purpose  1:5.4.3, Ensure only one variadic formal parameter per formal parameter list is allowed.

// @verdict  pass reject

module NegSem_050403_variadic_parameters_002 {

function f(in integer a..., in integer b...) {}

}

// @author   TTF T023

// @purpose  1:5.4.3, Ensure variadic parameters are in parameters.

// @verdict  pass reject

module NegSem_050403_variadic_parameters_003 {

function f1(inout integer x...) {}

function f2(out integer x...) {}

}