Skip to content
GitLab
Commit b164a033 authored by yoogx's avatar yoogx
Browse files

* All properies can apply to abstract components per 4.6 (2)

parent 2c7c8f5a
Hide whitespace changes
Inline Side-by-side
src/core/model/ocarina-analyzer-aadl-queries.adb
View file @ b164a033
......@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2009 Telecom ParisTech, 2010-2012 ESA & ISAE. --
-- Copyright (C) 2009 Telecom ParisTech, 2010-2013 ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify --
-- it under terms of the GNU General Public License as published by the --
......@@ -965,19 +965,20 @@ package body Ocarina.Analyzer.AADL.Queries is
case Category_Of_Property_Owner is
when PO_Component_Category =>
-- Here, we check that the component (or an access
-- to this component matches on of the
-- to this component) matches one of the
-- corresponding component types or meta model
-- elements in the 'applies to'
Can_Apply :=
(Named_Element'Val (Category (List_Node)) =
((Named_Element'Val (Category (List_Node)) =
PO_Component_Category
or else
Named_Element'Val (Category (List_Node)) =
PO_Component_Access)
and then
(Category_Of_Component =
Component_Category'Val (Component_Cat (List_Node)));
Component_Category'Val (Component_Cat (List_Node))))
or else Category_Of_Component = CC_Abstract;
-- if not, then we check that the kind of entity
-- matches one particular meta-model element
......
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