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


A.10.11 Input-Output for Bounded Strings

1/2
{00428AI95−00428−01} The package Text_IO.Bounded_IO provides input−output in human−readable form for Bounded_Strings.

Static Semantics

2/2
{00428AI95−00428−01} The generic library package Text_IO.Bounded_IO has the following declaration:

3/2

     with Ada.Strings.Bounded;
     generic
        with package Bounded is
                          new Ada.Strings.Bounded.Generic_Bounded_Length (<>);
     package Ada.Text_IO.Bounded_IO is

4/2

        procedure Put
           (File in File_Type;
            Item in Bounded.Bounded_String);

5/2

        procedure Put
           (Item in Bounded.Bounded_String);

6/2

        procedure Put_Line
           (File in File_Type;
            Item in Bounded.Bounded_String);

7/2

        procedure Put_Line
           (Item in Bounded.Bounded_String);

8/2

        function Get_Line
           (File in File_Type)
           return Bounded.Bounded_String;

9/2

        function Get_Line
           return Bounded.Bounded_String;

10/2

        procedure Get_Line
           (File in File_Type; Item out Bounded.Bounded_String);

11/2

        procedure Get_Line
           (Item out Bounded.Bounded_String);

12/2

     end Ada.Text_IO.Bounded_IO;

13/2
{00428AI95−00428−01} For an item of type Bounded_String, the following subprograms are provided:

14/2

     procedure Put
        (File in File_Type;
         Item in Bounded.Bounded_String);

15/2

{00428AI95−00428−01} Equivalent to Text_IO.Put (File, Bounded.To_String(Item));

16/2

     procedure Put
        (Item in Bounded.Bounded_String);

17/2

{00428AI95−00428−01} Equivalent to Text_IO.Put (Bounded.To_String(Item));

18/2

     procedure Put_Line
        (File in File_Type;
         Item in Bounded.Bounded_String);

19/2

{00428AI95−00428−01} Equivalent to Text_IO.Put_Line (File, Bounded.To_String(Item));

20/2

     procedure Put_Line
        (Item in Bounded.Bounded_String);

21/2

{00428AI95−00428−01} Equivalent to Text_IO.Put_Line (Bounded.To_String(Item));

22/2

     function Get_Line
        (File in File_Type)
        return Bounded.Bounded_String;

23/2

{00428AI95−00428−01} Returns Bounded.To_Bounded_String(Text_IO.Get_Line(File));

24/2

     function Get_Line
        return Bounded.Bounded_String;

25/2

{00428AI95−00428−01} Returns Bounded.To_Bounded_String(Text_IO.Get_Line);

26/2

     procedure Get_Line
        (File in File_Type; Item out Bounded.Bounded_String);

27/2

{00428AI95−00428−01} Equivalent to Item := Get_Line (File);

28/2

     procedure Get_Line
        (Item out Bounded.Bounded_String);

29/2

{00428AI95−00428−01} Equivalent to Item := Get_Line;
Extensions to Ada 95

29.a/2

{00428AI95−00428−01} {extensions to Ada 95} Package Text_IO.Bounded_IO is new.