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
83cca5a9
Commit
83cca5a9
authored
Jun 11, 2021
by
Maxime Perrotin
Browse files
Add template support for lost messages in observers
parent
bd4fdcbc
Changes
2
Hide whitespace changes
Inline
Side-by-side
templates/concurrency_view/simulation-adb/node.tmplt
View file @
83cca5a9
...
...
@@ -84,7 +84,7 @@ package body Simulator_Interface is
Print_Event
(
Event
);
User_State
:=
Application_State
(
Full_state
);
case
Event
.
Kind
is
when
System_Startup_PRESENT
|
No_Event_PRESENT
=>
null
;
when
System_Startup_PRESENT
|
No_Event_PRESENT
|
Unhandled_Input_PRESENT
=>
null
;
when
Input_Event_PRESENT
=>
case
Event
.
Input_Event
.
Event
.
Kind
is
@@
TABLE
'ALIGN_ON("=>", "(", "Global")@@
...
...
@@ -229,7 +229,7 @@ package body Simulator_Interface is
procedure
Print_Event
(
Event
:
asn1SccObservable_Event
)
is
begin
case
Event
.
Kind
is
when
System_Startup_PRESENT
|
No_Event_PRESENT
=>
null
;
when
System_Startup_PRESENT
|
No_Event_PRESENT
|
Unhandled_Input_PRESENT
=>
null
;
when
Input_Event_PRESENT
=>
case
Event
.
Input_Event
.
Event
.
Kind
is
@@
TABLE
'ALIGN_ON("=>", "(", "Global")@@
...
...
templates/concurrency_view/simulation_dataview/system.tmplt
View file @
83cca5a9
...
...
@@ -46,10 +46,14 @@ BEGIN
Observable-Event ::= CHOICE {
no-event SEQUENCE {},
system-startup SEQUENCE {},
input-event Interface-Event,
output-event Interface-Event
input-event Interface-Event, -- input event is evaluated after the transition
output-event Interface-Event, -- output event is evaluated before the message is sent
unhandled-input Interface-Event -- message received in a state where it is not expected
}
-- constant that can be used to refer to the absence of an input/output event
nothing Observable-Event ::= no-event : {}
-- Define a queue of events, corresponding to the input queue for each function
max-events INTEGER ::= 10
Events-Ty ::= SEQUENCE (SIZE (0 .. max-events)) OF Observable-Event
...
...
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