111
|
1 ------------------------------------------------------------------------------
|
|
2 -- --
|
|
3 -- GNAT RUN-TIME COMPONENTS --
|
|
4 -- --
|
|
5 -- A D A . W I D E _ T E X T _ I O . F L O A T _ I O --
|
|
6 -- --
|
|
7 -- S p e c --
|
|
8 -- --
|
|
9 -- This specification is derived from the Ada Reference Manual for use with --
|
|
10 -- GNAT. In accordance with the copyright of that document, you can freely --
|
|
11 -- copy and modify this specification, provided that if you redistribute a --
|
|
12 -- modified version, any changes that you have made are clearly indicated. --
|
|
13 -- --
|
|
14 ------------------------------------------------------------------------------
|
|
15
|
|
16 -- In Ada 95, the package Ada.Wide_Text_IO.Float_IO is a subpackage of
|
|
17 -- Wide_Text_IO. In GNAT we make it a child package to avoid loading
|
|
18 -- the necessary code if Float_IO is not instantiated. See the routine
|
|
19 -- Rtsfind.Check_Text_IO_Special_Unit for a description of how we patch up
|
|
20 -- the difference in semantics so that it is invisible to the Ada programmer.
|
|
21
|
|
22 private generic
|
|
23 type Num is digits <>;
|
|
24
|
|
25 package Ada.Wide_Text_IO.Float_IO is
|
|
26
|
|
27 Default_Fore : Field := 2;
|
|
28 Default_Aft : Field := Num'Digits - 1;
|
|
29 Default_Exp : Field := 3;
|
|
30
|
|
31 procedure Get
|
|
32 (File : File_Type;
|
|
33 Item : out Num;
|
|
34 Width : Field := 0);
|
|
35
|
|
36 procedure Get
|
|
37 (Item : out Num;
|
|
38 Width : Field := 0);
|
|
39
|
|
40 procedure Put
|
|
41 (File : File_Type;
|
|
42 Item : Num;
|
|
43 Fore : Field := Default_Fore;
|
|
44 Aft : Field := Default_Aft;
|
|
45 Exp : Field := Default_Exp);
|
|
46
|
|
47 procedure Put
|
|
48 (Item : Num;
|
|
49 Fore : Field := Default_Fore;
|
|
50 Aft : Field := Default_Aft;
|
|
51 Exp : Field := Default_Exp);
|
|
52
|
|
53 procedure Get
|
|
54 (From : Wide_String;
|
|
55 Item : out Num;
|
|
56 Last : out Positive);
|
|
57
|
|
58 procedure Put
|
|
59 (To : out Wide_String;
|
|
60 Item : Num;
|
|
61 Aft : Field := Default_Aft;
|
|
62 Exp : Field := Default_Exp);
|
|
63
|
|
64 end Ada.Wide_Text_IO.Float_IO;
|