Next: , Previous: A.10.11, Up: A.10


A.10.12 Input-Output for Unbounded Strings

1/2
The package Text_IO.Unbounded_IO provides input−output in human−readable form for Unbounded_Strings.

Static Semantics

2/2
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
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

Equivalent to Text_IO.Put (File, Strings.Unbounded.To_String(Item));

16/2

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

17/2

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

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

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

Returns Strings.Unbounded.To_Unbounded_String(Text_IO.Get_Line(File));

24/2

     function Get_Line
        return Strings.Unbounded.Unbounded_String;

25/2

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

Equivalent to Item := Get_Line (File);

28/2

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

29/2

Equivalent to Item := Get_Line;