Next: Component with behavior must have a trigger, Previous: Interface must define a behavior, Up: Well-formedness – Top level [Contents][Index]
out-event must be voidOnly in-events can have a non-void type.
interface typed_out_event
{
out bool world ();
behavior {on optional:bool b = world;}
}
This results in the following error message:
typed-out-event.dzn:3:3: error: out-event `world' must be void, found
`bool'