Next: Nested blocking used, Previous: action outside on, Up: Well-formedness – Nesting [Contents][Index]
on usedinterface nested_on
{
in void hello ();
in void cruel ();
out void world ();
behavior
{
on hello: on cruel: world;
}
}
This results in the following error message:
nested-on.dzn:8:15: error: nested on used nested-on.dzn:8:5: info: within on here