Next: Instance is in a cyclic binding, Previous: Cannot bind port to port, Up: Well-formedness -- System [Contents][Index]
interface ihello { in void hello (); behavior {} } component hello { provides ihello p; requires injected ihello r; behavior {} } component logger { provides ihello p; behavior {} } component binding_two_wildcards { provides ihello p; system { hello h; logger log; p <=> h.p; log.* <=> *; } }
This results in the following error messages:
binding-two-wildcards.dzn:29:5: error: cannot bind two wildcards binding-two-wildcards.dzn:16:3: error: port `p' not bound binding-two-wildcards.dzn:26:5: info: of instance: `log'