Spec-Zone.ru › Ada 2022
Справочник по Ada (Ada 2022)

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

Пакет Text_IO.Unbounded_IO предоставляет ввод-вывод в удобочитаемой форме для неограниченных строк Unbounded_Strings.

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

Библиотечный пакет Text_IO.Unbounded_IO имеет следующую декларацию:
with Ada.Strings.Unbounded;
package Ada.Text_IO.Unbounded_IO
with Global => in out synchronized is
procedure Put
(File : in File_Type;
Item : in Strings.Unbounded.Unbounded_String);
procedure Put
(Item : in Strings.Unbounded.Unbounded_String);
procedure Put_Line
(File : in File_Type;
Item : in Strings.Unbounded.Unbounded_String);
procedure Put_Line
(Item : in Strings.Unbounded.Unbounded_String);
function Get_Line
(File : in File_Type)
return Strings.Unbounded.Unbounded_String;
function Get_Line
return Strings.Unbounded.Unbounded_String;
procedure Get_Line
(File : in File_Type; Item : out Strings.Unbounded.Unbounded_String);
procedure Get_Line
(Item : out Strings.Unbounded.Unbounded_String);
end Ada.Text_IO.Unbounded_IO;
Для элемента типа Unbounded_String предоставляются следующие подпрограммы:
procedure Put
(File : in File_Type;
Item : in Strings.Unbounded.Unbounded_String);
Эквивалентно Text_IO.Put (File, Strings.Unbounded.To_String(Item));
procedure Put
(Item : in Strings.Unbounded.Unbounded_String);
Эквивалентно Text_IO.Put (Strings.Unbounded.To_String(Item));
procedure Put_Line
(File : in File_Type;
Item : in Strings.Unbounded.Unbounded_String);
Эквивалентно Text_IO.Put_Line (File, Strings.Unbounded.To_String(Item));
procedure Put_Line
(Item : in Strings.Unbounded.Unbounded_String);
Эквивалентно Text_IO.Put_Line (Strings.Unbounded.To_String(Item));
function Get_Line
(File : in File_Type)
return Strings.Unbounded.Unbounded_String;
Возвращает Strings.Unbounded.To_Unbounded_String(Text_IO.Get_Line(File));
function Get_Line
return Strings.Unbounded.Unbounded_String;
Возвращает Strings.Unbounded.To_Unbounded_String(Text_IO.Get_Line);
procedure Get_Line
(File : in File_Type; Item : out Strings.Unbounded.Unbounded_String);
Эквивалентно Item := Get_Line (File);
procedure Get_Line
(Item : out Strings.Unbounded.Unbounded_String);
Эквивалентно Item := Get_Line;


Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API