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
36d972c7
Commit
36d972c7
authored
Jul 25, 2019
by
bouazizrahma
Committed by
Jerome Hugues
Sep 10, 2019
Browse files
add out data port to the list of possible parameters for a subprogram called in the BA
parent
af7af71f
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/core/model/ocarina-analyzer-aadl_ba.adb
View file @
36d972c7
...
...
@@ -728,7 +728,7 @@ package body Ocarina.Analyzer.AADL_BA is
elsif
Component_Category
'
Val
(
Category
(
Parent_Component
))
=
CC_Thread
then
-- For a thread, there can be only one initial state, and
-- several
initial
and/ou final states.
-- several
complete
and/ou final states.
if
Length
(
Initial_States_List
)
>
1
then
Success
:=
False
;
...
...
@@ -2554,7 +2554,19 @@ package body Ocarina.Analyzer.AADL_BA is
or
else
Present
(
Requires_data_access
)
or
else
Present
(
Find_Data_Subcomponent_Of_Parent_Component
(
BATN
.
Identifier
(
Node
),
Root
,
Parent_Component
));
(
BATN
.
Identifier
(
Node
),
Root
,
Parent_Component
))
or
else
(
Present
(
Find_Output_Port_Of_Parent_Component
(
Node
=>
BATN
.
Identifier
(
Node
),
Root
=>
Root
,
Parent_Component
=>
Parent_Component
))
and
then
Present
(
Find_Data_Port_Of_Parent_Component
(
Node
=>
BATN
.
Identifier
(
Node
),
Root
=>
Root
,
Parent_Component
=>
Parent_Component
)));
if
not
Is_Empty
(
Scope_BA_Entities
)
then
Scope_BA_Entity
:=
BATN
.
First_Node
(
Scope_BA_Entities
);
...
...
Write
Preview
Supports
Markdown
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