------------------------------------------------------------------------------
--  ------------------         M a R T E   O S         -------------------  --
------------------------------------------------------------------------------
--                                                             {MARTE_VERSION}
--
--                            'C o n t e x t'
--
--                                  Body
--
--  File 'context.adb'                                          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>} -------------------------------------------------------------------
with Text_IO; use Text_IO;
with Marte.Integer_Types;
with Non_Local_Jump;
with System;

use type Marte.Integer_Types.Unsigned_32;

package body Context is

   Jmp_Buff : aliased Non_Local_Jump.Jmp_Context;
   pragma Volatile (Jmp_Buff);

   TCB : System.Address := System.Null_Address;
   pragma Volatile (TCB);

   function Pthread_Self return System.Address;
   pragma Import (C, Pthread_Self, "pthread_self");

   function Execute_Work(Work : Work_Acc) return Integer is
   begin
      Put_Line ("Start work");
      TCB := Pthread_Self;
      Non_Local_Jump.Save_Context(Jmp_Buff'Access);
      if Non_Local_Jump.After_Jump (Jmp_Buff'Access) = 0 then
         Put_Line ("---Not After Jump---");
         Work.all;
         return 0;
      else
         Put_Line ("---After Jump---");
         return 1;
      end if;
   end Execute_Work;

   procedure Restore_Work is
   begin
      Non_Local_Jump.Restore_Context (TCB, Jmp_Buff'Access);
   end Restore_Work;

end Context;