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
PolyORB-HI-C
Commits
05d5cc7e
Commit
05d5cc7e
authored
Apr 19, 2018
by
yoogx
Browse files
* Minor reformatting
parent
3d106798
Changes
1
Show whitespace changes
Inline
Side-by-side
examples/aadlv2/producer-consumer/software.aadl
View file @
05d5cc7e
...
...
@@ -2,73 +2,73 @@ package Software
public
with
Data_Model
;
----------
--
Data
--
----------
----------
--
Data
--
----------
data
Alpha_Type
properties
data
Alpha_Type
properties
Data_Model
::
Data_Representation
=>
integer
;
end
Alpha_Type
;
end
Alpha_Type
;
-----------------
--
Subprograms
--
-----------------
-----------------
--
Subprograms
--
-----------------
subprogram
Produce_Spg
features
subprogram
Produce_Spg
features
Data_Source
:
out
parameter
Alpha_Type
;
properties
s
ource_
l
anguage
=>
C
;
s
ource_
n
ame
=>
"user_produce_spg"
;
s
ource_
t
ext
=>
(
"producer-consumer.c"
);
end
Produce_Spg
;
properties
S
ource_
L
anguage
=>
C
;
S
ource_
N
ame
=>
"user_produce_spg"
;
S
ource_
T
ext
=>
(
"producer-consumer.c"
);
end
Produce_Spg
;
subprogram
Consume_Spg
features
subprogram
Consume_Spg
features
Data_Sink
:
in
parameter
Alpha_Type
;
properties
s
ource_
l
anguage
=>
C
;
s
ource_
n
ame
=>
"user_consume_spg"
;
s
ource_
t
ext
=>
(
"producer-consumer.c"
);
end
Consume_Spg
;
properties
S
ource_
L
anguage
=>
C
;
S
ource_
N
ame
=>
"user_consume_spg"
;
S
ource_
T
ext
=>
(
"producer-consumer.c"
);
end
Consume_Spg
;
-------------
--
Threads
--
-------------
-------------
--
Threads
--
-------------
thread
P
features
thread
P
features
Data_Source
:
out
data
port
Alpha_Type
;
end
P
;
end
P
;
thread
implementation
P
.
Impl
calls
Mycalls
:
{
thread
implementation
P
.
Impl
calls
Mycalls
:
{
P_Spg
:
subprogram
Produce_Spg
;
};
connections
};
connections
parameter
P_Spg
.
Data_Source
->
Data_Source
;
properties
properties
Dispatch_Protocol
=>
Periodic
;
Period
=>
200
M
s
;
end
P
.
Impl
;
Period
=>
200
m
s
;
end
P
.
Impl
;
thread
Q
features
thread
Q
features
Data_Sink
:
in
data
port
Alpha_Type
;
end
Q
;
end
Q
;
thread
implementation
Q
.
Impl
calls
Mycalls
:
{
thread
implementation
Q
.
Impl
calls
Mycalls
:
{
Q_Spg
:
subprogram
Consume_Spg
;
};
connections
};
connections
parameter
Data_Sink
->
Q_Spg
.
Data_Sink
;
properties
properties
Dispatch_Protocol
=>
Periodic
;
Period
=>
100
M
s
;
end
Q
.
Impl
;
Period
=>
100
m
s
;
end
Q
.
Impl
;
end
Software
;
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