This is one example of numerous similar errors that says my topology violates the rules.
I have port out->port in, consistent data types. This seems to accord with the restrictions and examples in section 4.3.2 Port Connections in the SLIM language specification document.
What could be wrong?
/home/compasseval/Documents/.../xxx.slim:29:
(G-9) Port Connection is invalid, because it violates the rules for possible connection topologies.
data port pumpGrn.pressure -> isol.hyd_in; -- hydraulics
pumpGrn is instance of device pump
isol.hyd is instance of device valve
device pump
features
pressure: out data port bool default false;
end pump;
device implementation pump.impl
end pump.impl;
device valve
features
cmd: in data port bool;
hyd_in: in data port bool;
hyd_out: out data port bool;
end valve;
device implementation valve.impl
flows
hyd_out:= hyd_in and cmd;
end valve.impl;