Property applicability clause to classifiers not recognized.

In the AADL V2, it should be possible to declare a property definition whose applicability is restricted to a classifier instead of a category, like for property "test_prop_def_restricted" in the following code snippet:

property set test_properties is with test_package; test_prop_def : aadlinteger applies to (processor); test_prop_def_restricted : aadlinteger applies to (test_package::Test_Proc); end test_properties;

When we want to create a property association in the classifier that the property applies to, an error is displayed saying that the property does not apply to the component:

package test_package public with test_properties; processor Test_Proc properties test_properties::test_prop_def => 1; test_properties::test_prop_def_restricted => 1; end Test_Proc;

    processor Test_Proc2
        properties
            test_properties::test_prop_def => 1;
            test_properties::test_prop_def_restricted => 1;
    end Test_Proc2;

end test_package;

osate / osate2

Property applicability clause to classifiers not recognized. #120