Description Ernesto Posse 2016-01-15 11:37:37 EST

When typing a reference to a port in a connector, code completion should show only relevant ports. E.g.

model M
{
    protocol P1 {}
    protocol P2 {}
    capsule C1 { port p1 : P1; }
    capsule C2 { conjugate port p2 : P2; }
    capsule C3 { port q1 : P2; conjugate port q2 : P1; }
    capsule Top
    {
        part c1 : C1;
        part c2 : C2;
        part c3 : C3;
        connect <source> to <target>; // (*)
    }
}

when typing <source> in line (*), it should show only the following options:

c1.p1
c2.p2
c3.q1
c3.q2

(and no ports from any other capsule part in another capsule).

Then, once a port is selected, typing <target> should show only ports that can be connected, namely ports typed by the same protocol which have the dual conjugation, and enough replication factor.

To account for the replication factor we need to take into account both the relevant part's replication factor as well as the port's replication factor.