Updating marte_non_local_jump to new MaRTE OS file organisation

[frescor/fosa.git] / marte_non_local_jump / context.adb

diff --git a/marte_non_local_jump/context.adb b/marte_non_local_jump/context.adb
index d0379f6cd6f4af09060c0b96cd83dfb320c90294..2b0a972e2ab2d018c424fabb8f2f1f4f55b05032 100644 (file)
--- a/marte_non_local_jump/context.adb
+++ b/marte_non_local_jump/context.adb
@@ -1,9 +1,32 @@
+------------------------------------------------------------------------------\r
+--  ------------------         M a R T E   O S         -------------------  --\r
+------------------------------------------------------------------------------\r
+--                                                             {MARTE_VERSION}\r
+--\r
+--                            'C o n t e x t'\r
+--\r
+--                                  Body\r
+--\r
+--  File 'context.adb'                                          By MAR\r
+--\r
+--  Processor context for non-local jumps\r
+--\r
+--  IMPORTANT: it must be compiled without any optimization!!\r
+--\r
+--  {MARTE_COPYRIGHT}\r
+--\r
+------------------------------------------------------------------------------\r
+--  {<MAR}\r
+--\r
+--  02-08-07:version operativa.\r
+--\r
+--  {MAR>} -------------------------------------------------------------------\r
 with Text_IO; use Text_IO;\r
-with Basic_Integer_Types;\r
+with Marte.Integer_Types;\r
 with Non_Local_Jump;\r
 with System;\r
 \r
-use type Basic_Integer_Types.Unsigned_32;\r
+use type Marte.Integer_Types.Unsigned_32;\r
 \r
 package body Context is\r
 \r