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

11.12.2 port not bound – of instance

No binding is specified for a port of a component instance. 

interface ihello
{
  in bool hello ();
  behavior {}
}

component hello
{
  provides ihello p;
  behavior {}
}

component instance_port_not_bound
{
  system
  {
    hello h;
  }
}

This results in the following error message: 

instance-port-not-bound.dzn:9:3: error: port `p' not bound
instance-port-not-bound.dzn:17:5: info: of instance: `h'