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
079379ef
Commit
079379ef
authored
Jan 09, 2017
by
yoogx
Browse files
* For REAL, analysis is done as part of the backend
For issue #75
parent
f3f61dd7
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/core/model/ocarina-analyzer-aadl-annexes.adb
View file @
079379ef
...
...
@@ -35,7 +35,6 @@ with Ocarina.ME_AADL.AADL_Tree.Nodes;
with
Ocarina
.
ME_REAL
.
Tokens
;
with
Ocarina
.
ME_AADL_EMA
.
EMA_Tokens
;
with
Ocarina
.
ME_AADL_BA
.
Tokens
;
with
Ocarina
.
Instances
;
with
Ocarina
.
Namet
;
with
Errors
;
with
Charset
;
...
...
@@ -46,7 +45,6 @@ package body Ocarina.Analyzer.AADL.Annexes is
use
Ocarina
.
Analyzer
;
use
Ocarina
.
Analyzer
.
AADL
.
Finder
;
use
Ocarina
.
ME_AADL
.
AADL_Tree
.
Nodes
;
use
Ocarina
.
Instances
;
use
Ocarina
.
Namet
;
use
Errors
;
...
...
@@ -75,17 +73,16 @@ package body Ocarina.Analyzer.AADL.Annexes is
Root
:
Node_Id
)
return
Boolean
is
Success
:
Boolean
:=
False
;
Instance_Root
:
Node_Id
;
begin
-- for real annex Analyze_Model takes the aadl root of
-- instance tree as parameter
if
Language_Annex
=
RT
.
Language
then
Instance_Root
:=
Instantiate_Model
(
Root
);
end
if
;
if
Language_Annex
=
RT
.
Language
then
Success
:=
Analyze
(
Language
,
Instance_Root
);
-- For the REAL annex, analysis is done as part of the
-- backend logic
Success
:=
True
;
else
Success
:=
Analyze
(
Language
,
Root
);
end
if
;
...
...
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