Mercurial > hg > CbC > CbC_gcc

comparison gcc/ada/libgnat/a-tiinio.ads @ 145:1830386684a0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 84e7813d76e9
children
comparison
equal deleted inserted replaced
131:84e7813d76e9 145:1830386684a0
4 -- -- 4 -- --
5 -- A D A . T E X T _ I O . I N T E G E R _ I O -- 5 -- A D A . T E X T _ I O . I N T E G E R _ I O --
6 -- -- 6 -- --
7 -- S p e c -- 7 -- S p e c --
8 -- -- 8 -- --
9 -- Copyright (C) 1992-2018, Free Software Foundation, Inc. -- 9 -- Copyright (C) 1992-2019, Free Software Foundation, Inc. --
10 -- -- 10 -- --
11 -- This specification is derived from the Ada Reference Manual for use with -- 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 -- 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. -- 13 -- apply solely to the contents of the part following the private keyword. --
14 -- -- 14 -- --
49 Default_Base : Number_Base := 10; 49 Default_Base : Number_Base := 10;
50 50
51 procedure Get 51 procedure Get
52 (File : File_Type; 52 (File : File_Type;
53 Item : out Num; 53 Item : out Num;
54 Width : Field := 0); 54 Width : Field := 0)
55 with
56 Pre => Is_Open (File) and then Mode (File) = In_File,
57 Global => (In_Out => File_System);
55 58
56 procedure Get 59 procedure Get
57 (Item : out Num; 60 (Item : out Num;
58 Width : Field := 0); 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);
59 67
60 procedure Put 68 procedure Put
61 (File : File_Type; 69 (File : File_Type;
62 Item : Num; 70 Item : Num;
63 Width : Field := Default_Width; 71 Width : Field := Default_Width;
64 Base : Number_Base := Default_Base); 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);
65 79
66 procedure Put 80 procedure Put
67 (Item : Num; 81 (Item : Num;
68 Width : Field := Default_Width; 82 Width : Field := Default_Width;
69 Base : Number_Base := Default_Base); 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);
70 89
71 procedure Get 90 procedure Get
72 (From : String; 91 (From : String;
73 Item : out Num; 92 Item : out Num;
74 Last : out Positive); 93 Last : out Positive)
94 with
95 Global => null;
75 96
76 procedure Put 97 procedure Put
77 (To : out String; 98 (To : out String;
78 Item : Num; 99 Item : Num;
79 Base : Number_Base := Default_Base); 100 Base : Number_Base := Default_Base)
101 with
102 Global => null;
80 103
81 private 104 private
82 pragma Inline (Get); 105 pragma Inline (Get);
83 pragma Inline (Put); 106 pragma Inline (Put);
84 107