Next: , Up: Well-formedness – Nesting   [Contents][Index]

11.5.1 assign outside on

An assign occurred outside the scope of a declarative context: 

interface assign_outside_on
{
  in void hello ();
  behavior
  {
    bool b = true;
    [true] b = false;
    on hello: {}
  }
}

This results in the following error message: 

assign-outside-on.dzn:7:12: error: assign outside on