Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
kazoo
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
0
Issues
0
List
Boards
Labels
Service Desk
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Operations
Operations
Incidents
Environments
Analytics
Analytics
CI / CD
Repository
Value Stream
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
TASTE
kazoo
Commits
c93ff8a1
Commit
c93ff8a1
authored
Sep 06, 2019
by
Maxime Perrotin
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Don't generate a thread for unconnected PIs
parent
96369f1a
Changes
3
Hide whitespace changes
Inline
Side-by-side
Showing
3 changed files
with
17 additions
and
3 deletions
+17
-3
src/taste-aadl_parser.adb
src/taste-aadl_parser.adb
+11
-0
test/test6/InterfaceView.aadl
test/test6/InterfaceView.aadl
+2
-2
test/test6/Makefile
test/test6/Makefile
+4
-1
No files found.
src/taste-aadl_parser.adb
View file @
c93ff8a1
...
...
@@ -429,6 +429,16 @@ package body TASTE.AADL_Parser is
end
if
;
for
PI
of
F
.
Provided
loop
-- Ignore interfaces that are not called by anyone
if
PI
.
RCM
/=
Cyclic_Operation
and
PI
.
Remote_Interfaces
.
Length
=
0
then
Put_Info
(
"Ignoring unconnected interface "
&
To_String
(
PI
.
Name
)
&
" in function "
&
To_String
(
F
.
Name
));
goto
next_pi
;
end
if
;
declare
New_PI
:
Protected_Block_PI
:=
(
Name
=>
PI
.
Name
,
PI
=>
PI
,
...
...
@@ -482,6 +492,7 @@ package body TASTE.AADL_Parser is
New_Item
=>
Thread
);
end
;
end
if
;
<<next_pi>>
end
loop
;
Block
.
Required
:=
F
.
Required
;
-- Add the block to the Concurrency View
...
...
test/test6/InterfaceView.aadl
View file @
c93ff8a1
...
...
@@ -475,8 +475,8 @@ SYSTEM GUI
FEATURES
PI_update_positions : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::GUI::PI_update_positions.others {
Taste::coordinates => "221993 82276";
Taste::RCMoperationKind =>
unprotected
;
Taste::RCMperiod => 0 ms;
Taste::RCMoperationKind =>
cyclic
;
Taste::RCMperiod =>
100
0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "update_positions";
};
...
...
test/test6/Makefile
View file @
c93ff8a1
...
...
@@ -4,7 +4,10 @@ all: test-parse
$(MAKE)
-C
output.pohic
test-parse
:
clean
$(KAZOO)
--gw
-p
--debug
--glue
-o
output.pohic
$(KAZOO)
--gw
-p
--glue
-o
output.pohic
buildsupport_pohic
:
buildsupport
-o
output.buildsupport.pohic
-p
--aadlv2
--glue
-i
InterfaceView.aadl
-c
DeploymentView.aadl
-d
DataView.aadl ../common/ocarina_components.aadl ../common/TASTE_IV_Properties.aadl ../common/TASTE_DV_Properties.aadl
clean
:
rm
-rf
output
...
...
Write
Preview
Markdown
is supported
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