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
f78f6ddd
Commit
f78f6ddd
authored
Apr 25, 2019
by
Maxime Perrotin
Browse files
Improve aadl templates
parent
cdded42e
Changes
1
Hide whitespace changes
Inline
Side-by-side
templates/concurrency_view/aadl_2_threads/thread.tmplt
View file @
f78f6ddd
...
...
@@ -16,24 +16,28 @@
@@--
@
_IF_Property_Names_
@,
_Values_
@
:
user
properties
(
vector
tag
)
@@--
@@--
Matrix
of
output
ports
:
Remote
thread
/
corresponding
remote
PI
@
_Name_
@
package
@
_Thread_Name_
@
_Thread
package
@
_
CAPITALIZE
:
Thread_Name_
@
_Thread
public
with
Deployment
;
with
p
rocess_
p
ackage
;
with
P
rocess_
P
ackage
;
with
Dataview
;
thread
@
_Thread_Name_
@
thread
@
_CAPITALIZE
:
Thread_Name_
@
@@
IF
@@
@
_RCM_
@
/=
"CYCLIC_OPERATION"
or
@
_Remote_Threads
'Length_@ > 0
features
@@
INLINE
(
)()()@@
@@
IF
@@
@
_Param_Names
'Length_@ > 0
INPORT_@_Entry_Port_Name_@ : in event data port DataView::@_REPLACE_ALL((-)/_):Param_Types_@_Buffer.impl
@@ELSE@@
INPORT_@_Entry_Port_Name_@ : in event port
@@END_IF@@
@@END_INLINE@@
@@END_IF@@
@@IF@@ @_RCM_@ /= "CYCLIC_OPERATION"
@@INLINE( )()()@@
@@IF@@ @_Param_Names'
Length_
@
>
0
INPORT_
@
_Entry_Port_Name_
@
:
in
event
data
port
DataView
::@
_REPLACE_ALL
((-)/
_
):
Param_Types_
@
_Buffer
.
impl
@@
ELSE
@@
INPORT_
@
_Entry_Port_Name_
@
:
in
event
port
@@
END_IF
@@
@@
END_INLINE
@@
{
Compute_Execution_Time
=>
@
_WCET_
@
ms
..
@
_WCET_
@
ms
;
Queue_Size
=>
@
_Queue_Size_
@;
Compute_Entrypoint_Source_Text
=>
"@_Thread_Name_@_Wrappers.@_Entry_Port_Name_@"
;
};
@@
END_IF
@@
@@
TABLE
@@
@@
INLINE
(
)()()@@
@@
IF
@@
@
_Remote_PI_Sorts_
@
/=
""
...
...
@@ -43,15 +47,16 @@ features
@@
END_IF
@@
@@
END_INLINE
@@
@@
END_TABLE
@@
end @_Thread_Name_@;
end
@
_
CAPITALIZE
:
Thread_Name_
@;
thread implementation @_Name_@.others
thread
implementation
@
_
CAPITALIZE
:
Thread_
Name_
@.
others
properties
Initialize_Entrypoint_Source_Text => "@_Name_@_Wrappers.C_Init_@_Name_@";
@@INLINE( )()()@@
Initialize_Entrypoint_Source_Text
=>
"@_
Thread_
Name_@_Wrappers.C_Init_@_
Thread_
Name_@"
;
@@
INLINE
(
)(
\
n
)()@@
@@
IF
@@
@
_RCM_
@
=
"SPORADIC_OPERATION"
Dispatch_Protocol
=>
Sporadic
;
@@
ELSE
@@
Compute_Entrypoint_Source_Text
=>
"@_Thread_Name_@_Wrappers.@_Entry_Port_Name_@"
;
Dispatch_Protocol
=>
Periodic
;
@@
END_IF
@@
@@
END_INLINE
@@
...
...
@@ -60,6 +65,6 @@ properties
Compute_Execution_Time
=>
@
_WCET_
@
ms
..
@
_WCET_
@
ms
;
Stack_Size
=>
50
KBytes
;
Priority
=>
1
;
end @_Name_@.others;
end
@
_
CAPITALIZE
:
Thread_
Name_
@.
others
;
end @_Name_@_Thread;
end
@
_
CAPITALIZE
:
Thread_
Name_
@
_Thread
;
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