marte_non_local_jump/context.ads

   1 ------------------------------------------------------------------------------\r
   2 --  ------------------         M a R T E   O S         -------------------  --\r
   3 ------------------------------------------------------------------------------\r
   4 --                                                             {MARTE_VERSION}\r
   5 --\r
   6 --                            'C o n t e x t'\r
   7 --\r
   8 --                                  Spec\r
   9 --\r
  10 --  File 'context.ads'                                          By MAR\r
  11 --\r
  12 --  Processor context for non-local jumps\r
  13 --\r
  14 --  IMPORTANT: it must be compiled without any optimization!!\r
  15 --\r
  16 --  {MARTE_COPYRIGHT}\r
  17 --\r
  18 ------------------------------------------------------------------------------\r
  19 --  {<MAR}\r
  20 --\r
  21 --  02-08-07:version operativa.\r
  22 --\r
  23 --  {MAR>} -------------------------------------------------------------------\r
  24 package Context is\r
  25 \r
  26    type Work_Acc is access procedure;\r
  27    pragma Convention (C, Work_Acc);\r
  28 \r
  29    function Execute_Work(Work : Work_Acc) return Integer;\r
  30    pragma export(C,Execute_Work, "execute_work");\r
  31 \r
  32    procedure Restore_Work;\r
  33    pragma export(C,Restore_Work, "restore_work");\r
  34 \r
  35 end Context;\r