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
7abf7235
Commit
7abf7235
authored
Sep 27, 2019
by
bouazizrahma
Browse files
Add the analysis of data subcomponent in BA
parent
6be9732a
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/core/model/ocarina-analyzer-aadl_ba.adb
View file @
7abf7235
...
...
@@ -1701,9 +1701,14 @@ package body Ocarina.Analyzer.AADL_BA is
then
N
:=
Find_Output_Port_Of_Parent_Component
(
Target_Idt
,
Root
,
Parent_Component
);
elsif
Present
(
Find_Data_Subcomponent_Of_Parent_Component
(
Target_Idt
,
Root
,
Parent_Component
))
then
N
:=
Find_Data_Subcomponent_Of_Parent_Component
(
Target_Idt
,
Root
,
Parent_Component
);
end
if
;
if
not
No
(
N
)
then
if
Present
(
N
)
then
BATN
.
Set_Corresponding_Entity
(
BATN
.
First_Node
(
BATN
.
Idt
(
Node
)),
N
);
...
...
@@ -2909,6 +2914,11 @@ package body Ocarina.Analyzer.AADL_BA is
then
N
:=
Find_Input_Port_Of_Parent_Component
(
Ident
,
Root
,
Parent_Component
);
elsif
Present
(
Find_Data_Subcomponent_Of_Parent_Component
(
Ident
,
Root
,
Parent_Component
))
then
N
:=
Find_Data_Subcomponent_Of_Parent_Component
(
Ident
,
Root
,
Parent_Component
);
end
if
;
if
Present
(
N
)
then
...
...
@@ -3635,6 +3645,11 @@ package body Ocarina.Analyzer.AADL_BA is
Success
:=
False
;
end
if
;
end
if
;
if
Success
then
BATN
.
Set_Corresponding_Entity
(
Dispatch_Trigger_Event
,
Pointed_Node
);
end
if
;
else
Error_Loc
(
1
)
:=
BATN
.
Loc
(
Dispatch_Trigger_Event
);
...
...
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