Commit d9677160 authored by yoogx's avatar yoogx
Browse files

* Do not reject subcomponents that refine an abstract

          subcomponent into another abstract subcomponent

        For testcase AADL-CTS/02-Semantic/SC0008/AADL-4.6-L2/01-pos in aadlqa
parent a02b795e
......@@ -3226,8 +3226,9 @@ package body Ocarina.Analyzer.AADL.Links is
Message2 => ", which is not a component ");
Success := False;
elsif Is_Refinement (Node) and then
Category (Node) = Component_Category'Pos (CC_Abstract)
elsif Is_Refinement (Node)
and then Category (Node) = Component_Category'Pos (CC_Abstract)
and then Category (Pointed_Node) /= Category (Node)
then
DAE (Node1 => Node,
Message1 => " cannot be refined into an abstract");
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment