Mercurial > hg > CbC > CbC_gcc

comparison gcc/ada/libgnat/a-tienio.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 04ced10e8804
children
comparison
equal deleted inserted replaced
131:84e7813d76e9 145:1830386684a0
26 package Ada.Text_IO.Enumeration_IO is 26 package Ada.Text_IO.Enumeration_IO is
27 27
28 Default_Width : Field := 0; 28 Default_Width : Field := 0;
29 Default_Setting : Type_Set := Upper_Case; 29 Default_Setting : Type_Set := Upper_Case;
30 30
31 procedure Get (File : File_Type; Item : out Enum); 31 procedure Get (File : File_Type; Item : out Enum) with
32 procedure Get (Item : out Enum); 32 Pre => Is_Open (File) and then Mode (File) = In_File,
33 Global => (In_Out => File_System);
34 procedure Get (Item : out Enum) with
35 Post =>
36 Line_Length'Old = Line_Length
37 and Page_Length'Old = Page_Length,
38 Global => (In_Out => File_System);
33 39
34 procedure Put 40 procedure Put
35 (File : File_Type; 41 (File : File_Type;
36 Item : Enum; 42 Item : Enum;
37 Width : Field := Default_Width; 43 Width : Field := Default_Width;
38 Set : Type_Set := Default_Setting); 44 Set : Type_Set := Default_Setting)
45 with
46 Pre => Is_Open (File) and then Mode (File) /= In_File,
47 Post =>
48 Line_Length (File)'Old = Line_Length (File)
49 and Page_Length (File)'Old = Page_Length (File),
50 Global => (In_Out => File_System);
39 51
40 procedure Put 52 procedure Put
41 (Item : Enum; 53 (Item : Enum;
42 Width : Field := Default_Width; 54 Width : Field := Default_Width;
43 Set : Type_Set := Default_Setting); 55 Set : Type_Set := Default_Setting)
56 with
57 Post =>
58 Line_Length'Old = Line_Length
59 and Page_Length'Old = Page_Length,
60 Global => (In_Out => File_System);
44 61
45 procedure Get 62 procedure Get
46 (From : String; 63 (From : String;
47 Item : out Enum; 64 Item : out Enum;
48 Last : out Positive); 65 Last : out Positive)
66 with
67 Global => null;
49 68
50 procedure Put 69 procedure Put
51 (To : out String; 70 (To : out String;
52 Item : Enum; 71 Item : Enum;
53 Set : Type_Set := Default_Setting); 72 Set : Type_Set := Default_Setting)
73 with
74 Global => null;
54 75
55 end Ada.Text_IO.Enumeration_IO; 76 end Ada.Text_IO.Enumeration_IO;