Local contained property association for feature in feature group

[lwrage]

The applies to path of a local contained property association at a feature group is not processed correctly by the parser. See feature group f in process type P below.

package local_contained
public
    with ps;

    system S
    end S;

    system implementation S.i
        subcomponents
            s_p: process P {ps::prop0 => "local contained" applies to f.i;};
    end S.i;

    feature group fgt
        features
          i: in data port;
          o: out data port;
    end fgt;

    process P
        features
            -- the following line is correct AADL but the parser reports an error
            f: feature group fgt {ps::prop0 => "fgt local contained" applies to o;};
    end P;

end local_contained;

property set ps is
    p: aadlinteger => 0 applies to (system, process, thread);
    prop0: inherit aadlstring applies to (named element);
    prop1: aadlstring applies to (named element);
    prop2: aadlstring applies to (named element);
    prop3: aadlstring applies to (named element);
    prop4: aadlstring applies to (named element);
end PS;

[reteprelief]

Fixed and pushed.

-----Original Message----- From: lwrage [mailto:reply@reply.github.com] Sent: Monday, August 06, 2012 4:19 AM To: Peter Feiler Subject: [osate2-core] Local contained property association for feature in feature group (#90)

The applies to path of a local contained property association at a feature group is not processed correctly by the parser. See feature group f in process type P below.

package local_contained
public
    with ps;

    system S
    end S;

    system implementation S.i
        subcomponents
            s_p: process P {ps::prop0 => "local contained" applies to f.i;};
    end S.i;

    feature group fgt
        features
          i: in data port;
          o: out data port;
    end fgt;

    process P
        features
            -- the following line is correct AADL but the parser reports an error
            f: feature group fgt {ps::prop0 => "fgt local contained" applies to o;};
    end P;

end local_contained;

property set ps is
    p: aadlinteger => 0 applies to (system, process, thread);
    prop0: inherit aadlstring applies to (named element);
    prop1: aadlstring applies to (named element);
    prop2: aadlstring applies to (named element);
    prop3: aadlstring applies to (named element);
    prop4: aadlstring applies to (named element); end PS; ```

---
Reply to this email directly or view it on GitHub:
https://github.com/osate/osate2-core/issues/90