Merge branch 'add-variadic-functions' into 'main'

  - package

  - deploy

default:

  image: alpine

  before_script:

    - apk add bash git

 // @author   TTF23

 // @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   TTF23

 // @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   TTF23

 // @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...) {}

}

 // @author   TTF23

 // @purpose  1:5.4.3, Ensure actual variadic parameter results in an equivalent record of in their declaration order.

 // @verdict  pass reject

module NegSem_050403_variadic_parameters_004 {

type record of integer RoI;

type component GeneralComp {}

function f(in integers... args) return RoI {

    return args

}

testcase TC_NegSem_050403_variadic_parameters_004() runs on GeneralComp {

	f(-, -); // Reject: f() has only one variadic parameter to omit.

}

control {

    execute(TC_NegSem_050403_variadic_parameters_004());

}

}