File : terminal_interface-curses.ads 
with System.Storage_Elements;
with Interfaces.C;   
package Terminal_Interface.Curses is
   pragma Preelaborate (Terminal_Interface.Curses);
   pragma Linker_Options ("-lncurses");
   NC_Major_Version : constant := 5; 
   NC_Minor_Version : constant := 9; 
   NC_Version : constant String := "5.9";  
   type Window is private;
   Null_Window : constant Window;
   type Line_Position   is new Integer; 
   type Column_Position is new Integer; 
   subtype Line_Count   is Line_Position   range 1 .. Line_Position'Last;
   
   subtype Column_Count is Column_Position range 1 .. Column_Position'Last;
   
   type Key_Code is new Integer;
   
   
   
   subtype Real_Key_Code is Key_Code range -1 .. 8#777#;
   
   
   
   subtype Special_Key_Code is Real_Key_Code
     range 8#400# .. Real_Key_Code'Last;
   
   subtype Normal_Key_Code is Real_Key_Code range
     Character'Pos (Character'First) .. Character'Pos (Character'Last);
   
   
   
   Key_None                       : constant Special_Key_Code := 8#400#;
   Key_Code_Yes                   : constant Special_Key_Code := 8#400#;
   Key_Min                        : constant Special_Key_Code := 8#401#;
   Key_Break                      : constant Special_Key_Code := 8#401#;
   Key_Cursor_Down                : constant Special_Key_Code := 8#402#;
   Key_Cursor_Up                  : constant Special_Key_Code := 8#403#;
   Key_Cursor_Left                : constant Special_Key_Code := 8#404#;
   Key_Cursor_Right               : constant Special_Key_Code := 8#405#;
   Key_Home                       : constant Special_Key_Code := 8#406#;
   Key_Backspace                  : constant Special_Key_Code := 8#407#;
   Key_F0                         : constant Special_Key_Code := 8#410#;
   Key_F1                         : constant Special_Key_Code := 8#411#;
   Key_F2                         : constant Special_Key_Code := 8#412#;
   Key_F3                         : constant Special_Key_Code := 8#413#;
   Key_F4                         : constant Special_Key_Code := 8#414#;
   Key_F5                         : constant Special_Key_Code := 8#415#;
   Key_F6                         : constant Special_Key_Code := 8#416#;
   Key_F7                         : constant Special_Key_Code := 8#417#;
   Key_F8                         : constant Special_Key_Code := 8#420#;
   Key_F9                         : constant Special_Key_Code := 8#421#;
   Key_F10                        : constant Special_Key_Code := 8#422#;
   Key_F11                        : constant Special_Key_Code := 8#423#;
   Key_F12                        : constant Special_Key_Code := 8#424#;
   Key_F13                        : constant Special_Key_Code := 8#425#;
   Key_F14                        : constant Special_Key_Code := 8#426#;
   Key_F15                        : constant Special_Key_Code := 8#427#;
   Key_F16                        : constant Special_Key_Code := 8#430#;
   Key_F17                        : constant Special_Key_Code := 8#431#;
   Key_F18                        : constant Special_Key_Code := 8#432#;
   Key_F19                        : constant Special_Key_Code := 8#433#;
   Key_F20                        : constant Special_Key_Code := 8#434#;
   Key_F21                        : constant Special_Key_Code := 8#435#;
   Key_F22                        : constant Special_Key_Code := 8#436#;
   Key_F23                        : constant Special_Key_Code := 8#437#;
   Key_F24                        : constant Special_Key_Code := 8#440#;
   Key_Delete_Line                : constant Special_Key_Code := 8#510#;
   Key_Insert_Line                : constant Special_Key_Code := 8#511#;
   Key_Delete_Char                : constant Special_Key_Code := 8#512#;
   Key_Insert_Char                : constant Special_Key_Code := 8#513#;
   Key_Exit_Insert_Mode           : constant Special_Key_Code := 8#514#;
   Key_Clear_Screen               : constant Special_Key_Code := 8#515#;
   Key_Clear_End_Of_Screen        : constant Special_Key_Code := 8#516#;
   Key_Clear_End_Of_Line          : constant Special_Key_Code := 8#517#;
   Key_Scroll_1_Forward           : constant Special_Key_Code := 8#520#;
   Key_Scroll_1_Backward          : constant Special_Key_Code := 8#521#;
   Key_Next_Page                  : constant Special_Key_Code := 8#522#;
   Key_Previous_Page              : constant Special_Key_Code := 8#523#;
   Key_Set_Tab                    : constant Special_Key_Code := 8#524#;
   Key_Clear_Tab                  : constant Special_Key_Code := 8#525#;
   Key_Clear_All_Tabs             : constant Special_Key_Code := 8#526#;
   Key_Enter_Or_Send              : constant Special_Key_Code := 8#527#;
   Key_Soft_Reset                 : constant Special_Key_Code := 8#530#;
   Key_Reset                      : constant Special_Key_Code := 8#531#;
   Key_Print                      : constant Special_Key_Code := 8#532#;
   Key_Bottom                     : constant Special_Key_Code := 8#533#;
   Key_Upper_Left_Of_Keypad       : constant Special_Key_Code := 8#534#;
   Key_Upper_Right_Of_Keypad      : constant Special_Key_Code := 8#535#;
   Key_Center_Of_Keypad           : constant Special_Key_Code := 8#536#;
   Key_Lower_Left_Of_Keypad       : constant Special_Key_Code := 8#537#;
   Key_Lower_Right_Of_Keypad      : constant Special_Key_Code := 8#540#;
   Key_Back_Tab                   : constant Special_Key_Code := 8#541#;
   Key_Beginning                  : constant Special_Key_Code := 8#542#;
   Key_Cancel                     : constant Special_Key_Code := 8#543#;
   Key_Close                      : constant Special_Key_Code := 8#544#;
   Key_Command                    : constant Special_Key_Code := 8#545#;
   Key_Copy                       : constant Special_Key_Code := 8#546#;
   Key_Create                     : constant Special_Key_Code := 8#547#;
   Key_End                        : constant Special_Key_Code := 8#550#;
   Key_Exit                       : constant Special_Key_Code := 8#551#;
   Key_Find                       : constant Special_Key_Code := 8#552#;
   Key_Help                       : constant Special_Key_Code := 8#553#;
   Key_Mark                       : constant Special_Key_Code := 8#554#;
   Key_Message                    : constant Special_Key_Code := 8#555#;
   Key_Move                       : constant Special_Key_Code := 8#556#;
   Key_Next                       : constant Special_Key_Code := 8#557#;
   Key_Open                       : constant Special_Key_Code := 8#560#;
   Key_Options                    : constant Special_Key_Code := 8#561#;
   Key_Previous                   : constant Special_Key_Code := 8#562#;
   Key_Redo                       : constant Special_Key_Code := 8#563#;
   Key_Reference                  : constant Special_Key_Code := 8#564#;
   Key_Refresh                    : constant Special_Key_Code := 8#565#;
   Key_Replace                    : constant Special_Key_Code := 8#566#;
   Key_Restart                    : constant Special_Key_Code := 8#567#;
   Key_Resume                     : constant Special_Key_Code := 8#570#;
   Key_Save                       : constant Special_Key_Code := 8#571#;
   Key_Shift_Begin                : constant Special_Key_Code := 8#572#;
   Key_Shift_Cancel               : constant Special_Key_Code := 8#573#;
   Key_Shift_Command              : constant Special_Key_Code := 8#574#;
   Key_Shift_Copy                 : constant Special_Key_Code := 8#575#;
   Key_Shift_Create               : constant Special_Key_Code := 8#576#;
   Key_Shift_Delete_Char          : constant Special_Key_Code := 8#577#;
   Key_Shift_Delete_Line          : constant Special_Key_Code := 8#600#;
   Key_Select                     : constant Special_Key_Code := 8#601#;
   Key_Shift_End                  : constant Special_Key_Code := 8#602#;
   Key_Shift_Clear_End_Of_Line    : constant Special_Key_Code := 8#603#;
   Key_Shift_Exit                 : constant Special_Key_Code := 8#604#;
   Key_Shift_Find                 : constant Special_Key_Code := 8#605#;
   Key_Shift_Help                 : constant Special_Key_Code := 8#606#;
   Key_Shift_Home                 : constant Special_Key_Code := 8#607#;
   Key_Shift_Insert_Char          : constant Special_Key_Code := 8#610#;
   Key_Shift_Cursor_Left          : constant Special_Key_Code := 8#611#;
   Key_Shift_Message              : constant Special_Key_Code := 8#612#;
   Key_Shift_Move                 : constant Special_Key_Code := 8#613#;
   Key_Shift_Next_Page            : constant Special_Key_Code := 8#614#;
   Key_Shift_Options              : constant Special_Key_Code := 8#615#;
   Key_Shift_Previous_Page        : constant Special_Key_Code := 8#616#;
   Key_Shift_Print                : constant Special_Key_Code := 8#617#;
   Key_Shift_Redo                 : constant Special_Key_Code := 8#620#;
   Key_Shift_Replace              : constant Special_Key_Code := 8#621#;
   Key_Shift_Cursor_Right         : constant Special_Key_Code := 8#622#;
   Key_Shift_Resume               : constant Special_Key_Code := 8#623#;
   Key_Shift_Save                 : constant Special_Key_Code := 8#624#;
   Key_Shift_Suspend              : constant Special_Key_Code := 8#625#;
   Key_Shift_Undo                 : constant Special_Key_Code := 8#626#;
   Key_Suspend                    : constant Special_Key_Code := 8#627#;
   Key_Undo                       : constant Special_Key_Code := 8#630#;
   Key_Mouse                      : constant Special_Key_Code := 8#631#;
   Key_Resize                     : constant Special_Key_Code := 8#632#;
   Key_Max                        : constant Special_Key_Code
     := Special_Key_Code'Last;
   subtype User_Key_Code is Key_Code
     range (Key_Max + 129) .. Key_Code'Last;
   
   
   
   
   
   KEY_DOWN         : Special_Key_Code renames Key_Cursor_Down;
   KEY_UP           : Special_Key_Code renames Key_Cursor_Up;
   KEY_LEFT         : Special_Key_Code renames Key_Cursor_Left;
   KEY_RIGHT        : Special_Key_Code renames Key_Cursor_Right;
   KEY_DL           : Special_Key_Code renames Key_Delete_Line;
   KEY_IL           : Special_Key_Code renames Key_Insert_Line;
   KEY_DC           : Special_Key_Code renames Key_Delete_Char;
   KEY_IC           : Special_Key_Code renames Key_Insert_Char;
   KEY_EIC          : Special_Key_Code renames Key_Exit_Insert_Mode;
   KEY_CLEAR        : Special_Key_Code renames Key_Clear_Screen;
   KEY_EOS          : Special_Key_Code renames Key_Clear_End_Of_Screen;
   KEY_EOL          : Special_Key_Code renames Key_Clear_End_Of_Line;
   KEY_SF           : Special_Key_Code renames Key_Scroll_1_Forward;
   KEY_SR           : Special_Key_Code renames Key_Scroll_1_Backward;
   KEY_NPAGE        : Special_Key_Code renames Key_Next_Page;
   KEY_PPAGE        : Special_Key_Code renames Key_Previous_Page;
   KEY_STAB         : Special_Key_Code renames Key_Set_Tab;
   KEY_CTAB         : Special_Key_Code renames Key_Clear_Tab;
   KEY_CATAB        : Special_Key_Code renames Key_Clear_All_Tabs;
   KEY_ENTER        : Special_Key_Code renames Key_Enter_Or_Send;
   KEY_SRESET       : Special_Key_Code renames Key_Soft_Reset;
   KEY_LL           : Special_Key_Code renames Key_Bottom;
   KEY_A1           : Special_Key_Code renames Key_Upper_Left_Of_Keypad;
   KEY_A3           : Special_Key_Code renames Key_Upper_Right_Of_Keypad;
   KEY_B2           : Special_Key_Code renames Key_Center_Of_Keypad;
   KEY_C1           : Special_Key_Code renames Key_Lower_Left_Of_Keypad;
   KEY_C3           : Special_Key_Code renames Key_Lower_Right_Of_Keypad;
   KEY_BTAB         : Special_Key_Code renames Key_Back_Tab;
   KEY_BEG          : Special_Key_Code renames Key_Beginning;
   KEY_SBEG         : Special_Key_Code renames Key_Shift_Begin;
   KEY_SCANCEL      : Special_Key_Code renames Key_Shift_Cancel;
   KEY_SCOMMAND     : Special_Key_Code renames Key_Shift_Command;
   KEY_SCOPY        : Special_Key_Code renames Key_Shift_Copy;
   KEY_SCREATE      : Special_Key_Code renames Key_Shift_Create;
   KEY_SDC          : Special_Key_Code renames Key_Shift_Delete_Char;
   KEY_SDL          : Special_Key_Code renames Key_Shift_Delete_Line;
   KEY_SEND         : Special_Key_Code renames Key_Shift_End;
   KEY_SEOL         : Special_Key_Code renames Key_Shift_Clear_End_Of_Line;
   KEY_SEXIT        : Special_Key_Code renames Key_Shift_Exit;
   KEY_SFIND        : Special_Key_Code renames Key_Shift_Find;
   KEY_SHELP        : Special_Key_Code renames Key_Shift_Help;
   KEY_SHOME        : Special_Key_Code renames Key_Shift_Home;
   KEY_SIC          : Special_Key_Code renames Key_Shift_Insert_Char;
   KEY_SLEFT        : Special_Key_Code renames Key_Shift_Cursor_Left;
   KEY_SMESSAGE     : Special_Key_Code renames Key_Shift_Message;
   KEY_SMOVE        : Special_Key_Code renames Key_Shift_Move;
   KEY_SNEXT        : Special_Key_Code renames Key_Shift_Next_Page;
   KEY_SOPTIONS     : Special_Key_Code renames Key_Shift_Options;
   KEY_SPREVIOUS    : Special_Key_Code renames Key_Shift_Previous_Page;
   KEY_SPRINT       : Special_Key_Code renames Key_Shift_Print;
   KEY_SREDO        : Special_Key_Code renames Key_Shift_Redo;
   KEY_SREPLACE     : Special_Key_Code renames Key_Shift_Replace;
   KEY_SRIGHT       : Special_Key_Code renames Key_Shift_Cursor_Right;
   KEY_SRSUME       : Special_Key_Code renames Key_Shift_Resume;
   KEY_SSAVE        : Special_Key_Code renames Key_Shift_Save;
   KEY_SSUSPEND     : Special_Key_Code renames Key_Shift_Suspend;
   KEY_SUNDO        : Special_Key_Code renames Key_Shift_Undo;
   type Color_Number is range -1 .. Integer (Interfaces.C.short'Last);
   for Color_Number'Size use Interfaces.C.short'Size;
   
   
   
   
   Default_Color    : constant Color_Number := -1;
   Black            : constant Color_Number := 0;
   Red              : constant Color_Number := 1;
   Green            : constant Color_Number := 2;
   Yellow           : constant Color_Number := 3;
   Blue             : constant Color_Number := 4;
   Magenta          : constant Color_Number := 5;
   Cyan             : constant Color_Number := 6;
   White            : constant Color_Number := 7;
   type RGB_Value is range 0 .. Integer (Interfaces.C.short'Last);
   for RGB_Value'Size use Interfaces.C.short'Size;
   
   type Color_Pair is range 0 .. 255;
   for Color_Pair'Size use 8;
   subtype Redefinable_Color_Pair is Color_Pair range 1 .. 255;
   
   
   
   
   type Character_Attribute_Set is
      record
         Stand_Out               : Boolean;
         Under_Line              : Boolean;
         Reverse_Video           : Boolean;
         Blink                   : Boolean;
         Dim_Character           : Boolean;
         Bold_Character          : Boolean;
         Alternate_Character_Set : Boolean;
         Invisible_Character     : Boolean;
         Protected_Character     : Boolean;
         Horizontal              : Boolean;
         Left                    : Boolean;
         Low                     : Boolean;
         Right                   : Boolean;
         Top                     : Boolean;
         Vertical                : Boolean;
      end record;
   pragma Convention (C, Character_Attribute_Set);
   for Character_Attribute_Set use
      record
         Stand_Out               at 0 range  0 ..  0;
         Under_Line              at 0 range  1 ..  1;
         Reverse_Video           at 0 range  2 ..  2;
         Blink                   at 0 range  3 ..  3;
         Dim_Character           at 0 range  4 ..  4;
         Bold_Character          at 0 range  5 ..  5;
         Alternate_Character_Set at 0 range  6 ..  6;
         Invisible_Character     at 0 range  7 ..  7;
         Protected_Character     at 0 range  8 ..  8;
         Horizontal              at 0 range  9 ..  9;
         Left                    at 0 range 10 .. 10;
         Low                     at 0 range 11 .. 11;
         Right                   at 0 range 12 .. 12;
         Top                     at 0 range 13 .. 13;
         Vertical                at 0 range 14 .. 14;
      end record;
   pragma Warnings (Off);   for Character_Attribute_Set'Size use 16;
   pragma Warnings (On);
   
   
   
   Normal_Video : constant Character_Attribute_Set := (others => False);
   type Attributed_Character is
      record
         Attr  : Character_Attribute_Set;
         Color : Color_Pair;
         Ch    : Character;
      end record;
   pragma Convention (C, Attributed_Character);
   
   for Attributed_Character use
      record
         Ch    at 0 range  0 ..  7;
         Color at 0 range  8 .. 15;
         Attr  at 0 range 16 .. 31;
      end record;
   for Attributed_Character'Size use 32;
      
      
   Default_Character : constant Attributed_Character
     := (Ch    => Character'First,
         Color => Color_Pair'First,
         Attr  => (others => False));  
   type Attributed_String is array (Positive range <>) of Attributed_Character;
   pragma Pack (Attributed_String);
   
   
   
   
   Curses_Exception     : exception;
   Wrong_Curses_Version : exception;
   
   
   
   Eti_System_Error    : exception;
   Eti_Bad_Argument    : exception;
   Eti_Posted          : exception;
   Eti_Connected       : exception;
   Eti_Bad_State       : exception;
   Eti_No_Room         : exception;
   Eti_Not_Posted      : exception;
   Eti_Unknown_Command : exception;
   Eti_No_Match        : exception;
   Eti_Not_Selectable  : exception;
   Eti_Not_Connected   : exception;
   Eti_Request_Denied  : exception;
   Eti_Invalid_Field   : exception;
   Eti_Current         : exception;
   
   
   
   
   
   
   
   function Lines            return Line_Count;
   pragma Inline (Lines);
   function Columns          return Column_Count;
   pragma Inline (Columns);
   function Tab_Size         return Natural;
   pragma Inline (Tab_Size);
   function Number_Of_Colors return Natural;
   pragma Inline (Number_Of_Colors);
   function Number_Of_Color_Pairs return Natural;
   pragma Inline (Number_Of_Color_Pairs);
   type C_ACS_Map is array (Character'Val (0) .. Character'Val (127))
        of Attributed_Character;
   ACS_Map : C_ACS_Map;
   pragma Import (C, ACS_Map, "acs_map");
   
   
   
   
   
   
   ACS_Upper_Left_Corner    : constant Character := 'l';
   ACS_Lower_Left_Corner    : constant Character := 'm';
   ACS_Upper_Right_Corner   : constant Character := 'k';
   ACS_Lower_Right_Corner   : constant Character := 'j';
   ACS_Left_Tee             : constant Character := 't';
   ACS_Right_Tee            : constant Character := 'u';
   ACS_Bottom_Tee           : constant Character := 'v';
   ACS_Top_Tee              : constant Character := 'w';
   ACS_Horizontal_Line      : constant Character := 'q';
   ACS_Vertical_Line        : constant Character := 'x';
   ACS_Plus_Symbol          : constant Character := 'n';
   ACS_Scan_Line_1          : constant Character := 'o';
   ACS_Scan_Line_9          : constant Character := 's';
   ACS_Diamond              : constant Character := Character'Val (96);
   ACS_Checker_Board        : constant Character := 'a';
   ACS_Degree               : constant Character := 'f';
   ACS_Plus_Minus           : constant Character := 'g';
   ACS_Bullet               : constant Character := '~';
   ACS_Left_Arrow           : constant Character := ',';
   ACS_Right_Arrow          : constant Character := '+';
   ACS_Down_Arrow           : constant Character := '.';
   ACS_Up_Arrow             : constant Character := '-';
   ACS_Board_Of_Squares     : constant Character := 'h';
   ACS_Lantern              : constant Character := 'i';
   ACS_Solid_Block          : constant Character := '0';
   ACS_Scan_Line_3          : constant Character := 'p';
   ACS_Scan_Line_7          : constant Character := 'r';
   ACS_Less_Or_Equal        : constant Character := 'y';
   ACS_Greater_Or_Equal     : constant Character := 'z';
   ACS_PI                   : constant Character := '{';
   ACS_Not_Equal            : constant Character := '|';
   ACS_Sterling             : constant Character := '}';
   
   
   
   
   
   function Standard_Window return Window;
   
   pragma Inline (Standard_Window);
   
   function Current_Window return Window;
   
   pragma Inline (Current_Window);
   
   procedure Init_Screen;
   
   procedure Init_Windows renames Init_Screen;
   
   pragma Inline (Init_Screen);
   
   
   procedure End_Windows;
   
   procedure End_Screen renames End_Windows;
   pragma Inline (End_Windows);
   
   
   function Is_End_Window return Boolean;
   
   pragma Inline (Is_End_Window);
   
   
   
   
   procedure Move_Cursor (Win    : Window := Standard_Window;
                          Line   : Line_Position;
                          Column : Column_Position);
   
   
   pragma Inline (Move_Cursor);
   
   
   
   
   procedure Add (Win : Window := Standard_Window;
                  Ch  : Attributed_Character);
   
   
   procedure Add (Win : Window := Standard_Window;
                  Ch  : Character);
   
   
   
   procedure Add
     (Win    : Window := Standard_Window;
      Line   : Line_Position;
      Column : Column_Position;
      Ch     : Attributed_Character);
   
   
   procedure Add
     (Win    : Window := Standard_Window;
      Line   : Line_Position;
      Column : Column_Position;
      Ch     : Character);
   
   
   
   procedure Add_With_Immediate_Echo
     (Win : Window := Standard_Window;
      Ch  : Attributed_Character);
   
   
   procedure Add_With_Immediate_Echo
     (Win : Window := Standard_Window;
      Ch  : Character);
   
   pragma Inline (Add_With_Immediate_Echo);
   
   
   
   
   
   function Create
     (Number_Of_Lines       : Line_Count;
      Number_Of_Columns     : Column_Count;
      First_Line_Position   : Line_Position;
      First_Column_Position : Column_Position) return Window;
   
   
   
   pragma Inline (Create);
   function New_Window
     (Number_Of_Lines       : Line_Count;
      Number_Of_Columns     : Column_Count;
      First_Line_Position   : Line_Position;
      First_Column_Position : Column_Position) return Window
     renames Create;
   
   
   procedure Delete (Win : in out Window);
   
   
   pragma Inline (Delete);
   
   function Sub_Window
     (Win                   : Window := Standard_Window;
      Number_Of_Lines       : Line_Count;
      Number_Of_Columns     : Column_Count;
      First_Line_Position   : Line_Position;
      First_Column_Position : Column_Position) return Window;
   
   pragma Inline (Sub_Window);
   
   function Derived_Window
     (Win                   : Window := Standard_Window;
      Number_Of_Lines       : Line_Count;
      Number_Of_Columns     : Column_Count;
      First_Line_Position   : Line_Position;
      First_Column_Position : Column_Position) return Window;
   
   pragma Inline (Derived_Window);
   
   function Duplicate (Win : Window) return Window;
   
   pragma Inline (Duplicate);
   
   procedure Move_Window (Win    : Window;
                          Line   : Line_Position;
                          Column : Column_Position);
   
   pragma Inline (Move_Window);
   
   procedure Move_Derived_Window (Win    : Window;
                                  Line   : Line_Position;
                                  Column : Column_Position);
   
   pragma Inline (Move_Derived_Window);
   
   procedure Synchronize_Upwards (Win : Window);
   
   pragma Import (C, Synchronize_Upwards, "wsyncup");
   
   procedure Synchronize_Downwards (Win : Window);
   
   pragma Import (C, Synchronize_Downwards, "wsyncdown");
   
   procedure Set_Synch_Mode (Win  : Window := Standard_Window;
                             Mode : Boolean := False);
   
   pragma Inline (Set_Synch_Mode);
   
   
   
   
   procedure Add (Win : Window := Standard_Window;
                  Str : String;
                  Len : Integer := -1);
   
   
   
   
   
   procedure Add (Win    : Window := Standard_Window;
                  Line   : Line_Position;
                  Column : Column_Position;
                  Str    : String;
                  Len    : Integer := -1);
   
   
   
   
   
   
   
   
   procedure Add (Win : Window := Standard_Window;
                  Str : Attributed_String;
                  Len : Integer := -1);
   
   
   
   
   
   procedure Add (Win    : Window := Standard_Window;
                  Line   : Line_Position;
                  Column : Column_Position;
                  Str    : Attributed_String;
                  Len    : Integer := -1);
   
   
   
   
   pragma Inline (Add);
   
   
   
   
   
   
   procedure Border
     (Win                       : Window := Standard_Window;
      Left_Side_Symbol          : Attributed_Character := Default_Character;
      Right_Side_Symbol         : Attributed_Character := Default_Character;
      Top_Side_Symbol           : Attributed_Character := Default_Character;
      Bottom_Side_Symbol        : Attributed_Character := Default_Character;
      Upper_Left_Corner_Symbol  : Attributed_Character := Default_Character;
      Upper_Right_Corner_Symbol : Attributed_Character := Default_Character;
      Lower_Left_Corner_Symbol  : Attributed_Character := Default_Character;
      Lower_Right_Corner_Symbol : Attributed_Character := Default_Character
     );
   
   
   pragma Inline (Border);
   
   procedure Box
     (Win               : Window := Standard_Window;
      Vertical_Symbol   : Attributed_Character := Default_Character;
      Horizontal_Symbol : Attributed_Character := Default_Character);
   
   pragma Inline (Box);
   
   procedure Horizontal_Line
     (Win         : Window := Standard_Window;
      Line_Size   : Natural;
      Line_Symbol : Attributed_Character := Default_Character);
   
   
   pragma Inline (Horizontal_Line);
   
   procedure Vertical_Line
     (Win         : Window := Standard_Window;
      Line_Size   : Natural;
      Line_Symbol : Attributed_Character := Default_Character);
   
   
   pragma Inline (Vertical_Line);
   
   
   
   
   
   function Get_Keystroke (Win : Window := Standard_Window)
                           return Real_Key_Code;
   
   
   
   
   
   
   pragma Inline (Get_Keystroke);
   
   procedure Undo_Keystroke (Key : Real_Key_Code);
   
   pragma Inline (Undo_Keystroke);
   
   function Has_Key (Key : Special_Key_Code) return Boolean;
   
   pragma Inline (Has_Key);
   
   
   
   function Is_Function_Key (Key : Special_Key_Code) return Boolean;
   
   pragma Inline (Is_Function_Key);
   subtype Function_Key_Number is Integer range 0 .. 63;
   
   function Function_Key (Key : Real_Key_Code) return Function_Key_Number;
   
   
   pragma Inline (Function_Key);
   function Function_Key_Code (Key : Function_Key_Number) return Real_Key_Code;
   
   pragma Inline (Function_Key_Code);
   
   
   
   
   
   
   
   
   procedure Standout (Win : Window  := Standard_Window;
                       On  : Boolean := True);
   
   
   
   procedure Switch_Character_Attribute
     (Win  : Window := Standard_Window;
      Attr : Character_Attribute_Set := Normal_Video;
      On   : Boolean := True); 
   
   
   
   
   
   
   procedure Set_Character_Attributes
     (Win   : Window := Standard_Window;
      Attr  : Character_Attribute_Set := Normal_Video;
      Color : Color_Pair := Color_Pair'First);
   
   
   pragma Inline (Set_Character_Attributes);
   
   function Get_Character_Attribute
     (Win : Window := Standard_Window) return Character_Attribute_Set;
   
   
   
   function Get_Character_Attribute
     (Win : Window := Standard_Window) return Color_Pair;
   
   pragma Inline (Get_Character_Attribute);
   
   procedure Set_Color (Win  : Window := Standard_Window;
                        Pair : Color_Pair);
   
   
   pragma Inline (Set_Color);
   
   procedure Change_Attributes
     (Win   : Window := Standard_Window;
      Count : Integer := -1;
      Attr  : Character_Attribute_Set := Normal_Video;
      Color : Color_Pair := Color_Pair'First);
   
   
   
   procedure Change_Attributes
     (Win    : Window := Standard_Window;
      Line   : Line_Position := Line_Position'First;
      Column : Column_Position := Column_Position'First;
      Count  : Integer := -1;
      Attr   : Character_Attribute_Set := Normal_Video;
      Color  : Color_Pair := Color_Pair'First);
   
   
   pragma Inline (Change_Attributes);
   
   
   
   
   procedure Beep;
   
   pragma Inline (Beep);
   
   procedure Flash_Screen;
   
   pragma Inline (Flash_Screen);
   
   
   
   
   
   
   procedure Set_Cbreak_Mode (SwitchOn : Boolean := True);
   
   
   pragma Inline (Set_Cbreak_Mode);
   
   procedure Set_Raw_Mode (SwitchOn : Boolean := True);
   
   
   pragma Inline (Set_Raw_Mode);
   
   procedure Set_Echo_Mode (SwitchOn : Boolean := True);
   
   
   pragma Inline (Set_Echo_Mode);
   
   procedure Set_Meta_Mode (Win      : Window := Standard_Window;
                            SwitchOn : Boolean := True);
   
   pragma Inline (Set_Meta_Mode);
   
   procedure Set_KeyPad_Mode (Win      : Window := Standard_Window;
                              SwitchOn : Boolean := True);
   
   pragma Inline (Set_KeyPad_Mode);
   function Get_KeyPad_Mode (Win : Window := Standard_Window)
                             return Boolean;
   
   
   type Half_Delay_Amount is range 1 .. 255;
   
   procedure Half_Delay (Amount : Half_Delay_Amount);
   
   pragma Inline (Half_Delay);
   
   procedure Set_Flush_On_Interrupt_Mode
     (Win  : Window := Standard_Window;
      Mode : Boolean := True);
   
   pragma Inline (Set_Flush_On_Interrupt_Mode);
   
   procedure Set_Queue_Interrupt_Mode
     (Win   : Window := Standard_Window;
      Flush : Boolean := True);
   
   
   pragma Inline (Set_Queue_Interrupt_Mode);
   
   procedure Set_NoDelay_Mode
     (Win  : Window := Standard_Window;
      Mode : Boolean := False);
   
   pragma Inline (Set_NoDelay_Mode);
   type Timeout_Mode is (Blocking, Non_Blocking, Delayed);
   
   procedure Set_Timeout_Mode (Win    : Window := Standard_Window;
                               Mode   : Timeout_Mode;
                               Amount : Natural); 
   
   
   
   
   
   
   
   
   procedure Set_Escape_Timer_Mode
     (Win       : Window := Standard_Window;
      Timer_Off : Boolean := False);
   
   pragma Inline (Set_Escape_Timer_Mode);
   
   
   
   
   procedure Set_NL_Mode (SwitchOn : Boolean := True);
   
   
   pragma Inline (Set_NL_Mode);
   
   procedure Clear_On_Next_Update
     (Win      : Window := Standard_Window;
      Do_Clear : Boolean := True);
   
   pragma Inline (Clear_On_Next_Update);
   
   procedure Use_Insert_Delete_Line
     (Win    : Window := Standard_Window;
      Do_Idl : Boolean := True);
   
   pragma Inline (Use_Insert_Delete_Line);
   
   procedure Use_Insert_Delete_Character
     (Win    : Window := Standard_Window;
      Do_Idc : Boolean := True);
   
   pragma Inline (Use_Insert_Delete_Character);
   
   procedure Leave_Cursor_After_Update
     (Win      : Window := Standard_Window;
      Do_Leave : Boolean := True);
   
   pragma Inline (Leave_Cursor_After_Update);
   
   procedure Immediate_Update_Mode
     (Win  : Window := Standard_Window;
      Mode : Boolean := False);
   
   pragma Inline (Immediate_Update_Mode);
   
   procedure Allow_Scrolling
     (Win  : Window := Standard_Window;
      Mode : Boolean := False);
   
   pragma Inline (Allow_Scrolling);
   function Scrolling_Allowed (Win : Window := Standard_Window) return Boolean;
   
   pragma Inline (Scrolling_Allowed);
   
   procedure Set_Scroll_Region
     (Win         : Window := Standard_Window;
      Top_Line    : Line_Position;
      Bottom_Line : Line_Position);
   
   
   pragma Inline (Set_Scroll_Region);
   
   
   
   
   procedure Update_Screen;
   
   pragma Inline (Update_Screen);
   
   procedure Refresh (Win : Window := Standard_Window);
   
   
   
   
   
   procedure Refresh_Without_Update
     (Win : Window := Standard_Window);
   
   
   
   
   procedure Redraw (Win : Window := Standard_Window);
   
   
   procedure Redraw (Win        : Window := Standard_Window;
                     Begin_Line : Line_Position;
                     Line_Count : Positive);
   
   pragma Inline (Redraw);
   
   
   
   
   procedure Erase (Win : Window := Standard_Window);
   
   
   pragma Inline (Erase);
   
   procedure Clear
     (Win : Window := Standard_Window);
   
   
   pragma Inline (Clear);
   
   procedure Clear_To_End_Of_Screen
     (Win : Window := Standard_Window);
   
   
   pragma Inline (Clear_To_End_Of_Screen);
   
   procedure Clear_To_End_Of_Line
     (Win : Window := Standard_Window);
   
   
   pragma Inline (Clear_To_End_Of_Line);
   
   
   
   
   
   
   
   procedure Set_Background
     (Win : Window := Standard_Window;
      Ch  : Attributed_Character);
   
   
   pragma Inline (Set_Background);
   
   procedure Change_Background
     (Win : Window := Standard_Window;
      Ch  : Attributed_Character);
   
   
   pragma Inline (Change_Background);
   
   
   function Get_Background (Win : Window := Standard_Window)
     return Attributed_Character;
   
   
   pragma Inline (Get_Background);
   
   
   
   
   procedure Untouch (Win : Window := Standard_Window);
   
   pragma Inline (Untouch);
   
   procedure Touch (Win : Window := Standard_Window);
   
   
   procedure Touch (Win   : Window := Standard_Window;
                    Start : Line_Position;
                    Count : Positive);
   
   pragma Inline (Touch);
   
   procedure Change_Lines_Status (Win   : Window := Standard_Window;
                                  Start : Line_Position;
                                  Count : Positive;
                                  State : Boolean);
   
   pragma Inline (Change_Lines_Status);
   
   function Is_Touched (Win  : Window := Standard_Window;
                        Line : Line_Position) return Boolean;
   
   
   function Is_Touched (Win : Window := Standard_Window) return Boolean;
   
   pragma Inline (Is_Touched);
   
   
   
   
   procedure Copy
     (Source_Window            : Window;
      Destination_Window       : Window;
      Source_Top_Row           : Line_Position;
      Source_Left_Column       : Column_Position;
      Destination_Top_Row      : Line_Position;
      Destination_Left_Column  : Column_Position;
      Destination_Bottom_Row   : Line_Position;
      Destination_Right_Column : Column_Position;
      Non_Destructive_Mode     : Boolean := True);
   
   pragma Inline (Copy);
   
   procedure Overwrite (Source_Window      : Window;
                        Destination_Window : Window);
   
   pragma Inline (Overwrite);
   
   procedure Overlay (Source_Window      : Window;
                      Destination_Window : Window);
   
   pragma Inline (Overlay);
   
   
   
   
   procedure Insert_Delete_Lines
     (Win   : Window  := Standard_Window;
      Lines : Integer := 1); 
   
   
   pragma Inline (Insert_Delete_Lines);
   
   procedure Delete_Line (Win : Window := Standard_Window);
   
   
   pragma Inline (Delete_Line);
   
   procedure Insert_Line (Win : Window := Standard_Window);
   
   
   pragma Inline (Insert_Line);
   
   
   
   
   procedure Get_Size
     (Win               : Window := Standard_Window;
      Number_Of_Lines   : out Line_Count;
      Number_Of_Columns : out Column_Count);
   
   pragma Inline (Get_Size);
   
   procedure Get_Window_Position
     (Win             : Window := Standard_Window;
      Top_Left_Line   : out Line_Position;
      Top_Left_Column : out Column_Position);
   
   pragma Inline (Get_Window_Position);
   
   procedure Get_Cursor_Position
     (Win    : Window := Standard_Window;
      Line   : out Line_Position;
      Column : out Column_Position);
   
   pragma Inline (Get_Cursor_Position);
   
   procedure Get_Origin_Relative_To_Parent
     (Win                : Window;
      Top_Left_Line      : out Line_Position;
      Top_Left_Column    : out Column_Position;
      Is_Not_A_Subwindow : out Boolean);
   
   
   
   pragma Inline (Get_Origin_Relative_To_Parent);
   
   
   
   
   function New_Pad (Lines   : Line_Count;
                     Columns : Column_Count) return Window;
   
   pragma Inline (New_Pad);
   
   function Sub_Pad
     (Pad                   : Window;
      Number_Of_Lines       : Line_Count;
      Number_Of_Columns     : Column_Count;
      First_Line_Position   : Line_Position;
      First_Column_Position : Column_Position) return Window;
   
   pragma Inline (Sub_Pad);
   
   procedure Refresh
     (Pad                      : Window;
      Source_Top_Row           : Line_Position;
      Source_Left_Column       : Column_Position;
      Destination_Top_Row      : Line_Position;
      Destination_Left_Column  : Column_Position;
      Destination_Bottom_Row   : Line_Position;
      Destination_Right_Column : Column_Position);
   
   pragma Inline (Refresh);
   
   procedure Refresh_Without_Update
     (Pad                      : Window;
      Source_Top_Row           : Line_Position;
      Source_Left_Column       : Column_Position;
      Destination_Top_Row      : Line_Position;
      Destination_Left_Column  : Column_Position;
      Destination_Bottom_Row   : Line_Position;
      Destination_Right_Column : Column_Position);
   
   pragma Inline (Refresh_Without_Update);
   
   procedure Add_Character_To_Pad_And_Echo_It
     (Pad : Window;
      Ch  : Attributed_Character);
   
   procedure Add_Character_To_Pad_And_Echo_It
     (Pad : Window;
      Ch  : Character);
   pragma Inline (Add_Character_To_Pad_And_Echo_It);
   
   
   
   
   procedure Scroll (Win    : Window  := Standard_Window;
                     Amount : Integer := 1);
   
   
   
   pragma Inline (Scroll);
   
   
   
   
   procedure Delete_Character (Win : Window := Standard_Window);
   
   
   
   procedure Delete_Character
     (Win    : Window := Standard_Window;
      Line   : Line_Position;
      Column : Column_Position);
   
   
   pragma Inline (Delete_Character);
   
   
   
   
   function Peek (Win : Window := Standard_Window)
     return Attributed_Character;
   
   
   
   function Peek
     (Win    : Window := Standard_Window;
      Line   : Line_Position;
      Column : Column_Position) return Attributed_Character;
   
   
   
   
   
   
   
   procedure Insert (Win : Window := Standard_Window;
                     Ch  : Attributed_Character);
   
   
   
   procedure Insert (Win    : Window := Standard_Window;
                     Line   : Line_Position;
                     Column : Column_Position;
                     Ch     : Attributed_Character);
   
   
   
   
   
   
   procedure Insert (Win : Window := Standard_Window;
                     Str : String;
                     Len : Integer := -1);
   
   
   
   
   
   procedure Insert (Win    : Window := Standard_Window;
                     Line   : Line_Position;
                     Column : Column_Position;
                     Str    : String;
                     Len    : Integer := -1);
   
   
   
   
   pragma Inline (Insert);
   
   
   
   
   procedure Peek (Win : Window := Standard_Window;
                   Str : out String;
                   Len : Integer := -1);
   
   
   
   
   
   procedure Peek (Win    : Window := Standard_Window;
                   Line   : Line_Position;
                   Column : Column_Position;
                   Str    : out String;
                   Len    : Integer := -1);
   
   
   
   
   
   
   
   
   procedure Peek (Win : Window := Standard_Window;
                   Str : out Attributed_String;
                   Len : Integer := -1);
   
   
   
   
   
   procedure Peek (Win    : Window := Standard_Window;
                   Line   : Line_Position;
                   Column : Column_Position;
                   Str    : out Attributed_String;
                   Len    : Integer := -1);
   
   
   
   
   
   
   
   
   
   procedure Get (Win : Window := Standard_Window;
                  Str : out String;
                  Len : Integer := -1);
   
   
   
   
   
   
   
   procedure Get (Win    : Window := Standard_Window;
                  Line   : Line_Position;
                  Column : Column_Position;
                  Str    : out String;
                  Len    : Integer := -1);
   
   
   
   
   
   
   
   
   
   type Soft_Label_Key_Format is (Three_Two_Three,
                                  Four_Four,
                                  PC_Style,              
                                  PC_Style_With_Index);  
   type Label_Number is new Positive range 1 .. 12;
   type Label_Justification is (Left, Centered, Right);
   
   procedure Init_Soft_Label_Keys
     (Format : Soft_Label_Key_Format := Three_Two_Three);
   
   pragma Inline (Init_Soft_Label_Keys);
   
   procedure Set_Soft_Label_Key (Label : Label_Number;
                                 Text  : String;
                                 Fmt   : Label_Justification := Left);
   
   
   
   procedure Refresh_Soft_Label_Keys;
   
   pragma Inline (Refresh_Soft_Label_Keys);
   
   procedure Refresh_Soft_Label_Keys_Without_Update;
   
   pragma Inline (Refresh_Soft_Label_Keys_Without_Update);
   
   procedure Get_Soft_Label_Key (Label : Label_Number;
                                 Text  : out String);
   
   
   function Get_Soft_Label_Key (Label : Label_Number) return String;
   
   
   pragma Inline (Get_Soft_Label_Key);
   
   procedure Clear_Soft_Label_Keys;
   
   pragma Inline (Clear_Soft_Label_Keys);
   
   procedure Restore_Soft_Label_Keys;
   
   pragma Inline (Restore_Soft_Label_Keys);
   
   procedure Touch_Soft_Label_Keys;
   
   pragma Inline (Touch_Soft_Label_Keys);
   
   procedure Switch_Soft_Label_Key_Attributes
     (Attr : Character_Attribute_Set;
      On   : Boolean := True);
   
   
   pragma Inline (Switch_Soft_Label_Key_Attributes);
   
   procedure Set_Soft_Label_Key_Attributes
     (Attr  : Character_Attribute_Set := Normal_Video;
      Color : Color_Pair := Color_Pair'First);
   
   pragma Inline (Set_Soft_Label_Key_Attributes);
   
   function Get_Soft_Label_Key_Attributes return Character_Attribute_Set;
   
   
   function Get_Soft_Label_Key_Attributes return Color_Pair;
   
   pragma Inline (Get_Soft_Label_Key_Attributes);
   
   procedure Set_Soft_Label_Key_Color (Pair : Color_Pair);
   
   pragma Inline (Set_Soft_Label_Key_Color);
   
   
   
   
   
   
   
   
   procedure Enable_Key (Key    : Special_Key_Code;
                         Enable : Boolean := True);
   
   pragma Inline (Enable_Key);
   
   
   
   
   procedure Define_Key (Definition : String;
                         Key        : Special_Key_Code);
   
   pragma Inline (Define_Key);
   
   
   
   
   
   
   
   procedure Key_Name (Key  : Real_Key_Code;
                       Name : out String);
   
   
   
   function Key_Name (Key  : Real_Key_Code) return String;
   
   
   
   
   procedure Un_Control (Ch  : Attributed_Character;
                         Str : out String);
   
   
   function Un_Control (Ch  : Attributed_Character) return String;
   
   
   pragma Inline (Un_Control);
   
   procedure Delay_Output (Msecs : Natural);
   
   pragma Inline (Delay_Output);
   
   procedure Flush_Input;
   
   pragma Inline (Flush_Input);
   
   
   
   
   function Baudrate return Natural;
   
   pragma Inline (Baudrate);
   
   function Erase_Character return Character;
   
   pragma Inline (Erase_Character);
   
   function Kill_Character return Character;
   
   pragma Inline (Kill_Character);
   
   function Has_Insert_Character return Boolean;
   
   pragma Inline (Has_Insert_Character);
   
   function Has_Insert_Line return Boolean;
   
   pragma Inline (Has_Insert_Line);
   
   function Supported_Attributes return Character_Attribute_Set;
   
   pragma Inline (Supported_Attributes);
   
   procedure Long_Name (Name : out String);
   
   
   function Long_Name return String;
   
   
   pragma Inline (Long_Name);
   
   procedure Terminal_Name (Name : out String);
   
   
   function Terminal_Name return String;
   
   
   pragma Inline (Terminal_Name);
   
   
   
   
   
   
   
   
   
   procedure Start_Color;
   
   pragma Import (C, Start_Color, "start_color");
   
   procedure Init_Pair (Pair : Redefinable_Color_Pair;
                        Fore : Color_Number;
                        Back : Color_Number);
   
   pragma Inline (Init_Pair);
   
   procedure Pair_Content (Pair : Color_Pair;
                           Fore : out Color_Number;
                           Back : out Color_Number);
   
   pragma Inline (Pair_Content);
   
   function Has_Colors return Boolean;
   
   pragma Inline (Has_Colors);
   
   procedure Init_Color (Color : Color_Number;
                         Red   : RGB_Value;
                         Green : RGB_Value;
                         Blue  : RGB_Value);
   
   pragma Inline (Init_Color);
   
   function Can_Change_Color return Boolean;
   
   pragma Inline (Can_Change_Color);
   
   procedure Color_Content (Color : Color_Number;
                            Red   : out RGB_Value;
                            Green : out RGB_Value;
                            Blue  : out RGB_Value);
   
   pragma Inline (Color_Content);
   
   
   
   
   
   type Curses_Mode is (Curses, Shell);
   
   procedure Save_Curses_Mode (Mode : Curses_Mode);
   
   
   pragma Inline (Save_Curses_Mode);
   
   procedure Reset_Curses_Mode (Mode : Curses_Mode);
   
   
   pragma Inline (Reset_Curses_Mode);
   
   procedure Save_Terminal_State;
   
   pragma Inline (Save_Terminal_State);
   
   procedure Reset_Terminal_State;
   
   pragma Inline (Reset_Terminal_State);
   type Stdscr_Init_Proc is access
      function (Win     : Window;
                Columns : Column_Count) return Integer;
   pragma Convention (C, Stdscr_Init_Proc);
   
   
   
   
   procedure Rip_Off_Lines (Lines : Integer;
                            Proc  : Stdscr_Init_Proc);
   
   
   
   
   
   pragma Inline (Rip_Off_Lines);
   type Cursor_Visibility is (Invisible, Normal, Very_Visible);
   
   procedure Set_Cursor_Visibility (Visibility : in out Cursor_Visibility);
   
   pragma Inline (Set_Cursor_Visibility);
   
   procedure Nap_Milli_Seconds (Ms : Natural);
   
   pragma Inline (Nap_Milli_Seconds);
   
   
   
   type Transform_Direction is (From_Screen, To_Screen);
   procedure Transform_Coordinates
     (W      : Window := Standard_Window;
      Line   : in out Line_Position;
      Column : in out Column_Position;
      Dir    : Transform_Direction := From_Screen);
   
   
   
   
   
   
   
   
   
   
   procedure Use_Default_Colors;
   
   pragma Inline (Use_Default_Colors);
   
   procedure Assume_Default_Colors (Fore : Color_Number := Default_Color;
                                    Back : Color_Number := Default_Color);
   
   pragma Inline (Assume_Default_Colors);
   
   
   
   
   function Curses_Version return String;
   
   
   
   function Use_Extended_Names (Enable : Boolean) return Boolean;
   
   
   
   
   
   procedure Curses_Free_All;
   
   
   
   
   
   procedure Screen_Dump_To_File (Filename : String);
   
   
   procedure Screen_Restore_From_File (Filename : String);
   
   
   procedure Screen_Init_From_File (Filename : String);
   
   
   procedure Screen_Set_File (Filename : String);
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   procedure Resize (Win               : Window := Standard_Window;
                     Number_Of_Lines   : Line_Count;
                     Number_Of_Columns : Column_Count);
   
private
   type Window is new System.Storage_Elements.Integer_Address;
   Null_Window : constant Window := 0;
   
   
   
   Sizeof_bool        : constant Natural :=  1; 
   type Curses_Bool is mod 2 ** Interfaces.C.char'Size;
   Curses_Bool_False : constant Curses_Bool := 0;
end Terminal_Interface.Curses;