/***************************************************
 * @author TTF T003
 * @version 0.0.1
 * @purpose 1.6.2.16, Ensure that the open type is forbidden as formal parameters of testcases.
 * @verdict pass reject
 ***************************************************/

module NegSem_060216_the_open_type_007 {
	type component GeneralComp {
	}

	function f_my_function(in any parameter) return integer{
		return 1;
	};

	testcase TC_Sem_060216_the_open_type_007(in any p_any) runs on GeneralComp {
		var integer v_i := 123;

		if (f_my_function(v_i) == 1) {
			setverdict(pass);
		} else {
			setverdict(fail);
		}
	}

	control {
		execute(TC_Sem_060216_the_open_type_007());
	};
}
