Annotated Ada Reference Manual — Legal Information

A.10.12 Input-Output for Unbounded Strings

1/2

{AI95-00301-01} The package Text_IO.Unbounded_IO provides input-output in human-readable form for Unbounded_Strings.

Static Semantics

2/2

{AI95-00301-01} The library package Text_IO.Unbounded_IO has the following declaration:

3/2

with Ada.Strings.Unbounded;
package Ada.Text_IO.Unbounded_IO is

4/2

   procedure Put
      (File : in File_Type;
       Item : in Strings.Unbounded.Unbounded_String);

5/2

procedure Put
(Item : in Strings.Unbounded.Unbounded_String);

6/2

   procedure Put_Line
      (File : in File_Type;
       Item : in Strings.Unbounded.Unbounded_String);

7/2

procedure Put_Line
(Item : in Strings.Unbounded.Unbounded_String);

8/2

   function Get_Line
      (File : in File_Type)
      return Strings.Unbounded.Unbounded_String;

9/2

function Get_Line
return Strings.Unbounded.Unbounded_String;

10/2

procedure Get_Line
(File : in File_Type; Item : out Strings.Unbounded.Unbounded_String);

11/2

procedure Get_Line
(Item : out Strings.Unbounded.Unbounded_String);

12/2

end Ada.Text_IO.Unbounded_IO;

13/2

{AI95-00301-01} For an item of type Unbounded_String, the following subprograms are provided:

14/2

procedure Put
(File : in File_Type;
Item : in Strings.Unbounded.Unbounded_String);

15/2

{AI95-00301-01} Equivalent to Text_IO.Put (File, Strings.Unbounded.To_String(Item));

16/2

procedure Put
(Item : in Strings.Unbounded.Unbounded_String);

17/2

{AI95-00301-01} Equivalent to Text_IO.Put (Strings.Unbounded.To_String(Item));

18/2

procedure Put_Line
(File : in File_Type;
Item : in Strings.Unbounded.Unbounded_String);

19/2

{AI95-00301-01} Equivalent to Text_IO.Put_Line (File, Strings.Unbounded.To_String(Item));

20/2

procedure Put_Line
(Item : in Strings.Unbounded.Unbounded_String);

21/2

{AI95-00301-01} Equivalent to Text_IO.Put_Line (Strings.Unbounded.To_String(Item));

22/2

function Get_Line
(File : in File_Type)
return Strings.Unbounded.Unbounded_String;

23/2

{AI95-00301-01} Returns Strings.Unbounded.To_Unbounded_String(Text_IO.Get_Line(File));

24/2

function Get_Line
return Strings.Unbounded.Unbounded_String;

25/2

{AI95-00301-01} Returns Strings.Unbounded.To_Unbounded_String(Text_IO.Get_Line);

26/2

procedure Get_Line
(File : in File_Type; Item : out Strings.Unbounded.Unbounded_String);

27/2

{AI95-00301-01} Equivalent to Item := Get_Line (File);

28/2

procedure Get_Line
(Item : out Strings.Unbounded.Unbounded_String);

29/2

{AI95-00301-01} Equivalent to Item := Get_Line;

Extensions to Ada 95

29.a/2

{AI95-00301-01} {extensions to Ada 95} Package Text_IO.Unbounded_IO is new.