osate / osate2

Open Source AADL2 Tool Environment
http://osate.org
Eclipse Public License 2.0
39 stars 8 forks source link

Missing validation of feature group type declared as inverse #513

Closed lwrage closed 9 years ago

lwrage commented 9 years ago

The AADL text editor does not detect that the features in fg2 don't have the opposite direction of the corresponding features in fg1.

    feature group fg1
        features
            b1: requires bus access mybus;
            d1: out data port;
    end fg1;

    feature group fg2
        features
            b2: requires bus access mybus;
            d2: out data port;
        inverse of fg1
    end fg2;
lwrage commented 9 years ago

The following is not an error!

    feature group fg1
        features
            b1: requires bus access mybus;
            d1: out data port;
    end fg1;

    feature group fg2
        inverse of fg1
    end fg2;