Skip to content

O
Ocarina
Commit 333b9aac authored by yoogx's avatar yoogx
Browse files
Options

* Properly analyze properties that apply to "feature" 

        For issue #67
parent 26f70a87
Hide whitespace changes
Inline Side-by-side
Showing with 4 additions and 2 deletions
src/core/model/ocarina-analyzer-aadl-queries.adb
View file @ 333b9aac
......@@ -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- --
......@@ -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 |
......
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