OSATE doesn't reject connection arrays in property associations

[lwrage]

Summary

OSATE allows an index when associating properties with a connection even though AADL doesn't have connection arrays.

Expected and Current Behavior

AADL code like the following should be marked with an error in the editor.

Actual_Connection_Binding => (reference (b1[1])) applies to conn1[1];

Steps to Reproduce

Example model:

package pkg
public
    abstract aType
        features
            da: requires data access;
    end aType;

    system s
    end s;

    system implementation s.i
        subcomponents
            d: data[2];
            a: abstract aType[2];
            b1: bus[2];

        connections
            conn1: data access d <-> a.da {connection_pattern => ((one_to_one));} ;

        properties
            Actual_Connection_Binding => (reference (b1[1])) applies to conn1[1];
            Actual_Connection_Binding => (reference (b1[2])) applies to conn1[2];
    end s.i;
end pkg;

Environment

• OSATE Version: 2.4.0
• Operating System: all

[lwrage]

Need to check what happens for reference(conn[1]), which should also be rejected.