partition.tmplt 1.08 KB
Newer Older
1
2
3
4
5
6
7
8
@@-- The up to date list of tags available for this template is available here:
@@-- https://taste.tuxfamily.org/wiki/index.php?title=Kazoo_Templates_Documentation#templates.2Fconcurrency_view.2Fsub.2Fpartition.tmplt
@@-- If you are using vim, go over the URL and pres gx in to follow the link
@@-- If you have no internet access you can also use (with vim) Ctrl-W-f or gf in vim to open the text doc:
@@-- $HOME/tool-inst/share/kazoo/doc/templates_concurrency_view_sub_partition.ascii
with Simulation_Dataview;  use Simulation_Dataview;

package Simulator is
9

Maxime Perrotin's avatar
Maxime Perrotin committed
10
   --  To add an event to the system FIFO (e.g. when functions call a RI)
Maxime Perrotin's avatar
Maxime Perrotin committed
11
   procedure Push_Event (Event : asn1SccObservable_Event);
Maxime Perrotin's avatar
Maxime Perrotin committed
12
13

   --  Get the first stored event from the FIFO
Maxime Perrotin's avatar
Maxime Perrotin committed
14
   function Pop_Event return asn1SccObservable_Event;
Maxime Perrotin's avatar
Maxime Perrotin committed
15
16

   --  Exception raised by Pop_Event if the FIFO is empty
Maxime Perrotin's avatar
Maxime Perrotin committed
17
18
   Empty_Queue : exception;

19
20
21
   --  Event list (call of RI). Export it to permit Python access with ctypes
   Events : asn1SccEvents_Ty := asn1SccEvents_Ty_Init
      with Export, Convention => C, Link_Name => "global_event_queue";
22

23
end Simulator;