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;