A.10.8 Input-Output for Integer Types
Static Semantics
The following procedures are defined in the generic
packages Integer_IO and Modular_IO, which have to be instantiated for
the appropriate signed integer or modular type respectively (indicated
by Num in the specifications).
Values are output as
decimal or based literals, without low line characters or exponent, and,
for Integer_IO, preceded by a minus sign if negative. The format (which
includes any leading spaces and minus sign) can be specified by an optional
field width parameter. Values of widths of fields in output formats are
of the nonnegative integer subtype Field. Values of bases are of the
integer subtype Number_Base.
subtype Number_Base is Integer range 2 .. 16;
The default field width
and base to be used by output procedures are defined by the following
variables that are declared in the generic packages Integer_IO and Modular_IO:
Default_Width : Field := Num'Width;
Default_Base : Number_Base := 10;
The following procedures
are provided:
procedure Get(File : in File_Type; Item : out Num; Width : in Field := 0);
procedure Get(Item : out Num; Width : in Field := 0);
If the value of the parameter Width is zero, skips
any leading blanks, line terminators, or page terminators, then reads
a plus sign if present or (for a signed type only) a minus sign if present,
then reads the longest possible sequence of characters matching the syntax
of a numeric literal without a point. If a nonzero value of Width is
supplied, then exactly Width characters are input, or the characters
(possibly none) up to a line terminator, whichever comes first; any skipped
leading blanks are included in the count.
Returns, in the parameter Item, the value of type
Num that corresponds to the sequence input.
The exception Data_Error
is propagated if the sequence of characters read does not form a legal
integer literal or if the value obtained is not of the subtype Num (for
Integer_IO) or is not in the base range of Num (for Modular_IO).
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);
Outputs the value of the parameter Item as an
integer literal, with no low lines, no exponent, and no leading zeros
(but a single zero for the value zero), and a preceding minus sign for
a negative value.
If the resulting sequence of characters to be
output has fewer than Width characters, then leading spaces are first
output to make up the difference.
Uses the syntax
for decimal literal if the parameter Base has the value ten (either explicitly
or through Default_Base); otherwise, uses the syntax for based literal,
with any letters in upper case.
procedure Get(From : in String; Item : out Num; Last : out Positive);
Reads an integer value from the beginning of the
given string, following the same rules as the Get procedure that reads
an integer value from a file, but treating the end of the string as a
file terminator. Returns, in the parameter Item, the value of type Num
that corresponds to the sequence input. Returns in Last the index value
such that From(Last) is the last character read.
The exception Data_Error
is propagated if the sequence input does not have the required syntax
or if the value obtained is not of the subtype Num.
procedure Put(To : out String;
Item : in Num;
Base : in Number_Base := Default_Base);
Outputs the value
of the parameter Item to the given string, following the same rule as
for output to a file, using the length of the given string as the value
for Width.
Integer_Text_IO is
a library package that is a nongeneric equivalent to Text_IO.Integer_IO
for the predefined type Integer:
with Ada.Text_IO;
package Ada.Integer_Text_IO
is new Ada.Text_IO.Integer_IO(Integer);
For each predefined signed integer type, a nongeneric
equivalent to Text_IO.Integer_IO is provided, with names such as Ada.Long_Integer_Text_IO.
Implementation Permissions
The nongeneric equivalent packages may, but need
not, be actual instantiations of the generic package for the appropriate
predefined type.
29 For Modular_IO, execution of Get propagates
Data_Error if the sequence of characters read forms an integer literal
outside the range 0..Num'Last.
Examples
This paragraph
was deleted.
package Int_IO is new Integer_IO(Small_Int); use Int_IO;
-- default format used at instantiation,
-- Default_Width = 4, Default_Base = 10
Put(126); -- "b126"
Put(-126, 7); -- "bbb–126"
Put(126, Width => 13, Base => 2); -- "bbb2#1111110#"
Sponsored by Ada-Europe