report impossible connect and map statements
Submitted by Kristof Szabados
Assigned to Bence Janos Szabo
Link to original bug (#515533)
Description
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.
Version: 6.1.0