subtype Field is Ada.Text_IO.Field;
subtype Number_Base is Ada.Text_IO.Number_Base;
subtype File_Type is Ada.Text_IO.File_Type;
Default_Base : Number_Base renames Ada.Integer_Text_IO.Default_Base;
Default_Width : Field renames Ada.Integer_Text_IO.Default_Width;
Default_Fore : Field renames Ada.Float_Text_IO.Default_Fore;
Default_Aft : Field renames Ada.Float_Text_IO.Default_Aft;
Default_Exp : Field renames Ada.Float_Text_IO.Default_Exp;
procedure New_Line
| ( | Spacing | : Positive_Count := 1) renames Ada.Text_IO.New_Line; |
procedure Put
| ( | Item | : in Integer; |
| Width | : in Field := Default_Width; | |
| Base | : in Number_Base := Default_Base) renames Ada.Integer_Text_IO.Put; |
procedure Put_Line
| ( | Item | : in Integer; |
| Width | : in Field := Default_Width; | |
| Base | : in Number_Base := Default_Base); |
procedure Put
| ( | Item | : in Float; |
| Fore | : in Field := Default_Fore; | |
| Aft | : in Field := Default_Aft; | |
| Exp | : in Field := Default_Exp) renames Ada.Float_Text_IO.Put; |
procedure Put_Line
| ( | Item | : in Float; |
| Fore | : in Field := Default_Fore; | |
| Aft | : in Field := Default_Aft; | |
| Exp | : in Field := Default_Exp); |
procedure Create
| ( | File | : in out File_Type; |
| Mode | : File_Mode := Out_File; | |
| Name | : String := ""; | |
| Form | : String := "") renames Ada.Text_IO.Create; |
procedure Close
| ( | File | : in out File_Type) renames Ada.Text_IO.Close; |
procedure Put_Line
| ( | File | : File_Type; |
| Item | : String) renames Ada.Text_IO.Put_Line; |
procedure Put
| ( | File | : File_Type; |
| Item | : Character) renames Ada.Text_IO.Put; |