Commit 22e0fbf6 authored by yoogx's avatar yoogx
Browse files

* Also condifer component implementation when checking for the

          applicability of a property

          Fixes issue #35
parent 0b591bff
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
-- -- -- --
-- B o d y -- -- B o d y --
-- -- -- --
-- Copyright (C) 2009 Telecom ParisTech, 2010-2014 ESA & ISAE. -- -- Copyright (C) 2009 Telecom ParisTech, 2010-2015 ESA & ISAE. --
-- -- -- --
-- Ocarina is free software; you can redistribute it and/or modify -- -- Ocarina is free software; you can redistribute it and/or modify --
-- it under terms of the GNU General Public License as published by the -- -- it under terms of the GNU General Public License as published by the --
...@@ -966,7 +966,10 @@ package body Ocarina.Analyzer.AADL.Queries is ...@@ -966,7 +966,10 @@ package body Ocarina.Analyzer.AADL.Queries is
PO_Component_Category PO_Component_Category
or else or else
Named_Element'Val (Category (List_Node)) = Named_Element'Val (Category (List_Node)) =
PO_Component_Access) PO_Component_Access
or else
Named_Element'Val (Category (List_Node)) =
PO_Component_Implementation)
and then and then
(Category_Of_Component = (Category_Of_Component =
Component_Category'Val (Component_Cat (List_Node)))) Component_Category'Val (Component_Cat (List_Node))))
......
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