Next: Cannot use otherwise guard more than once, Previous: Declarative statement expected, Up: Well-formedness – Mixing [Contents][Index]
If a compound statement starts with an imperative statement, all
other statements must be imperative statements.
interface mixing_imperative
{
in void hello ();
behavior
{
bool b = true;
on hello:
{
b = false;
[b] b = false;
}
}
}
This results in the following error message:
mixing-imperative.dzn:10:7: error: imperative statement expected