Next: Cannot use inout-parameter on out-event, Previous: Type mismatch: parameter expected extern, Up: Well-formedness – Data Parameters [Contents][Index]
out-parameter on out-eventAn out-event must not have an out-parameter.
extern int $int$;
interface out_parameter_on_out_event
{
out void world (out int value);
behavior {on optional:world;}
}
This results in the following error message:
out-parameter-on-out-event.dzn:4:19: error: cannot use out-parameter on
out-event `world'