Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
Ocarina
Commits
6f3aef48
Commit
6f3aef48
authored
Nov 14, 2013
by
yoogx
Browse files
* Defend against links not being established (by lack of a
subcomponent or feature)
parent
5fb8c5c2
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/core/model/ocarina-analyzer-aadl-links.adb
View file @
6f3aef48
...
@@ -6,7 +6,7 @@
...
@@ -6,7 +6,7 @@
-- --
-- --
-- B o d y --
-- B o d y --
-- --
-- --
-- Copyright (C) 2009 Telecom ParisTech, 2010-201
2
ESA & ISAE. --
-- Copyright (C) 2009 Telecom ParisTech, 2010-201
3
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 --
...
@@ -2803,6 +2803,7 @@ package body Ocarina.Analyzer.AADL.Links is
...
@@ -2803,6 +2803,7 @@ package body Ocarina.Analyzer.AADL.Links is
Pointed_Node
:=
Find_Subclause
Pointed_Node
:=
Find_Subclause
(
Corresponding_Container
,
(
Corresponding_Container
,
Item
(
List_Node
));
Item
(
List_Node
));
when
AADL_V2
=>
when
AADL_V2
=>
-- Search in subclause
-- Search in subclause
...
@@ -2822,11 +2823,17 @@ package body Ocarina.Analyzer.AADL.Links is
...
@@ -2822,11 +2823,17 @@ package body Ocarina.Analyzer.AADL.Links is
-- subcomponent.
-- subcomponent.
if
No
(
Pointed_Node
)
then
if
No
(
Pointed_Node
)
then
Pointed_Node
:=
if
Present
Find_Subcomponent
(
Scope_Entity
(
Identifier
(
Container
)))
(
Corresponding_Entity
then
(
Scope_Entity
(
Identifier
(
Container
))),
Pointed_Node
:=
List_Node
);
Find_Subcomponent
(
Corresponding_Entity
(
Scope_Entity
(
Identifier
(
Container
))),
List_Node
);
else
Pointed_Node
:=
No_Node
;
end
if
;
end
if
;
end
if
;
end
case
;
end
case
;
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a 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