Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
Ocarina
Commits
87823391
Commit
87823391
authored
Mar 03, 2013
by
yoogx
Browse files
* Correct property matching tests in case the property
definition refers to a meta-model element
parent
d48caaf9
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/core/model/ocarina-analyzer-aadl-queries.adb
View file @
87823391
...
...
@@ -979,6 +979,15 @@ package body Ocarina.Analyzer.AADL.Queries is
(
Category_Of_Component
=
Component_Category
'
Val
(
Component_Cat
(
List_Node
)));
-- if not, then we check that the kind of entity
-- matches one particular meta-model element
if
not
Can_Apply
then
Can_Apply
:=
Kind
(
Entity
)
=
K_Subcomponent
and
then
Named_Element
'
Val
(
Category
(
List_Node
))
=
PO_Subcomponent
;
end
if
;
-- XXX dubious, here we erase the previously
-- computed value of Can_Apply, to be investigated.
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment