/***************************************************
 ** @author   STF 572
 ** @version  0.0.1
 ** @purpose  1:16.1, Function without a runs on clause invoking a function with a runs on clause
 ** @verdict  pass reject
 ***************************************************/

// The following requirement is tested:
// 16.1.0.a)
// A function without runs on clause shall never invoke a function or altstep or activate
// an altstep as default with a runs on clause locally.

module NegSem_1601_toplevel_009 {


type component GeneralComp {
}

function f_test ( integer p_integer := 0 ) runs on GeneralComp return integer {

 return p_integer+1;
}

testcase TC_NegSem_1601_toplevel_009 () runs on GeneralComp {

 	if(f_test(1)==2) {
        setverdict(pass);
    }
    else {
        setverdict(fail);
    }

}


control{

	f_test(1);	//attempt to invoke a function with runs on clause
    execute(TC_NegSem_1601_toplevel_009());

}

}
