Mercurial > hg > CbC > CbC_gcc
diff gcc/ada/libgnat/a-tideio.ads @ 145:1830386684a0
gcc-9.2.0
author | anatofuz |
---|---|
date | Thu, 13 Feb 2020 11:34:05 +0900 |
parents | 84e7813d76e9 |
children |
line wrap: on
line diff
--- a/gcc/ada/libgnat/a-tideio.ads Thu Oct 25 07:37:49 2018 +0900 +++ b/gcc/ada/libgnat/a-tideio.ads Thu Feb 13 11:34:05 2020 +0900 @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2018, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2019, Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -52,35 +52,58 @@ procedure Get (File : File_Type; Item : out Num; - Width : Field := 0); + Width : Field := 0) + with + Pre => Is_Open (File) and then Mode (File) = In_File, + Global => (In_Out => File_System); procedure Get (Item : out Num; - Width : Field := 0); + Width : Field := 0) + with + Post => + Line_Length'Old = Line_Length + and Page_Length'Old = Page_Length, + Global => (In_Out => File_System); procedure Put (File : File_Type; Item : Num; Fore : Field := Default_Fore; Aft : Field := Default_Aft; - Exp : Field := Default_Exp); + Exp : Field := Default_Exp) + with + Pre => Is_Open (File) and then Mode (File) /= In_File, + Post => + Line_Length (File)'Old = Line_Length (File) + and Page_Length (File)'Old = Page_Length (File), + Global => (In_Out => File_System); procedure Put (Item : Num; Fore : Field := Default_Fore; Aft : Field := Default_Aft; - Exp : Field := Default_Exp); + Exp : Field := Default_Exp) + with + Post => + Line_Length'Old = Line_Length + and Page_Length'Old = Page_Length, + Global => (In_Out => File_System); procedure Get (From : String; Item : out Num; - Last : out Positive); + Last : out Positive) + with + Global => null; procedure Put (To : out String; Item : Num; Aft : Field := Default_Aft; - Exp : Field := Default_Exp); + Exp : Field := Default_Exp) + with + Global => null; private pragma Inline (Get);