Commit 10ad52f7 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Fix simulation API

parent 8e006ac1
......@@ -121,17 +121,18 @@ package body @_CAPITALIZE:Name_@_Events is
procedure Exhaust_@_CAPITALIZE:List_Of_ASync_RIs_@
(Global_State : in out asn1SccSystem_State;
Callback : access procedure (Event : asn1SccObservable_Event;
Limit_Reached : out Boolean)) is
@@IF@@ @_ASync_RI_Param_Name'Length_@ > 0
Iterator : @_CAPITALIZE:REPLACE_ALL(-/_):ASync_RI_Param_Type_@_Pkg.Instance;
Param : asn1Scc@_CAPITALIZE:REPLACE_ALL(-/_):ASync_RI_Param_Type_@;
@@END_IF@@
Original_State : constant asn1SccSystem_State := Global_State;
Event : asn1SccObservable_Event
(Kind => Output_Event_PRESENT);
Limit_Reached : Boolean;
begin
-- Put_Line ("Exhausing interface @_Name_@");
Limit_Reached : out Boolean))
is
@@IF@@ @_ASync_RI_Param_Name_@
Iterator : @_CAPITALIZE:REPLACE_ALL(-/_):ASync_RI_Param_Type_@_Pkg.Instance;
Param : asn1Scc@_CAPITALIZE:REPLACE_ALL(-/_):ASync_RI_Param_Type_@;
@@END_IF@@
Original_State : constant asn1SccSystem_State := Global_State;
Event : asn1SccObservable_Event
(Kind => Output_Event_PRESENT);
Limit_Reached : Boolean;
begin
-- Put_Line ("Exhausing interface @_CAPITALIZE:List_Of_ASync_RIs_@");
-- Create an event to store as an edge of the state graph
Event.Output_Event.Source := asn1Scc@_CAPITALIZE:Name_@;
Event.Output_Event.Dest := asn1Scc@_CAPITALIZE:Async_RIs_Parent_@;
......@@ -141,7 +142,7 @@ begin
(Kind => Msg_OUT_PRESENT,
Msg_Out => (Kind => @_CAPITALIZE:List_Of_ASync_RIs_@_PRESENT, others => <>)));
@@IF@@ @_ASync_RI_Param_Name'Length_@ > 0
@@IF@@ @_ASync_RI_Param_Name_@
for Each of Iterator loop
-- Iterate exhaustively over the interface parameter
Param := @_CAPITALIZE:REPLACE_ALL(-/_):ASync_RI_Param_Type_@_Pkg.To_ASN1 (Each);
......
......@@ -3,6 +3,9 @@
@@-- 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 then Ctrl-W-L (or gf)
@@-- in vim to open the doc: $HOME/tool-inst/share/kazoo/doc/templates_concurrency_view_sub_pi.ascii
@@--
@@-- THIS CODE IS NOT USED ANYMORE, DO NOT MAINTAIN (IT IS PART OF BLOCK.TMPLT NOW)
@@--
@@TABLE@@
@@IF@@ @_Remote_Languages_@ = GUI
@@SET@@ Remote_GUI = TRUE
......@@ -12,7 +15,8 @@
procedure Exhaust_@_CAPITALIZE:Name_@
(Global_State : in out asn1SccSystem_State;
Callback : access procedure (Event : asn1SccObservable_Event;
Limit_Reached : out Boolean)) is
Limit_Reached : out Boolean))
is
@@IF@@ @_Param_Types'Length_@ > 0
Iterator : @_CAPITALIZE:REPLACE_ALL(-/_):Param_Types_@_Pkg.Instance;
Param : asn1Scc@_CAPITALIZE:REPLACE_ALL(-/_):Param_Types_@;
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment