osate / osate2

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

Unable to use a declared feature group property #459

Closed stevevestal closed 9 years ago

stevevestal commented 10 years ago

-- This doesn't seem right....

property set MyProperty is -- No errors in the property set declarations. My_Data_Property: Size applies to (data); My_Group_Property: Size applies to (feature group); end MyProperty;

package MyFeatures public with MyProperty;

data MyData
properties
    MyProperty::My_Data_Property => 64 Bytes;
end MyData;

feature group MyGroup
properties
    -- The above is accepted but this produces an error.
    MyProperty::My_Group_Property => 64 Bytes;
end MyGroup;

end MyFeatures;

lwrage commented 9 years ago

This is not a bug. Unfortunately, in AADL source text "feature group" refers to the declaration of a feature group type (as in the example) and also to a feature that references a feature group classifier. In the standard document the BNF uses "feature_group_type" and "feature_group_spec". In the meta-model we use metaclasses "FeatureGroupType" and "FeatureGroup". Accordingly, the example works if you write "My_Group_Property: Size applies to (feature group type);".