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

11.12.1 port not bound

No binding is specified for a port of a system. 

interface ihello
{
  in void hello ();
  behavior {on hello:{}}
}

component port_not_bound
{
  provides ihello p;
  system {}
}

This results in the following error message: 

port-not-bound.dzn:9:3: error: port `p' of type `ihello' not bound