blob: 1a30839817b3118cd7b88de5670e54abbcb17ff5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
-- Although being part of GRT, the readline binding should be independent of
-- it (for easier reuse).
with System; use System;
package Grt.Readline is
subtype Fat_String is String (Positive);
type Char_Ptr is access Fat_String;
pragma Convention (C, Char_Ptr);
-- A C string (which is NUL terminated) is represented as a (thin) access
-- to a fat string (a string whose range is 1 .. integer'Last).
-- The use of an access to a constrained array allows a representation
-- compatible with C. Indexing of object of that type is safe only for
-- indexes until the NUL character.
function Readline (Prompt : Char_Ptr) return Char_Ptr;
function Readline (Prompt : Address) return Char_Ptr;
pragma Import (C, Readline);
procedure Free (Buf : Char_Ptr);
pragma Import (C, Free);
procedure Add_History (Line : Char_Ptr);
pragma Import (C, Add_History);
function Strlen (Str : Char_Ptr) return Natural;
pragma Import (C, Strlen);
pragma Linker_Options ("-lreadline");
end Grt.Readline;
|
