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
79bcd971
Commit
79bcd971
authored
Jul 02, 2019
by
bouazizrahma
Browse files
fix bug in analysis of for/forall construct
parent
fb68f30b
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/core/model/ocarina-analyzer-aadl_ba.adb
View file @
79bcd971
...
...
@@ -1261,6 +1261,24 @@ package body Ocarina.Analyzer.AADL_BA is
end
if
;
end
if
;
if
Present
(
In_Element_Values
(
Node
))
then
if
BATN
.
Kind
(
In_Element_Values
(
Node
))
=
BATN
.
K_Integer_Range
then
Success
:=
Success
and
then
Analyze_BA_Integer_Value
(
Node
=>
BATN
.
Lower_Int_Val
(
In_Element_Values
(
Node
)),
Root
=>
Root
,
BA_Root
=>
BA_Root
,
Parent_Component
=>
Parent_Component
)
and
then
Analyze_BA_Integer_Value
(
Node
=>
BATN
.
Upper_Int_Val
(
In_Element_Values
(
Node
)),
Root
=>
Root
,
BA_Root
=>
BA_Root
,
Parent_Component
=>
Parent_Component
);
end
if
;
end
if
;
if
Is_Empty
(
Scope_BA_Entities
)
then
L
:=
New_List
(
BATN
.
K_BA_Entity_List
,
No_Location
);
else
...
...
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