1 ------------------------------------------------------------------------------
3 -- GNAT RUN-TIME COMPONENTS --
8 -- (VxWorks/LEVEL B Version PPC) --
10 -- Copyright (C) 1992-2003 Free Software Foundation, Inc. --
12 -- This specification is derived from the Ada Reference Manual for use with --
13 -- GNAT. The copyright notice above, and the license provisions that follow --
14 -- apply solely to the contents of the part following the private keyword. --
16 -- GNAT is free software; you can redistribute it and/or modify it under --
17 -- terms of the GNU General Public License as published by the Free Soft- --
18 -- ware Foundation; either version 2, or (at your option) any later ver- --
19 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
20 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
21 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
22 -- for more details. You should have received a copy of the GNU General --
23 -- Public License distributed with GNAT; see file COPYING. If not, write --
24 -- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
25 -- MA 02111-1307, USA. --
27 -- As a special exception, if other files instantiate generics from this --
28 -- unit, or you link this unit with other files to produce an executable, --
29 -- this unit does not by itself cause the resulting executable to be --
30 -- covered by the GNU General Public License. This exception does not --
31 -- however invalidate any other reasons why the executable file might be --
32 -- covered by the GNU Public License. --
34 -- GNAT was originally developed by the GNAT team at New York University. --
35 -- Extensive contributions were provided by Ada Core Technologies Inc. --
37 ------------------------------------------------------------------------------
39 -- Level B certifiable VxWorks version
41 pragma Restrictions (No_Finalization);
42 pragma Restrictions (No_Exception_Registration);
43 pragma Restrictions (No_Abort_Statements);
45 pragma Restrictions (Max_Asynchronous_Select_Nesting => 0);
49 -- Note that we take advantage of the implementation permission to
50 -- make this unit Pure instead of Preelaborable, see RM 13.7(36)
52 type Name is (SYSTEM_NAME_GNAT);
53 System_Name : constant Name := SYSTEM_NAME_GNAT;
55 -- System-Dependent Named Numbers
57 Min_Int : constant := Long_Long_Integer'First;
58 Max_Int : constant := Long_Long_Integer'Last;
60 Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
61 Max_Nonbinary_Modulus : constant := Integer'Last;
63 Max_Base_Digits : constant := Long_Long_Float'Digits;
64 Max_Digits : constant := Long_Long_Float'Digits;
66 Max_Mantissa : constant := 63;
67 Fine_Delta : constant := 2.0 ** (-Max_Mantissa);
69 Tick : constant := 1.0 / 60.0;
71 -- Storage-related Declarations
73 type Address is private;
74 Null_Address : constant Address;
76 Storage_Unit : constant := 8;
77 Word_Size : constant := 32;
78 Memory_Size : constant := 2 ** 32;
82 function "<" (Left, Right : Address) return Boolean;
83 function "<=" (Left, Right : Address) return Boolean;
84 function ">" (Left, Right : Address) return Boolean;
85 function ">=" (Left, Right : Address) return Boolean;
86 function "=" (Left, Right : Address) return Boolean;
88 pragma Import (Intrinsic, "<");
89 pragma Import (Intrinsic, "<=");
90 pragma Import (Intrinsic, ">");
91 pragma Import (Intrinsic, ">=");
92 pragma Import (Intrinsic, "=");
94 -- Other System-Dependent Declarations
96 type Bit_Order is (High_Order_First, Low_Order_First);
97 Default_Bit_Order : constant Bit_Order := High_Order_First;
99 -- Priority-related Declarations (RM D.1)
101 -- 256 is reserved for the VxWorks kernel
102 -- 248 - 255 correspond to hardware interrupt levels 0 .. 7
103 -- 247 is a catchall default "interrupt" priority for signals,
104 -- allowing higher priority than normal tasks, but lower than
105 -- hardware priority levels. Protected Object ceilings can
106 -- override these values.
107 -- 246 is used by the Interrupt_Manager task
109 Max_Priority : constant Positive := 245;
110 Max_Interrupt_Priority : constant Positive := 255;
112 subtype Any_Priority is Integer range 0 .. 255;
113 subtype Priority is Any_Priority range 0 .. 245;
114 subtype Interrupt_Priority is Any_Priority range 246 .. 255;
116 Default_Priority : constant Priority := 122;
120 type Address is mod Memory_Size;
121 Null_Address : constant Address := 0;
123 --------------------------------------
124 -- System Implementation Parameters --
125 --------------------------------------
127 -- These parameters provide information about the target that is used
128 -- by the compiler. They are in the private part of System, where they
129 -- can be accessed using the special circuitry in the Targparm unit
130 -- whose source should be consulted for more detailed descriptions
131 -- of the individual switch values.
133 AAMP : constant Boolean := False;
134 Backend_Divide_Checks : constant Boolean := False;
135 Backend_Overflow_Checks : constant Boolean := False;
136 Command_Line_Args : constant Boolean := False;
137 Configurable_Run_Time : constant Boolean := True;
138 Denorm : constant Boolean := True;
139 Duration_32_Bits : constant Boolean := True;
140 Exit_Status_Supported : constant Boolean := True;
141 Fractional_Fixed_Ops : constant Boolean := False;
142 Frontend_Layout : constant Boolean := False;
143 Functions_Return_By_DSP : constant Boolean := False;
144 Machine_Overflows : constant Boolean := False;
145 Machine_Rounds : constant Boolean := True;
146 OpenVMS : constant Boolean := False;
147 Signed_Zeros : constant Boolean := True;
148 Stack_Check_Default : constant Boolean := False;
149 Stack_Check_Probes : constant Boolean := False;
150 Support_64_Bit_Divides : constant Boolean := True;
151 Support_Aggregates : constant Boolean := True;
152 Support_Composite_Assign : constant Boolean := True;
153 Support_Composite_Compare : constant Boolean := True;
154 Support_Long_Shifts : constant Boolean := True;
155 Suppress_Standard_Library : constant Boolean := False;
156 Use_Ada_Main_Program_Name : constant Boolean := True;
157 ZCX_By_Default : constant Boolean := False;
158 GCC_ZCX_Support : constant Boolean := False;
159 Front_End_ZCX_Support : constant Boolean := False;
161 -- Obsolete entries, to be removed eventually (bootstrap issues!)
163 High_Integrity_Mode : constant Boolean := True;
164 Long_Shifts_Inlined : constant Boolean := False;