Справочник Ada 2005

A.10.11 Ввод-вывод для ограниченных строк

Пакет Text_IO.Bounded_IO предоставляет ввод-вывод в удобочитаемой форме для Bounded_Strings.

Статическая семантика

Указанный ниже пакет-библиотека Text_IO.Bounded_IO имеет следующее объявление:

с Ada.Strings.Bounded;
генерический
с пакетом Bounded есть
новый Ada.Strings.Bounded.Generic_Bounded_Length (<>);
пакет Ada.Text_IO.Bounded_IO есть

процедура Put
(File : входной File_Type;
Item : входной Bounded.Bounded_String);

процедура Put
(Item : входной Bounded.Bounded_String);

процедура Put_Line
(File : входной File_Type;
Item : входной Bounded.Bounded_String);

процедура Put_Line
(Item : входной Bounded.Bounded_String);

функция Get_Line
(File : входной File_Type)
возвращает Bounded.Bounded_String;

функция Get_Line
возвращает Bounded.Bounded_String;

процедура Get_Line
(File : входной File_Type; Item : выходной Bounded.Bounded_String);

процедура Get_Line
(Item : выходной Bounded.Bounded_String);

конец Ada.Text_IO.Bounded_IO;

Для элемента типа Bounded_String предоставляются следующие подпрограммы:

процедура Put
(File : входной File_Type;
Item : входной Bounded.Bounded_String);

Эквивалентно Text_IO.Put (File, Bounded.To_String(Item));

процедура Put
(Item : входной Bounded.Bounded_String);

Эквивалентно Text_IO.Put (Bounded.To_String(Item));

процедура Put_Line
(File : входной File_Type;
Item : входной Bounded.Bounded_String);

Эквивалентно Text_IO.Put_Line (File, Bounded.To_String(Item));

процедура Put_Line
(Item : входной Bounded.Bounded_String);

Эквивалентно Text_IO.Put_Line (Bounded.To_String(Item));

функция Get_Line
(File : входной File_Type)
возвращает Bounded.Bounded_String;

Возвращает Bounded.To_Bounded_String(Text_IO.Get_Line(File));

функция Get_Line
возвращает Bounded.Bounded_String;

Возвращает Bounded.To_Bounded_String(Text_IO.Get_Line);

процедура Get_Line
(File : входной File_Type; Item : выходной Bounded.Bounded_String);

Эквивалентно Item := Get_Line (File);

процедура Get_Line
(Item : выходной Bounded.Bounded_String);

Эквивалентно Item := Get_Line;