projects / thirdparty / gcc.git / blame
| Commit | Line | Data |
|---|---|---|
| d23b8f57 RK |
1 | ------------------------------------------------------------------------------ |
| 2 | -- -- | |
| 3 | -- GNAT RUN-TIME COMPONENTS -- | |
| 4 | -- -- | |
| 5 | -- A D A . T E X T _ I O . I N T E G E R _ I O -- | |
| 6 | -- -- | |
| 7 | -- S p e c -- | |
| 8 | -- -- | |
| 4b490c1e | 9 | -- Copyright (C) 1992-2020, Free Software Foundation, Inc. -- |
| d23b8f57 RK |
10 | -- -- |
| 11 | -- This specification is derived from the Ada Reference Manual for use with -- | |
| 12 | -- GNAT. The copyright notice above, and the license provisions that follow -- | |
| 13 | -- apply solely to the contents of the part following the private keyword. -- | |
| 14 | -- -- | |
| 15 | -- GNAT is free software; you can redistribute it and/or modify it under -- | |
| 16 | -- terms of the GNU General Public License as published by the Free Soft- -- | |
| 748086b7 | 17 | -- ware Foundation; either version 3, or (at your option) any later ver- -- |
| d23b8f57 RK |
18 | -- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- |
| 19 | -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- | |
| 748086b7 JJ |
20 | -- or FITNESS FOR A PARTICULAR PURPOSE. -- |
| 21 | -- -- | |
| 22 | -- As a special exception under Section 7 of GPL version 3, you are granted -- | |
| 23 | -- additional permissions described in the GCC Runtime Library Exception, -- | |
| 24 | -- version 3.1, as published by the Free Software Foundation. -- | |
| 25 | -- -- | |
| 26 | -- You should have received a copy of the GNU General Public License and -- | |
| 27 | -- a copy of the GCC Runtime Library Exception along with this program; -- | |
| 28 | -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see -- | |
| 29 | -- <http://www.gnu.org/licenses/>. -- | |
| d23b8f57 RK |
30 | -- -- |
| 31 | -- GNAT was originally developed by the GNAT team at New York University. -- | |
| 71ff80dc | 32 | -- Extensive contributions were provided by Ada Core Technologies Inc. -- |
| d23b8f57 RK |
33 | -- -- |
| 34 | ------------------------------------------------------------------------------ | |
| 35 | ||
| 36 | -- In Ada 95, the package Ada.Text_IO.Integer_IO is a subpackage of Text_IO. | |
| 37 | -- This is for compatibility with Ada 83. In GNAT we make it a child package | |
| 2bd67690 RD |
38 | -- to avoid loading the necessary code if Integer_IO is not instantiated. |
| 39 | -- See routine Rtsfind.Check_Text_IO_Special_Unit for a description of how | |
| 40 | -- we patch up the difference in semantics so that it is invisible to the | |
| 41 | -- Ada programmer. | |
| d23b8f57 RK |
42 | |
| 43 | private generic | |
| 44 | type Num is range <>; | |
| 45 | ||
| 46 | package Ada.Text_IO.Integer_IO is | |
| 47 | ||
| 48 | Default_Width : Field := Num'Width; | |
| 49 | Default_Base : Number_Base := 10; | |
| 50 | ||
| 51 | procedure Get | |
| 0ae9f22f | 52 | (File : File_Type; |
| d23b8f57 | 53 | Item : out Num; |
| 2ff7c604 JH |
54 | Width : Field := 0) |
| 55 | with | |
| 56 | Pre => Is_Open (File) and then Mode (File) = In_File, | |
| 57 | Global => (In_Out => File_System); | |
| d23b8f57 RK |
58 | |
| 59 | procedure Get | |
| 60 | (Item : out Num; | |
| 2ff7c604 JH |
61 | Width : Field := 0) |
| 62 | with | |
| 63 | Post => | |
| 64 | Line_Length'Old = Line_Length | |
| 65 | and Page_Length'Old = Page_Length, | |
| 66 | Global => (In_Out => File_System); | |
| d23b8f57 RK |
67 | |
| 68 | procedure Put | |
| 0ae9f22f RD |
69 | (File : File_Type; |
| 70 | Item : Num; | |
| 71 | Width : Field := Default_Width; | |
| 2ff7c604 JH |
72 | Base : Number_Base := Default_Base) |
| 73 | with | |
| 74 | Pre => Is_Open (File) and then Mode (File) /= In_File, | |
| 75 | Post => | |
| 76 | Line_Length (File)'Old = Line_Length (File) | |
| 77 | and Page_Length (File)'Old = Page_Length (File), | |
| 78 | Global => (In_Out => File_System); | |
| d23b8f57 RK |
79 | |
| 80 | procedure Put | |
| 0ae9f22f RD |
81 | (Item : Num; |
| 82 | Width : Field := Default_Width; | |
| 2ff7c604 JH |
83 | Base : Number_Base := Default_Base) |
| 84 | with | |
| 85 | Post => | |
| 86 | Line_Length'Old = Line_Length | |
| 87 | and Page_Length'Old = Page_Length, | |
| 88 | Global => (In_Out => File_System); | |
| d23b8f57 RK |
89 | |
| 90 | procedure Get | |
| 0ae9f22f | 91 | (From : String; |
| d23b8f57 | 92 | Item : out Num; |
| 2ff7c604 JH |
93 | Last : out Positive) |
| 94 | with | |
| 95 | Global => null; | |
| d23b8f57 RK |
96 | |
| 97 | procedure Put | |
| 98 | (To : out String; | |
| 0ae9f22f | 99 | Item : Num; |
| 2ff7c604 JH |
100 | Base : Number_Base := Default_Base) |
| 101 | with | |
| 102 | Global => null; | |
| d23b8f57 RK |
103 | |
| 104 | private | |
| 105 | pragma Inline (Get); | |
| 106 | pragma Inline (Put); | |
| 107 | ||
| 108 | end Ada.Text_IO.Integer_IO; |