Skip to content

Commit

Permalink
* Properly analyze properties that apply to "feature"
Browse files Browse the repository at this point in the history
        For issue #67
  • Loading branch information
yoogx committed Jul 7, 2016
1 parent 26f70a8 commit 333b9aa
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions src/core/model/ocarina-analyzer-aadl-queries.adb
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2009 Telecom ParisTech, 2010-2015 ESA & ISAE. --
-- Copyright (C) 2009 Telecom ParisTech, 2010-2016 ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
Expand Down Expand Up @@ -1007,7 +1007,9 @@ package body Ocarina.Analyzer.AADL.Queries is
Can_Apply :=
Named_Element'Val (Category (List_Node)) =
Category_Of_Property_Owner
or else Named_Element'Val (Category (List_Node)) = PO_Port;
or else Named_Element'Val (Category (List_Node)) = PO_Port
or else Named_Element'Val (Category (List_Node))
= PO_Feature;

when PO_Data_Port_Connections |
PO_Event_Port_Connections |
Expand Down

0 comments on commit 333b9aa

Please sign in to comment.