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
04d19f14
Commit
04d19f14
authored
Apr 23, 2019
by
Maxime Perrotin
Browse files
Add reference to PI in threads
parent
554fc33f
Changes
2
Hide whitespace changes
Inline
Side-by-side
src/taste-aadl_parser.adb
View file @
04d19f14
...
...
@@ -453,6 +453,7 @@ package body TASTE.AADL_Parser is
Entry_Port_Name
=>
PI
.
Name
,
Protected_Block_name
=>
Block
.
Name
,
Node
=>
Block
.
Node
,
PI
=>
PI
,
Output_Ports
=>
Get_Output_Ports
(
Model
,
F
));
begin
CV
.
Nodes
...
...
src/taste-concurrency_view.ads
View file @
04d19f14
...
...
@@ -72,6 +72,7 @@ package TASTE.Concurrency_View is
Protected_Block_Name
:
Unbounded_String
;
Output_Ports
:
Ports
.
Map
;
Node
:
Option_Node
.
Option
;
PI
:
Taste_Interface
;
-- Contains period, etc.
end
record
;
function
To_Template
(
T
:
AADL_Thread
)
return
Translate_Set
;
...
...
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