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
kazoo
Commits
37cfee52
Commit
37cfee52
authored
Oct 22, 2018
by
Maxime Perrotin
Browse files
Move concurrency view generator to parser level
parent
85296fb3
Changes
5
Hide whitespace changes
Inline
Side-by-side
src/aadl_parser.adb
View file @
37cfee52
...
...
@@ -11,7 +11,7 @@ begin
Model
:
constant
TASTE_Model
:=
Parse_Project
;
Transformed
:
TASTE_Model
:=
Transform
(
Model
);
begin
Create
_Concurrency_View
(
Transformed
)
;
Transformed
.
Add
_Concurrency_View
;
Transformed
.
Dump
;
Transformed
.
Generate_Build_Script
;
Transformed
.
Generate_Code
;
...
...
src/taste-aadl_parser.adb
View file @
37cfee52
...
...
@@ -243,6 +243,12 @@ package body TASTE.AADL_Parser is
return
Nothing
;
end
Find_Binding
;
procedure
Add_Concurrency_View
(
Model
:
in
out
TASTE_Model
)
is
Result
:
Taste_Concurrency_View
;
begin
Model
.
Concurrency_View
:=
Result
;
end
Add_Concurrency_View
;
procedure
Dump
(
Model
:
TASTE_Model
)
is
Output_Path
:
constant
String
:=
Model
.
Configuration
.
Output_Dir
.
all
&
"/Debug"
;
...
...
src/taste-aadl_parser.ads
View file @
37cfee52
...
...
@@ -35,6 +35,8 @@ package TASTE.AADL_Parser is
function
Parse_Project
return
TASTE_Model
;
procedure
Add_Concurrency_View
(
Model
:
in
out
TASTE_Model
);
function
Find_Binding
(
Model
:
TASTE_Model
;
F
:
Unbounded_String
)
return
Option_Partition
.
Option
;
...
...
src/taste-model_transformations.adb
View file @
37cfee52
with
Ada
.
Containers
,
-- Ocarina.Backends.Properties,
TASTE
.
Parser_Utils
,
TASTE
.
Concurrency_View
;
TASTE
.
Parser_Utils
;
use
Ada
.
Containers
,
-- Ocarina.Backends.Properties,
TASTE
.
Parser_Utils
,
TASTE
.
Concurrency_View
;
TASTE
.
Parser_Utils
;
with
Ada
.
Strings
.
Unbounded
;
use
Ada
.
Strings
.
Unbounded
;
-- with Text_IO; use Text_IO;
...
...
@@ -203,11 +201,4 @@ package body TASTE.Model_Transformations is
return
Result
;
end
Transform
;
procedure
Create_Concurrency_View
(
Model
:
in
out
TASTE_Model
)
is
Result
:
Taste_Concurrency_View
;
begin
Model
.
Concurrency_View
:=
Result
;
end
Create_Concurrency_View
;
end
TASTE
.
Model_Transformations
;
src/taste-model_transformations.ads
View file @
37cfee52
...
...
@@ -16,8 +16,6 @@ package TASTE.Model_Transformations is
-- * Create Timer manager functions
function
Transform
(
Model
:
TASTE_Model
)
return
TASTE_Model
;
procedure
Create_Concurrency_View
(
Model
:
in
out
TASTE_Model
);
Transformation_Error
:
exception
;
private
...
...
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