Previous: Nested blocking used, Up: Well-formedness – Nesting [Contents][Index]
blocking in an interfaceEvent handling can be ’blocking’ in component behavior only. It is not allowed in interfaces. So:
interface blocking_in_interface
{
in void hello ();
behavior
{
blocking on hello:;
}
}
This results in the following error message:
blocking-in-interface.dzn:6:5: error: cannot use blocking in an
interface