Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
kazoo
Commits
f3cac1dd
Commit
f3cac1dd
authored
Apr 14, 2019
by
Maxime Perrotin
Browse files
Include RCM association in template
parent
7f92f213
Changes
3
Hide whitespace changes
Inline
Side-by-side
src/taste-aadl_parser.adb
View file @
f3cac1dd
-- ************************ TASTE AADL Parser ************************** --
-- Based on Ocarina **************************************************** --
-- (c) 201
8
European Space Agency - maxime.perrotin@esa.int
-- (c) 201
9 Maxime Perrotin /
European Space Agency - maxime.perrotin@esa.int
-- LGPL license, see LICENSE file
with
System
.
Assertions
,
...
...
@@ -445,6 +445,7 @@ package body TASTE.AADL_Parser is
declare
Thread
:
constant
AADL_Thread
:=
(
Name
=>
F
.
Name
&
"_"
&
PI
.
Name
,
RCM
=>
US
(
PI
.
RCM
'
Img
),
Entry_Port_Name
=>
PI
.
Name
,
Protected_Block_name
=>
Block
.
Name
,
Node
=>
Block
.
Node
,
...
...
src/taste-concurrency_view.adb
View file @
f3cac1dd
...
...
@@ -119,6 +119,7 @@ package body TASTE.Concurrency_View is
return
Result
:
constant
Translate_Set
:=
(
+
Assoc
(
"Name"
,
To_String
(
T
.
Name
))
&
Assoc
(
"Entry_Port_Name"
,
To_String
(
T
.
Entry_Port_Name
))
&
Assoc
(
"RCM"
,
To_String
(
T
.
RCM
))
&
Assoc
(
"Pro_Block_Name"
,
To_String
(
T
.
Protected_Block_Name
))
&
Assoc
(
"Node_Name"
,
To_String
(
T
.
Node
.
Value_Or
(
Taste_Node
'(
Name
=>
US
(
""
),
others
=>
<>
)).
Name
))
...
...
src/taste-concurrency_view.ads
View file @
f3cac1dd
...
...
@@ -66,6 +66,7 @@ package TASTE.Concurrency_View is
type
AADL_Thread
is
tagged
record
Name
:
Unbounded_String
;
RCM
:
Unbounded_String
;
Entry_Port_Name
:
Unbounded_String
;
Protected_Block_Name
:
Unbounded_String
;
Output_Ports
:
Ports
.
Map
;
...
...
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