Optionally list all empty connection sets

[Francesco Casella]

Sometimes people make mistakes by not connecting (or incorrectly connecting) ports, particularly in electrical circuits. This fact may not be immediately obvious from inspection of the diagram.

It would be nice to get optional notification of all empty connection sets from the front end, e.g. by turing on -d=listEmptyCS. OMEdit could then have a flag that turns this on when Check is performed.

@perost, you already gather that information, so this should be an easy task, right?

[Per Östlund]

There's not really such a thing as an empty connection set, at least as far as the compiler is concerned. But unconnected flow variables create connection sets by themselves, so I guess we can infer that information based on those.

Any preference on output format? A single list or one message per unconnected connector? One message per connector is perhaps preferable so the user also gets the source location, but could potentially be a lot of output.

[Francesco Casella]

Ticket retargeted after milestone closed