Commit 8ae9a6d9 authored by yoogx's avatar yoogx
Browse files

* Allow subprogram group as subcomponent of subprogram group,

        part of AADLv2.1 legality rules

        Fixes for #6
parent 29f443c8
......@@ -721,7 +721,8 @@ package body Ocarina.Analyzer.AADL.Legality_Rules is
when CC_Subprogram_Group =>
case Subcomponent_Categ is
when CC_Subprogram => OK := True;
when CC_Subprogram
| CC_Subprogram_Group => OK := True;
when others => OK := False;
end case;
Supports Markdown
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