A.10.1 Пакет Text_IO

with Ada.IO_Exceptions;
package Ada.Text_IO is

type File_Type is limited private;

type File_Mode is (In_File, Out_File, Append_File);

type Count is range 0 .. определяется реализацией;
subtype Positive_Count is Count range 1 .. Count'Last;
Unbounded : constant Count := 0; -- длина строки и страницы

subtype Field is Integer range 0 .. определяется реализацией;
subtype Number_Base is Integer range 2 .. 16;

type Type_Set is (Lower_Case, Upper_Case);

-- Управление файлами

procedure Create (File : in out File_Type;
Mode : in File_Mode := Out_File;
Name : in String := "";
Form : in String := "");

procedure Open (File : in out File_Type;
Mode : in File_Mode;
Name : in String;
Form : in String := "");

procedure Close (File : in out File_Type);
procedure Delete (File : in out File_Type);
procedure Reset (File : in out File_Type; Mode : in File_Mode);
procedure Reset (File : in out File_Type);

function Mode (File : in File_Type) return File_Mode;
function Name (File : in File_Type) return String;
function Form (File : in File_Type) return String;

function Is_Open(File : in File_Type) return Boolean;

-- Управление стандартными файлами ввода и вывода

procedure Set_Input (File : in File_Type);
procedure Set_Output(File : in File_Type);
procedure Set_Error (File : in File_Type);

function Standard_Input return File_Type;
function Standard_Output return File_Type;
function Standard_Error return File_Type;

function Current_Input return File_Type;
function Current_Output return File_Type;
function Current_Error return File_Type;

type File_Access is access constant File_Type;

function Standard_Input return File_Access;
function Standard_Output return File_Access;
function Standard_Error return File_Access;

function Current_Input return File_Access;
function Current_Output return File_Access;
function Current_Error return File_Access;

--Управление буфером
procedure Flush (File : in File_Type);
procedure Flush;

-- Указание длины строки и страницы

procedure Set_Line_Length(File : in File_Type; To : in Count);
procedure Set_Line_Length(To : in Count);

procedure Set_Page_Length(File : in File_Type; To : in Count);
procedure Set_Page_Length(To : in Count);

function Line_Length(File : in File_Type) return Count;
function Line_Length return Count;

function Page_Length(File : in File_Type) return Count;
function Page_Length return Count;

-- Управление столбцами, строками и страницами

procedure New_Line (File : in File_Type;
Spacing : in Positive_Count := 1);
procedure New_Line (Spacing : in Positive_Count := 1);

procedure Skip_Line (File : in File_Type;
Spacing : in Positive_Count := 1);
procedure Skip_Line (Spacing : in Positive_Count := 1);

function End_Of_Line(File : in File_Type) return Boolean;
function End_Of_Line return Boolean;

procedure New_Page (File : in File_Type);
procedure New_Page;

procedure Skip_Page (File : in File_Type);
procedure Skip_Page;

function End_Of_Page(File : in File_Type) return Boolean;
function End_Of_Page return Boolean;

function End_Of_File(File : in File_Type) return Boolean;
function End_Of_File return Boolean;

procedure Set_Col (File : in File_Type; To : in Positive_Count);
procedure Set_Col (To : in Positive_Count);

procedure Set_Line(File : in File_Type; To : in Positive_Count);
procedure Set_Line(To : in Positive_Count);

function Col (File : in File_Type) return Positive_Count;
function Col return Positive_Count;

function Line(File : in File_Type) return Positive_Count;
function Line return Positive_Count;

function Page(File : in File_Type) return Positive_Count;
function Page return Positive_Count;

-- Ввод-вывод символов

procedure Get(File : in File_Type; Item : out Character);
procedure Get(Item : out Character);

procedure Put(File : in File_Type; Item : in Character);
procedure Put(Item : in Character);

procedure Look_Ahead (File : in File_Type;
Item : out Character;
End_Of_Line : out Boolean);
procedure Look_Ahead (Item : out Character;
End_Of_Line : out Boolean);

procedure Get_Immediate(File : in File_Type;
Item : out Character);
procedure Get_Immediate(Item : out Character);

procedure Get_Immediate(File : in File_Type;
Item : out Character;
Available : out Boolean);
procedure Get_Immediate(Item : out Character;
Available : out Boolean);

-- Ввод-вывод строк

procedure Get(File : in File_Type; Item : out String);
procedure Get(Item : out String);

procedure Put(File : in File_Type; Item : in String);
procedure Put(Item : in String);

procedure Get_Line(File : in File_Type;
Item : out String;
Last : out Natural);
procedure Get_Line(Item : out String; Last : out Natural);

function Get_Line(File : in File_Type) return String;
function Get_Line return String;

procedure Put_Line(File : in File_Type; Item : in String);
procedure Put_Line(Item : in String);

-- Обобщенные пакеты для ввода-вывода целочисленных типов

generic
type Num is range <>;
package Integer_IO is

Default_Width : Field := Num'Width;
Default_Base : Number_Base := 10;

procedure Get(File : in File_Type;
Item : out Num;
Width : in Field := 0);
procedure Get(Item : out Num;
Width : in Field := 0);

procedure Put(File : in File_Type;
Item : in Num;
Width : in Field := Default_Width;
Base : in Number_Base := Default_Base);
procedure Put(Item : in Num;
Width : in Field := Default_Width;
Base : in Number_Base := Default_Base);
procedure Get(From : in String;
Item : out Num;
Last : out Positive);
procedure Put(To : out String;
Item : in Num;
Base : in Number_Base := Default_Base);

end Integer_IO;

generic
type Num is mod <>;
package Modular_IO is

Default_Width : Field := Num'Width;
Default_Base : Number_Base := 10;

procedure Get(File : in File_Type;
Item : out Num;
Width : in Field := 0);
procedure Get(Item : out Num;
Width : in Field := 0);

procedure Put(File : in File_Type;
Item : in Num;
Width : in Field := Default_Width;
Base : in Number_Base := Default_Base);
procedure Put(Item : in Num;
Width : in Field := Default_Width;
Base : in Number_Base := Default_Base);
procedure Get(From : in String;
Item : out Num;
Last : out Positive);
procedure Put(To : out String;
Item : in Num;
Base : in Number_Base := Default_Base);

end Modular_IO;

-- Обобщенные пакеты для ввода-вывода вещественных типов

generic
type Num is digits <>;
package Float_IO is

Default_Fore : Field := 2;
Default_Aft : Field := Num'Digits-1;
Default_Exp : Field := 3;

procedure Get(File : in File_Type;
Item : out Num;
Width : in Field := 0);
procedure Get(Item : out Num;
Width : in Field := 0);

процедура Put(File : вход File_Type;
Item : вход Num;
Fore : вход Field := Default_Fore;
Aft : вход Field := Default_Aft;
Exp : вход Field := Default_Exp);
процедура Put(Item : вход Num;
Fore : вход Field := Default_Fore;
Aft : вход Field := Default_Aft;
Exp : вход Field := Default_Exp);

процедура Get(From : вход String;
Item : выход Num;
Last : выход Positive);
процедура Put(To : выход String;
Item : вход Num;
Aft : вход Field := Default_Aft;
Exp : вход Field := Default_Exp);
конец Float_IO;

обобщённый
тип Num является дельта <>;
пакет Fixed_IO является

Default_Fore : Field := Num'Fore;
Default_Aft : Field := Num'Aft;
Default_Exp : Field := 0;

процедура Get(File : вход File_Type;
Item : выход Num;
Width : вход Field := 0);
процедура Get(Item : выход Num;
Width : вход Field := 0);

процедура Put(File : вход File_Type;
Item : вход Num;
Fore : вход Field := Default_Fore;
Aft : вход Field := Default_Aft;
Exp : вход Field := Default_Exp);
процедура Put(Item : вход Num;
Fore : вход Field := Default_Fore;
Aft : вход Field := Default_Aft;
Exp : вход Field := Default_Exp);

процедура Get(From : вход String;
Item : выход Num;
Last : выход Positive);
процедура Put(To : выход String;
Item : вход Num;
Aft : вход Field := Default_Aft;
Exp : вход Field := Default_Exp);
конец Fixed_IO;

обобщённый
тип Num является дельта <> цифры <>;
пакет Decimal_IO является

Default_Fore : Field := Num'Fore;
Default_Aft : Field := Num'Aft;
Default_Exp : Field := 0;

процедура Get(File : вход File_Type;
Item : выход Num;
Width : вход Field := 0);
процедура Get(Item : выход Num;
Width : вход Field := 0);

процедура Put(File : вход File_Type;
Item : вход Num;
Fore : вход Field := Default_Fore;
Aft : вход Field := Default_Aft;
Exp : вход Field := Default_Exp);
процедура Put(Item : вход Num;
Fore : вход Field := Default_Fore;
Aft : вход Field := Default_Aft;
Exp : вход Field := Default_Exp);

процедура Get(From : вход String;
Item : выход Num;
Last : выход Positive);
процедура Put(To : выход String;
Item : вход Num;
Aft : вход Field := Default_Aft;
Exp : вход Field := Default_Exp);
конец Decimal_IO;

-- Обобщённый пакет для ввода-вывода типов перечисления

обобщённый
тип Enum является (<>);
пакет Enumeration_IO является

Default_Width : Field := 0;
Default_Setting : Type_Set := Upper_Case;

процедура Get(File : вход File_Type;
Item : выход Enum);
процедура Get(Item : выход Enum);

процедура Put(File : вход File_Type;
Item : вход Enum;
Width : вход Field := Default_Width;
Set : вход Type_Set := Default_Setting);
процедура Put(Item : вход Enum;
Width : вход Field := Default_Width;
Set : вход Type_Set := Default_Setting);

процедура Get(From : вход String;
Item : выход Enum;
Last : выход Positive);
процедура Put(To : выход String;
Item : вход Enum;
Set : вход Type_Set := Default_Setting);
конец Enumeration_IO;

-- Исключения

Status_Error : исключение переименовано IO_Exceptions.Status_Error;
Mode_Error : исключение переименовано IO_Exceptions.Mode_Error;
Name_Error : исключение переименовано IO_Exceptions.Name_Error;
Use_Error : исключение переименовано IO_Exceptions.Use_Error;
Device_Error : исключение переименовано IO_Exceptions.Device_Error;
End_Error : исключение переименовано IO_Exceptions.End_Error;
Data_Error : исключение переименовано IO_Exceptions.Data_Error;
Layout_Error : исключение переименовано IO_Exceptions.Layout_Error;
приватный
... -- не указано языком
конец Ada.Text_IO;