Default_Iterator => Iterate,
Iterator_Element => Element_Type,
Aggregate => (Empty => Empty,
- Add_Unnamed => Append);
+ Add_Unnamed => Append),
+ Preelaborable_Initialization;
- pragma Preelaborable_Initialization (List);
-
- type Cursor is private;
- pragma Preelaborable_Initialization (Cursor);
+ type Cursor is private
+ with
+ Preelaborable_Initialization;
Empty_List : constant List;
Default_Iterator => Iterate,
Iterator_Element => Element_Type,
Aggregate => (Empty => Empty,
- Add_Unnamed => Append);
+ Add_Unnamed => Append),
+ Preelaborable_Initialization;
- pragma Preelaborable_Initialization (List);
-
- type Cursor is private;
- pragma Preelaborable_Initialization (Cursor);
+ type Cursor is private with
+ Preelaborable_Initialization;
Empty_List : constant List;
Default_Iterator => Iterate,
Iterator_Element => Element_Type,
Aggregate => (Empty => Empty,
- Add_Named => Insert);
+ Add_Named => Insert),
+ Preelaborable_Initialization;
- pragma Preelaborable_Initialization (Map);
-
- type Cursor is private;
- pragma Preelaborable_Initialization (Cursor);
+ type Cursor is private with
+ Preelaborable_Initialization;
Empty_Map : constant Map;
-- Map objects declared without an initialization expression are
Default_Iterator => Iterate,
Iterator_Element => Element_Type,
Aggregate => (Empty => Empty,
- Add_Unnamed => Include);
+ Add_Unnamed => Include),
+ Preelaborable_Initialization;
- pragma Preelaborable_Initialization (Set);
-
- type Cursor is private;
- pragma Preelaborable_Initialization (Cursor);
+ type Cursor is private
+ with Preelaborable_Initialization;
Empty_Set : constant Set;
-- Set objects declared without an initialization expression are
with Constant_Indexing => Constant_Reference,
Variable_Indexing => Reference,
Default_Iterator => Iterate,
- Iterator_Element => Element_Type;
+ Iterator_Element => Element_Type,
+ Preelaborable_Initialization;
- pragma Preelaborable_Initialization (Tree);
-
- type Cursor is private;
- pragma Preelaborable_Initialization (Cursor);
+ type Cursor is private
+ with Preelaborable_Initialization;
Empty_Tree : constant Tree;
Default_Iterator => Iterate,
Iterator_Element => Element_Type,
Aggregate => (Empty => Empty,
- Add_Named => Insert);
+ Add_Named => Insert),
+ Preelaborable_Initialization;
- pragma Preelaborable_Initialization (Map);
-
- type Cursor is private;
- pragma Preelaborable_Initialization (Cursor);
+ type Cursor is private
+ with Preelaborable_Initialization;
Empty_Map : constant Map;
type Set is tagged private
with Constant_Indexing => Constant_Reference,
Default_Iterator => Iterate,
- Iterator_Element => Element_Type;
+ Iterator_Element => Element_Type,
+ Preelaborable_Initialization;
- pragma Preelaborable_Initialization (Set);
-
- type Cursor is private;
- pragma Preelaborable_Initialization (Cursor);
+ type Cursor is private
+ with Preelaborable_Initialization;
Empty_Set : constant Set;
-- The default value for set objects declared without an explicit
Default_Iterator => Iterate,
Iterator_Element => Element_Type,
Aggregate => (Empty => Empty,
- Add_Unnamed => Include);
+ Add_Unnamed => Include),
+ Preelaborable_Initialization;
- pragma Preelaborable_Initialization (Set);
-
- type Cursor is private;
- pragma Preelaborable_Initialization (Cursor);
+ type Cursor is private with
+ Preelaborable_Initialization;
Empty_Set : constant Set;
function Empty return Set;
Default_Iterator => Iterate,
Iterator_Element => Element_Type,
Aggregate => (Empty => Empty,
- Add_Named => Insert);
+ Add_Named => Insert),
+ Preelaborable_Initialization;
- pragma Preelaborable_Initialization (Map);
-
- type Cursor is private;
- pragma Preelaborable_Initialization (Cursor);
+ type Cursor is private
+ with
+ Preelaborable_Initialization;
function "=" (Left, Right : Cursor) return Boolean;
-- The representation of cursors includes a component used to optimize
Default_Iterator => Iterate,
Iterator_Element => Element_Type,
Aggregate => (Empty => Empty,
- Add_Unnamed => Include);
+ Add_Unnamed => Include),
+ Preelaborable_Initialization;
- pragma Preelaborable_Initialization (Set);
-
- type Cursor is private;
- pragma Preelaborable_Initialization (Cursor);
+ type Cursor is private
+ with
+ Preelaborable_Initialization;
function "=" (Left, Right : Cursor) return Boolean;
-- The representation of cursors includes a component used to optimize
pragma Preelaborate (Indefinite_Holders);
pragma Remote_Types (Indefinite_Holders);
- type Holder is tagged private;
- pragma Preelaborable_Initialization (Holder);
+ type Holder is tagged private
+ with
+ Preelaborable_Initialization;
Empty_Holder : constant Holder;
pragma Preelaborate (Indefinite_Holders);
pragma Remote_Types (Indefinite_Holders);
- type Holder is tagged private;
- pragma Preelaborable_Initialization (Holder);
+ type Holder is tagged private
+ with
+ Preelaborable_Initialization;
Empty_Holder : constant Holder;
Aggregate => (Empty => Empty,
Add_Unnamed => Append,
New_Indexed => New_Vector,
- Assign_Indexed => Replace_Element);
+ Assign_Indexed => Replace_Element),
+ Preelaborable_Initialization;
- pragma Preelaborable_Initialization (Vector);
-
- type Cursor is private;
- pragma Preelaborable_Initialization (Cursor);
+ type Cursor is private
+ with
+ Preelaborable_Initialization;
Empty_Vector : constant Vector;
with Constant_Indexing => Constant_Reference,
Variable_Indexing => Reference,
Default_Iterator => Iterate,
- Iterator_Element => Element_Type;
- pragma Preelaborable_Initialization (Tree);
+ Iterator_Element => Element_Type,
+ Preelaborable_Initialization;
- type Cursor is private;
- pragma Preelaborable_Initialization (Cursor);
+ type Cursor is private
+ with Preelaborable_Initialization;
Empty_Tree : constant Tree;
Aggregate => (Empty => Empty,
Add_Unnamed => Append,
New_Indexed => New_Vector,
- Assign_Indexed => Replace_Element);
-
- pragma Preelaborable_Initialization (Vector);
+ Assign_Indexed => Replace_Element),
+ Preelaborable_Initialization;
-- Vector type, to be instantiated by users of this package. If an object
-- of type Vector is not otherwise initialized, it is initialized to
-- Empty_Vector.
- type Cursor is private;
- pragma Preelaborable_Initialization (Cursor);
+ type Cursor is private
+ with
+ Preelaborable_Initialization;
-- Cursor pointing into an instance of vector. If an object of type Cursor
-- is not otherwise initialized, it is initialized to No_Element
Default_Iterator => Iterate,
Iterator_Element => Element_Type,
Aggregate => (Empty => Empty,
- Add_Named => Insert);
- pragma Preelaborable_Initialization (Map);
+ Add_Named => Insert),
+ Preelaborable_Initialization;
- type Cursor is private;
- pragma Preelaborable_Initialization (Cursor);
+ type Cursor is private
+ with
+ Preelaborable_Initialization;
Empty_Map : constant Map;
type Set is tagged private
with Constant_Indexing => Constant_Reference,
Default_Iterator => Iterate,
- Iterator_Element => Element_Type;
+ Iterator_Element => Element_Type,
+ Preelaborable_Initialization;
- pragma Preelaborable_Initialization (Set);
-
- type Cursor is private;
- pragma Preelaborable_Initialization (Cursor);
+ type Cursor is private
+ with Preelaborable_Initialization;
Empty_Set : constant Set;
-- The default value for set objects declared without an explicit
Default_Iterator => Iterate,
Iterator_Element => Element_Type,
Aggregate => (Empty => Empty,
- Add_Unnamed => Include);
+ Add_Unnamed => Include),
+ Preelaborable_Initialization;
- pragma Preelaborable_Initialization (Set);
-
- type Cursor is private;
- pragma Preelaborable_Initialization (Cursor);
+ type Cursor is private
+ with Preelaborable_Initialization;
function Has_Element (Position : Cursor) return Boolean;
package Ada.Containers.Restricted_Doubly_Linked_Lists is
pragma Pure;
- type List (Capacity : Count_Type) is tagged limited private;
- pragma Preelaborable_Initialization (List);
+ type List (Capacity : Count_Type) is tagged limited private
+ with Preelaborable_Initialization;
- type Cursor is private;
- pragma Preelaborable_Initialization (Cursor);
+ type Cursor is private
+ with Preelaborable_Initialization;
Empty_List : constant List;
-- The default value for list objects declared without an explicit
pragma Preelaborate;
-- In accordance with Ada 2005 AI-362.
- type Exception_Id is private;
- pragma Preelaborable_Initialization (Exception_Id);
+ type Exception_Id is private
+ with Preelaborable_Initialization;
Null_Id : constant Exception_Id;
- type Exception_Occurrence is limited private;
- pragma Preelaborable_Initialization (Exception_Occurrence);
+ type Exception_Occurrence is limited private
+ with Preelaborable_Initialization;
type Exception_Occurrence_Access is access all Exception_Occurrence;
package Ada.Finalization is
pragma Pure;
- type Controlled is abstract tagged private;
- pragma Preelaborable_Initialization (Controlled);
+ type Controlled is abstract tagged private
+ with Preelaborable_Initialization;
procedure Initialize (Object : in out Controlled) is null;
procedure Adjust (Object : in out Controlled) is null;
procedure Finalize (Object : in out Controlled) is null;
- type Limited_Controlled is abstract tagged limited private;
- pragma Preelaborable_Initialization (Limited_Controlled);
+ type Limited_Controlled is abstract tagged limited private
+ with Preelaborable_Initialization;
procedure Initialize (Object : in out Limited_Controlled) is null;
procedure Finalize (Object : in out Limited_Controlled) is null;
pragma Complex_Representation (Complex);
- type Imaginary is private;
- pragma Preelaborable_Initialization (Imaginary);
+ type Imaginary is private
+ with Preelaborable_Initialization;
i : constant Imaginary;
j : constant Imaginary;
Max_Length : constant Positive := Max;
- type Bounded_String is private;
- pragma Preelaborable_Initialization (Bounded_String);
+ type Bounded_String is private
+ with
+ Preelaborable_Initialization;
Null_Bounded_String : constant Bounded_String;
-- Null_Bounded_String represents the null string. If an object of type
package Ada.Streams is
pragma Pure;
- type Root_Stream_Type is abstract tagged limited private;
- pragma Preelaborable_Initialization (Root_Stream_Type);
+ type Root_Stream_Type is abstract tagged limited private
+ with Preelaborable_Initialization;
type Stream_Element is mod 2 ** Standard'Storage_Unit;
-- Character Set Declarations --
--------------------------------
- type Character_Set is private;
- pragma Preelaborable_Initialization (Character_Set);
+ type Character_Set is private
+ with Preelaborable_Initialization;
-- An object of type Character_Set represents a set of characters.
Null_Set : constant Character_Set;
-- Character Mapping Declarations --
------------------------------------
- type Character_Mapping is private;
- pragma Preelaborable_Initialization (Character_Mapping);
+ type Character_Mapping is private
+ with Preelaborable_Initialization;
-- An object of type Character_Mapping represents a Character-to-Character
-- mapping.
subtype String_1 is String (1 .. <>) with Ghost; -- Type used in contracts
type Unbounded_String is private with
- Default_Initial_Condition => Length (Unbounded_String) = 0;
- pragma Preelaborable_Initialization (Unbounded_String);
+ Default_Initial_Condition => Length (Unbounded_String) = 0,
+ Preelaborable_Initialization;
Null_Unbounded_String : constant Unbounded_String;
-- Represents the null String. If an object of type Unbounded_String is not
subtype String_1 is String (1 .. <>) with Ghost; -- Type used in contracts
type Unbounded_String is private with
- Default_Initial_Condition => Length (Unbounded_String) = 0;
- pragma Preelaborable_Initialization (Unbounded_String);
+ Default_Initial_Condition => Length (Unbounded_String) = 0,
+ Preelaborable_Initialization;
Null_Unbounded_String : constant Unbounded_String;
type Stream_Access is access all Root_Stream_Type'Class;
- type File_Type is limited private with Default_Initial_Condition;
- pragma Preelaborable_Initialization (File_Type);
+ type File_Type is limited private
+ with Default_Initial_Condition,
+ Preelaborable_Initialization;
type File_Mode is (In_File, Out_File, Append_File);
Max_Length : constant Positive := Max;
- type Bounded_Wide_String is private;
- pragma Preelaborable_Initialization (Bounded_Wide_String);
+ type Bounded_Wide_String is private
+ with Preelaborable_Initialization;
Null_Bounded_Wide_String : constant Bounded_Wide_String;
-- Wide Character Set Declarations --
-------------------------------------
- type Wide_Character_Set is private;
- pragma Preelaborable_Initialization (Wide_Character_Set);
+ type Wide_Character_Set is private
+ with Preelaborable_Initialization;
-- Representation for a set of Wide_Character values:
Null_Set : constant Wide_Character_Set;
-- Wide Character Mapping Declarations --
-----------------------------------------
- type Wide_Character_Mapping is private;
- pragma Preelaborable_Initialization (Wide_Character_Mapping);
+ type Wide_Character_Mapping is private
+ with Preelaborable_Initialization;
-- Representation for a wide character to wide character mapping:
function Value
package Ada.Strings.Wide_Unbounded is
pragma Preelaborate;
- type Unbounded_Wide_String is private;
- pragma Preelaborable_Initialization (Unbounded_Wide_String);
+ type Unbounded_Wide_String is private
+ with Preelaborable_Initialization;
Null_Unbounded_Wide_String : constant Unbounded_Wide_String;
package Ada.Strings.Wide_Unbounded is
pragma Preelaborate;
- type Unbounded_Wide_String is private;
- pragma Preelaborable_Initialization (Unbounded_Wide_String);
+ type Unbounded_Wide_String is private
+ with Preelaborable_Initialization;
Null_Unbounded_Wide_String : constant Unbounded_Wide_String;
Max_Length : constant Positive := Max;
- type Bounded_Wide_Wide_String is private;
- pragma Preelaborable_Initialization (Bounded_Wide_Wide_String);
+ type Bounded_Wide_Wide_String is private
+ with Preelaborable_Initialization;
Null_Bounded_Wide_Wide_String : constant Bounded_Wide_Wide_String;
-- Wide_Wide_Character Set Declarations --
------------------------------------------
- type Wide_Wide_Character_Set is private;
- pragma Preelaborable_Initialization (Wide_Wide_Character_Set);
+ type Wide_Wide_Character_Set is private
+ with Preelaborable_Initialization;
-- Representation for a set of Wide_Wide_Character values:
Null_Set : constant Wide_Wide_Character_Set;
-- Wide_Wide_Character Mapping Declarations --
----------------------------------------------
- type Wide_Wide_Character_Mapping is private;
- pragma Preelaborable_Initialization (Wide_Wide_Character_Mapping);
+ type Wide_Wide_Character_Mapping is private
+ with Preelaborable_Initialization;
-- Representation for a wide character to wide character mapping:
function Value
package Ada.Strings.Wide_Wide_Unbounded is
pragma Preelaborate;
- type Unbounded_Wide_Wide_String is private;
- pragma Preelaborable_Initialization (Unbounded_Wide_Wide_String);
+ type Unbounded_Wide_Wide_String is private
+ with Preelaborable_Initialization;
Null_Unbounded_Wide_Wide_String : constant Unbounded_Wide_Wide_String;
package Ada.Strings.Wide_Wide_Unbounded is
pragma Preelaborate;
- type Unbounded_Wide_Wide_String is private;
- pragma Preelaborable_Initialization (Unbounded_Wide_Wide_String);
+ type Unbounded_Wide_Wide_String is private
+ with Preelaborable_Initialization;
Null_Unbounded_Wide_Wide_String : constant Unbounded_Wide_Wide_String;
pragma Preelaborate;
-- In accordance with Ada 2005 AI-362
- type Tag is private;
- pragma Preelaborable_Initialization (Tag);
+ type Tag is private
+ with Preelaborable_Initialization;
No_Tag : constant Tag;
-- coming from who knows where, it seems a good idea to turn off any
-- strict aliasing assumptions for this type.
- type chars_ptr is private;
- pragma Preelaborable_Initialization (chars_ptr);
+ type chars_ptr is private
+ with
+ Preelaborable_Initialization;
type chars_ptr_array is array (size_t range <>) of aliased chars_ptr;
with Pure
is
type Root_Storage_Pool is abstract
- new Ada.Finalization.Limited_Controlled with private;
- pragma Preelaborable_Initialization (Root_Storage_Pool);
+ new Ada.Finalization.Limited_Controlled with private
+ with
+ Preelaborable_Initialization;
procedure Allocate
(Pool : in out Root_Storage_Pool;
pragma Preelaborate;
type Root_Storage_Pool_With_Subpools is abstract
- new Root_Storage_Pool with private;
- pragma Preelaborable_Initialization (Root_Storage_Pool_With_Subpools);
+ new Root_Storage_Pool with private
+ with
+ Preelaborable_Initialization;
-- The base for all implementations of Storage_Pool_With_Subpools. This
-- type is Limited_Controlled by derivation. To use subpools, an access
-- type must be associated with an implementation descending from type
-- Root_Storage_Pool_With_Subpools.
- type Root_Subpool is abstract tagged limited private;
- pragma Preelaborable_Initialization (Root_Subpool);
+ type Root_Subpool is abstract tagged limited private
+ with
+ Preelaborable_Initialization;
-- The base for all implementations of Subpool. Objects of this type are
-- managed by the pool_with_subpools.
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := Standard'Storage_Unit;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Storage-related Declarations
- type Address is private;
- pragma Preelaborable_Initialization (Address);
+ type Address is private
+ with Preelaborable_Initialization;
Null_Address : constant Address;
Storage_Unit : constant := 8;
-- Test for type Address is private
- elsif Looking_At_Skip (" type Address is private;") then
+ elsif Looking_At_Skip (" type Address is private") then
Opt.Address_Is_Private := True;
goto Line_Loop_Continue;
projects / thirdparty / gcc.git / commitdiff
