1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
|
------------------------------------------------------------------------------
-- --
-- GNAT SYSTEM UTILITIES --
-- --
-- G N A T P S Y S --
-- --
-- B o d y --
-- --
-- $Revision: 1.1 $ --
-- --
-- Copyright (C) 1997 Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- ware Foundation; either version 2, or (at your option) any later ver- --
-- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
-- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
-- for more details. You should have received a copy of the GNU General --
-- Public License distributed with GNAT; see file COPYING. If not, write --
-- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
-- MA 02111-1307, USA. --
-- --
-- GNAT was originally developed by the GNAT team at New York University. --
-- It is now maintained by Ada Core Technologies Inc (http://www.gnat.com). --
-- --
------------------------------------------------------------------------------
-- Program to print out listing of System package with all constants
-- appearing explicitly.
with Ada.Text_IO;
with System; use System;
procedure GnatPsys is
procedure P (Item : String) renames Ada.Text_IO.Put_Line;
begin
P ("package System is");
P ("pragma Pure (System);");
P ("");
P (" type Name is (SYSTEM_NAME_GNAT);");
P (" System_Name : constant Name := SYSTEM_NAME_GNAT;");
P ("");
P (" -- System-Dependent Named Numbers");
P ("");
P (" Min_Int : constant := 2 **" &
Long_Long_Integer'Image (Long_Long_Integer'Size - 1) & ";");
P (" Max_Int : constant := 2 **" &
Long_Long_Integer'Image (Long_Long_Integer'Size - 1) & " - 1;");
P ("");
P (" Max_Binary_Modulus : constant := 2 **" &
Long_Long_Integer'Image (Long_Long_Integer'Size) & ";");
P (" Max_Nonbinary_Modulus : constant :=" &
Integer'Image (Integer'Last) & ";");
P ("");
P (" Max_Base_Digits : constant :=" &
Natural'Image (Long_Long_Float'Digits) & ";");
P (" Max_Digits : constant :=" &
Natural'Image (Long_Long_Float'Digits) & ";");
P ("");
P (" Max_Mantissa : constant := 63;");
P (" Fine_Delta : constant := 2.0 ** (-Max_Mantissa);");
P ("");
P (" Tick : constant :=" &
Duration'Image (Duration (Standard'Tick)) & ";");
P ("");
P (" -- Storage-related Declarations");
P ("");
P (" type Address is private;");
P (" Null_Address : constant Address;");
P ("");
P (" Storage_Unit : constant :=" &
Natural'Image (Standard'Storage_Unit) & ";");
P (" Word_Size : constant :=" &
Natural'Image (Standard'Word_Size) & ";");
P (" Memory_Size : constant := 2 **" &
Natural'Image (Standard'Address_Size) & ";");
P ("");
P (" -- Address comparison");
P ("");
P (" function ""<"" (Left, Right : Address) return Boolean;");
P (" function ""<="" (Left, Right : Address) return Boolean;");
P (" function "">"" (Left, Right : Address) return Boolean;");
P (" function "">="" (Left, Right : Address) return Boolean;");
P (" function ""="" (Left, Right : Address) return Boolean;");
P ("");
P (" pragma Import (Intrinsic, ""<""); ");
P (" pragma Import (Intrinsic, ""<="");");
P (" pragma Import (Intrinsic, "">""); ");
P (" pragma Import (Intrinsic, "">="");");
P (" pragma Import (Intrinsic, ""=""); ");
P ("");
P (" -- Other System-Dependent Declarations");
P ("");
P (" type Bit_Order is (High_Order_First, Low_Order_First);");
P (" Default_Bit_Order : constant Bit_Order;");
P ("");
P (" -- Priority-related Declarations (RM D.1)");
P ("");
P (" subtype Any_Priority is Integer range 0 .." &
Natural'Image (Standard'Max_Interrupt_Priority) & ";");
P ("");
P (" subtype Priority is Any_Priority range 0 .." &
Natural'Image (Standard'Max_Priority) & ";");
P ("");
P (" subtype Interrupt_Priority is Any_Priority range" &
Natural'Image (Standard'Max_Priority + 1) & " .." &
Natural'Image (Standard'Max_Interrupt_Priority) & ";");
P ("");
P (" Default_Priority : constant Priority :=" &
Natural'Image ((Priority'First + Priority'Last) / 2) & ";");
P ("");
P ("private");
P ("");
P (" type Address is mod Memory_Size; ");
P (" Null_Address : constant Address := 0; ");
P (" ");
P (" Default_Bit_Order : constant Bit_Order := " &
Bit_Order'Image (Bit_Order'Val (Standard'Default_Bit_Order)) & ";");
P ("");
P ("end System;");
end GnatPsys;
|
