Next: Cannot use illegal in function, Previous: Cannot use illegal with imperative statements, Up: Well-formedness -- Mixing [Contents][Index]
illegal
in if
-statementIn an interface, a trigger
can only be declared illegal
in
a direct way. This is due to the declarative character of interfaces.
To be more specific, it must not occur in an if
. An example:
interface interface_if_illegal { in void hello (); behavior { bool b = false; on hello: { if (b) illegal; } } }
This results in the following error message:
interface-if-illegal.dzn:10:9: error: cannot use illegal in if-statement