Mercurial > hg > CbC > CbC_gcc

comparison gcc/ada/libgnat/a-tideio.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 . D E C I M A L _ I O -- 5 -- A D A . T E X T _ I O . D E C I M A L _ 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 -- --
50 Default_Exp : Field := 0; 50 Default_Exp : Field := 0;
51 51
52 procedure Get 52 procedure Get
53 (File : File_Type; 53 (File : File_Type;
54 Item : out Num; 54 Item : out Num;
55 Width : Field := 0); 55 Width : Field := 0)
56 with
57 Pre => Is_Open (File) and then Mode (File) = In_File,
58 Global => (In_Out => File_System);
56 59
57 procedure Get 60 procedure Get
58 (Item : out Num; 61 (Item : out Num;
59 Width : Field := 0); 62 Width : Field := 0)
63 with
64 Post =>
65 Line_Length'Old = Line_Length
66 and Page_Length'Old = Page_Length,
67 Global => (In_Out => File_System);
60 68
61 procedure Put 69 procedure Put
62 (File : File_Type; 70 (File : File_Type;
63 Item : Num; 71 Item : Num;
64 Fore : Field := Default_Fore; 72 Fore : Field := Default_Fore;
65 Aft : Field := Default_Aft; 73 Aft : Field := Default_Aft;
66 Exp : Field := Default_Exp); 74 Exp : Field := Default_Exp)
75 with
76 Pre => Is_Open (File) and then Mode (File) /= In_File,
77 Post =>
78 Line_Length (File)'Old = Line_Length (File)
79 and Page_Length (File)'Old = Page_Length (File),
80 Global => (In_Out => File_System);
67 81
68 procedure Put 82 procedure Put
69 (Item : Num; 83 (Item : Num;
70 Fore : Field := Default_Fore; 84 Fore : Field := Default_Fore;
71 Aft : Field := Default_Aft; 85 Aft : Field := Default_Aft;
72 Exp : Field := Default_Exp); 86 Exp : Field := Default_Exp)
87 with
88 Post =>
89 Line_Length'Old = Line_Length
90 and Page_Length'Old = Page_Length,
91 Global => (In_Out => File_System);
73 92
74 procedure Get 93 procedure Get
75 (From : String; 94 (From : String;
76 Item : out Num; 95 Item : out Num;
77 Last : out Positive); 96 Last : out Positive)
97 with
98 Global => null;
78 99
79 procedure Put 100 procedure Put
80 (To : out String; 101 (To : out String;
81 Item : Num; 102 Item : Num;
82 Aft : Field := Default_Aft; 103 Aft : Field := Default_Aft;
83 Exp : Field := Default_Exp); 104 Exp : Field := Default_Exp)
105 with
106 Global => null;
84 107
85 private 108 private
86 pragma Inline (Get); 109 pragma Inline (Get);
87 pragma Inline (Put); 110 pragma Inline (Put);
88 111