------------------------------------------------------------------------------
--  ------------------         M a R T E   O S         -------------------  --
------------------------------------------------------------------------------
--                                                             {MARTE_VERSION}
--
--                            'C o n t e x t'
--
--                                  Spec
--
--  File 'context.ads'                                          By MAR
--
--  Processor context for non-local jumps
--
--  IMPORTANT: it must be compiled without any optimization!!
--
--  {MARTE_COPYRIGHT}
--
------------------------------------------------------------------------------
--  {<MAR}
--
--  02-08-07:version operativa.
--
--  {MAR>} -------------------------------------------------------------------
package Context is

   type Work_Acc is access procedure;
   pragma Convention (C, Work_Acc);

   function Execute_Work(Work : Work_Acc) return Integer;
   pragma export(C,Execute_Work, "execute_work");

   procedure Restore_Work;
   pragma export(C,Restore_Work, "restore_work");

end Context;