/***************************************************
 ** @author   STF 548
 ** @version  0.0.1
 ** @purpose  1:5.4.2, verify that in mixed notation, no value list notation can be used following the first assignment notation
 ** @verdict  pass reject
 ***************************************************/

// The following requirement is tested:
// Restriction o
// If the mixed notation is used, no value list notation shall be used following the first assignment notation

module NegSyn_050402_actual_parameters_001 { 

    type component GeneralComp {
    }
    
    function f_mixed (out integer p_par1, in integer p_par2 := 2, inout integer p_par3) {
        p_par1 := 1 + p_par2;
        if (p_par2 == 2 and p_par3 == 0) {
            setverdict(pass);
        } else {
            setverdict(fail);
        }
	}
   
    testcase TC_NegSyn_050402_actual_parameters_001() runs on GeneralComp {
        var integer v := 0;
		f_mixed(-,p_par2 := 2, v);

        setverdict(pass);
	}

	control {
		execute(TC_NegSyn_050402_actual_parameters_001());
	}
}