Description Kristof Szabados 2017-04-20 12:08:54 EDT

Tomas Urban reported in mantic CR 7607 an interesting case related to connect and map statements.

Currently this code is accepted:
"
type port P message { in integer; }
type component C { port P p; }
testcase TC() runs on C system C {
  var C v_ptc := C.create;
  connect(self:p, v_ptc:p);
}
"

But as the port does not have an out parameter list, it is not possible to actually send out any message on this port and so the connection should be reported as erroneous (or at least quality warning)

This should be done in the core and designer components.