marte_non_local_jump/context.ads

   1 package Context is\r
   2 \r
   3    type Work_Acc is access procedure;\r
   4    pragma Convention (C, Work_Acc);\r
   5 \r
   6    function Execute_Work(Work : Work_Acc) return Integer;\r
   7    pragma export(C,Execute_Work, "execute_work");\r
   8 \r
   9    procedure Restore_Work;\r
  10    pragma export(C,Restore_Work, "restore_work");\r
  11 \r
  12 end Context;\r