a-except.adb: Minor comment clarification.
2014-07-29 Robert Dewar <dewar@adacore.com> * a-except.adb: Minor comment clarification. 2014-07-29 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Complete list of implementation attributes. * snames.ads-tmpl: Clean up list of impl-defined attributes. From-SVN: r213192
This commit is contained in:
Robert Dewar
Arnaud Charlet
parent
f9e333abc4
commit
c93af80704
|
|
@ -1,3 +1,12 @@
|
|||
2014-07-29 Robert Dewar <dewar@adacore.com>
|
||||
|
||||
* a-except.adb: Minor comment clarification.
|
||||
|
||||
2014-07-29 Robert Dewar <dewar@adacore.com>
|
||||
|
||||
* gnat_rm.texi: Complete list of implementation attributes.
|
||||
* snames.ads-tmpl: Clean up list of impl-defined attributes.
|
||||
|
||||
2014-07-29 Hristian Kirtchev <kirtchev@adacore.com>
|
||||
|
||||
* freeze.adb (Freeze_Record_Type): Perform various
|
||||
|
|
|
|||
|
|
@ -371,6 +371,10 @@ package body Ada.Exceptions is
|
|||
-- which uses the exceptmsg.awk script to generate require exception data,
|
||||
-- and this script requires and expects that this ordering rule holds.
|
||||
|
||||
-- The one exception is that Rcheck_PE_Finalize_Raise_Exception is at the
|
||||
-- end of the list (for reasons that are documented with this routine). The
|
||||
-- script (exceptmsg.awk) has this special exception built in.
|
||||
|
||||
procedure Rcheck_CE_Access_Check
|
||||
(File : System.Address; Line : Integer);
|
||||
procedure Rcheck_CE_Null_Access_Parameter
|
||||
|
|
|
|||
|
|
@ -340,11 +340,14 @@ Implementation Defined Attributes
|
|||
* Attribute Asm_Input::
|
||||
* Attribute Asm_Output::
|
||||
* Attribute AST_Entry::
|
||||
* Attribute Atomic_Always_Lock_Free::
|
||||
* Attribute Bit::
|
||||
* Attribute Bit_Position::
|
||||
* Attribute Compiler_Version::
|
||||
* Attribute Code_Address::
|
||||
* Attribute Compiler_Version::
|
||||
* Attribute Constant_Indexing::
|
||||
* Attribute Default_Bit_Order::
|
||||
* Attribute Default_Iterator::
|
||||
* Attribute Descriptor_Size::
|
||||
* Attribute Elaborated::
|
||||
* Attribute Elab_Body::
|
||||
|
|
@ -355,14 +358,20 @@ Implementation Defined Attributes
|
|||
* Attribute Enum_Rep::
|
||||
* Attribute Enum_Val::
|
||||
* Attribute Epsilon::
|
||||
* Attribute Fast_Math::
|
||||
* Attribute Fixed_Value::
|
||||
* Attribute From_Any::
|
||||
* Attribute Has_Access_Values::
|
||||
* Attribute Has_Discriminants::
|
||||
* Attribute Img::
|
||||
* Attribute Implicit_Dereference::
|
||||
* Attribute Integer_Value::
|
||||
* Attribute Invalid_Value::
|
||||
* Attribute Iterator_Element::
|
||||
* Attribute Iterable::
|
||||
* Attribute Large::
|
||||
* Attribute Library_Level::
|
||||
* Attribute Lock_Free::
|
||||
* Attribute Loop_Entry::
|
||||
* Attribute Machine_Size::
|
||||
* Attribute Mantissa::
|
||||
|
|
@ -370,6 +379,7 @@ Implementation Defined Attributes
|
|||
* Attribute Mechanism_Code::
|
||||
* Attribute Null_Parameter::
|
||||
* Attribute Object_Size::
|
||||
* Attribute Old::
|
||||
* Attribute Passed_By_Reference::
|
||||
* Attribute Pool_Address::
|
||||
* Attribute Range_Length::
|
||||
|
|
@ -378,6 +388,7 @@ Implementation Defined Attributes
|
|||
* Attribute Result::
|
||||
* Attribute Safe_Emax::
|
||||
* Attribute Safe_Large::
|
||||
* Attribute Safe_Small::
|
||||
* Attribute Scalar_Storage_Order::
|
||||
* Attribute Simple_Storage_Pool::
|
||||
* Attribute Small::
|
||||
|
|
@ -385,16 +396,18 @@ Implementation Defined Attributes
|
|||
* Attribute Stub_Type::
|
||||
* Attribute System_Allocator_Alignment::
|
||||
* Attribute Target_Name::
|
||||
* Attribute Tick::
|
||||
* Attribute To_Address::
|
||||
* Attribute To_Any::
|
||||
* Attribute Type_Class::
|
||||
* Attribute Type_Key::
|
||||
* Attribute TypeCode::
|
||||
* Attribute UET_Address::
|
||||
* Attribute Unconstrained_Array::
|
||||
* Attribute Universal_Literal_String::
|
||||
* Attribute Unrestricted_Access::
|
||||
* Attribute Update::
|
||||
* Attribute Valid_Scalars::
|
||||
* Attribute VADS_Size::
|
||||
* Attribute Valid_Scalars::
|
||||
* Attribute Value_Size::
|
||||
* Attribute Wchar_T_Size::
|
||||
* Attribute Word_Size::
|
||||
|
|
@ -8501,11 +8514,14 @@ consideration, you should minimize the use of these attributes.
|
|||
* Attribute Asm_Input::
|
||||
* Attribute Asm_Output::
|
||||
* Attribute AST_Entry::
|
||||
* Attribute Atomic_Always_Lock_Free::
|
||||
* Attribute Bit::
|
||||
* Attribute Bit_Position::
|
||||
* Attribute Compiler_Version::
|
||||
* Attribute Code_Address::
|
||||
* Attribute Compiler_Version::
|
||||
* Attribute Constant_Indexing::
|
||||
* Attribute Default_Bit_Order::
|
||||
* Attribute Default_Iterator::
|
||||
* Attribute Descriptor_Size::
|
||||
* Attribute Elaborated::
|
||||
* Attribute Elab_Body::
|
||||
|
|
@ -8516,14 +8532,20 @@ consideration, you should minimize the use of these attributes.
|
|||
* Attribute Enum_Rep::
|
||||
* Attribute Enum_Val::
|
||||
* Attribute Epsilon::
|
||||
* Attribute Fast_Math::
|
||||
* Attribute Fixed_Value::
|
||||
* Attribute From_Any::
|
||||
* Attribute Has_Access_Values::
|
||||
* Attribute Has_Discriminants::
|
||||
* Attribute Img::
|
||||
* Attribute Implicit_Dereference::
|
||||
* Attribute Integer_Value::
|
||||
* Attribute Invalid_Value::
|
||||
* Attribute Iterator_Element::
|
||||
* Attribute Iterable::
|
||||
* Attribute Large::
|
||||
* Attribute Library_Level::
|
||||
* Attribute Lock_Free::
|
||||
* Attribute Loop_Entry::
|
||||
* Attribute Machine_Size::
|
||||
* Attribute Mantissa::
|
||||
|
|
@ -8531,6 +8553,7 @@ consideration, you should minimize the use of these attributes.
|
|||
* Attribute Mechanism_Code::
|
||||
* Attribute Null_Parameter::
|
||||
* Attribute Object_Size::
|
||||
* Attribute Old::
|
||||
* Attribute Passed_By_Reference::
|
||||
* Attribute Pool_Address::
|
||||
* Attribute Range_Length::
|
||||
|
|
@ -8539,6 +8562,7 @@ consideration, you should minimize the use of these attributes.
|
|||
* Attribute Result::
|
||||
* Attribute Safe_Emax::
|
||||
* Attribute Safe_Large::
|
||||
* Attribute Safe_Small::
|
||||
* Attribute Scalar_Storage_Order::
|
||||
* Attribute Simple_Storage_Pool::
|
||||
* Attribute Small::
|
||||
|
|
@ -8546,16 +8570,18 @@ consideration, you should minimize the use of these attributes.
|
|||
* Attribute Stub_Type::
|
||||
* Attribute System_Allocator_Alignment::
|
||||
* Attribute Target_Name::
|
||||
* Attribute Tick::
|
||||
* Attribute To_Address::
|
||||
* Attribute To_Any::
|
||||
* Attribute Type_Class::
|
||||
* Attribute Type_Key::
|
||||
* Attribute TypeCode::
|
||||
* Attribute UET_Address::
|
||||
* Attribute Unconstrained_Array::
|
||||
* Attribute Universal_Literal_String::
|
||||
* Attribute Unrestricted_Access::
|
||||
* Attribute Update::
|
||||
* Attribute Valid_Scalars::
|
||||
* Attribute VADS_Size::
|
||||
* Attribute Valid_Scalars::
|
||||
* Attribute Value_Size::
|
||||
* Attribute Wchar_T_Size::
|
||||
* Attribute Word_Size::
|
||||
|
|
@ -8626,6 +8652,12 @@ pragma @code{Extend_System (Aux_DEC)}). This value enables the given entry to
|
|||
be called when an AST occurs. For further details, refer to the @cite{DEC Ada
|
||||
Language Reference Manual}, section 9.12a.
|
||||
|
||||
@node Attribute Atomic_Always_Lock_Free
|
||||
@unnumberedsec Attribute Atomic_Always_Lock_Free
|
||||
@findex Atomic_Always_Lock_Free
|
||||
@noindent
|
||||
PLEASE ADD DOCUMENTATION HERE???
|
||||
|
||||
@node Attribute Bit
|
||||
@unnumberedsec Attribute Bit
|
||||
@findex Bit
|
||||
|
|
@ -8713,6 +8745,21 @@ generated code of the specified subprogram, which may or may not be
|
|||
the same value as is returned by the corresponding @code{'Address}
|
||||
attribute.
|
||||
|
||||
@node Attribute Compiler_Version
|
||||
@unnumberedsec Attribute Compiler_Version
|
||||
@findex Compiler_Version
|
||||
@noindent
|
||||
@code{Standard'Compiler_Version} (@code{Standard} is the only allowed
|
||||
prefix) yields a static string identifying the version of the compiler
|
||||
being used to compile the unit containing the attribute reference. A
|
||||
typical result would be something like "@value{EDITION} @value{gnat_version} (20090221)".
|
||||
|
||||
@node Attribute Constant_Indexing
|
||||
@unnumberedsec Attribute Constant_Indexing
|
||||
@findex Constant_Indexing
|
||||
@noindent
|
||||
PLEASE ADD DOCUMENTATION HERE???
|
||||
|
||||
@node Attribute Default_Bit_Order
|
||||
@unnumberedsec Attribute Default_Bit_Order
|
||||
@cindex Big endian
|
||||
|
|
@ -8725,6 +8772,12 @@ as a @code{Pos} value (0 for @code{High_Order_First}, 1 for
|
|||
@code{Low_Order_First}). This is used to construct the definition of
|
||||
@code{Default_Bit_Order} in package @code{System}.
|
||||
|
||||
@node Attribute Default_Iterator
|
||||
@unnumberedsec Attribute Default_Iterator
|
||||
@findex Default_Iterator
|
||||
@noindent
|
||||
PLEASE ADD DOCUMENTATION HERE???
|
||||
|
||||
@node Attribute Descriptor_Size
|
||||
@unnumberedsec Attribute Descriptor_Size
|
||||
@cindex Descriptor
|
||||
|
|
@ -8893,6 +8946,12 @@ The @code{Epsilon} attribute is provided for compatibility with Ada 83. See
|
|||
the Ada 83 reference manual for an exact description of the semantics of
|
||||
this attribute.
|
||||
|
||||
@node Attribute Fast_Math
|
||||
@unnumberedsec Attribute Fast_Math
|
||||
@findex Fast_Math
|
||||
@noindent
|
||||
PLEASE ADD DOCUMENTATION HERE???
|
||||
|
||||
@node Attribute Fixed_Value
|
||||
@unnumberedsec Attribute Fixed_Value
|
||||
@findex Fixed_Value
|
||||
|
|
@ -8920,6 +8979,12 @@ that there are full range checks, to ensure that the result is in range.
|
|||
This attribute is primarily intended for use in implementation of the
|
||||
input-output functions for fixed-point values.
|
||||
|
||||
@node Attribute From_Any
|
||||
@unnumberedsec Attribute From_Any
|
||||
@findex From_Any
|
||||
@noindent
|
||||
PLEASE ADD DOCUMENTATION HERE???
|
||||
|
||||
@node Attribute Has_Access_Values
|
||||
@unnumberedsec Attribute Has_Access_Values
|
||||
@cindex Access values, testing for
|
||||
|
|
@ -8973,6 +9038,12 @@ that returns the appropriate string when called. This means that
|
|||
@code{X'Img} can be renamed as a function-returning-string, or used
|
||||
in an instantiation as a function parameter.
|
||||
|
||||
@node Attribute Implicit_Dereference
|
||||
@unnumberedsec Attribute Implicit_Dereference
|
||||
@findex Implicit_Dereference
|
||||
@noindent
|
||||
PLEASE ADD DOCUMENTATION HERE???
|
||||
|
||||
@node Attribute Integer_Value
|
||||
@unnumberedsec Attribute Integer_Value
|
||||
@findex Integer_Value
|
||||
|
|
@ -9012,6 +9083,18 @@ uninitialized value of the type if pragma Initialize_Scalars is used,
|
|||
including the ability to modify the value with the binder -Sxx flag and
|
||||
relevant environment variables at run time.
|
||||
|
||||
@node Attribute Iterator_Element
|
||||
@unnumberedsec Attribute Iterator_Element
|
||||
@findex Iterator_Element
|
||||
@noindent
|
||||
PLEASE ADD DOCUMENTATION HERE???
|
||||
|
||||
@node Attribute Iterable
|
||||
@unnumberedsec Attribute Iterable
|
||||
@findex Iterable
|
||||
@noindent
|
||||
PLEASE ADD DOCUMENTATION HERE???
|
||||
|
||||
@node Attribute Large
|
||||
@unnumberedsec Attribute Large
|
||||
@cindex Ada 83 attributes
|
||||
|
|
@ -9045,6 +9128,12 @@ package Gen is
|
|||
end Gen;
|
||||
@end smallexample
|
||||
|
||||
@node Attribute Lock_Free
|
||||
@unnumberedsec Attribute Lock_Free
|
||||
@findex Lock_Free
|
||||
@noindent
|
||||
PLEASE ADD DOCUMENTATION HERE???
|
||||
|
||||
@node Attribute Loop_Entry
|
||||
@unnumberedsec Attribute Loop_Entry
|
||||
@findex Loop_Entry
|
||||
|
|
@ -9229,6 +9318,12 @@ generates the diagnostic shown above.
|
|||
Similar additional checks are performed in other contexts requiring
|
||||
statically matching subtypes.
|
||||
|
||||
@node Attribute Old
|
||||
@unnumberedsec Attribute Old
|
||||
@findex Old
|
||||
@noindent
|
||||
PLEASE ADD DOCUMENTATION HERE???
|
||||
|
||||
@node Attribute Passed_By_Reference
|
||||
@unnumberedsec Attribute Passed_By_Reference
|
||||
@cindex Parameters, when passed by reference
|
||||
|
|
@ -9371,6 +9466,15 @@ The @code{Safe_Large} attribute is provided for compatibility with Ada 83. See
|
|||
the Ada 83 reference manual for an exact description of the semantics of
|
||||
this attribute.
|
||||
|
||||
@node Attribute Safe_Small
|
||||
@unnumberedsec Attribute Safe_Small
|
||||
@cindex Ada 83 attributes
|
||||
@findex Safe_Small
|
||||
@noindent
|
||||
The @code{Safe_Small} attribute is provided for compatibility with Ada 83. See
|
||||
the Ada 83 reference manual for an exact description of the semantics of
|
||||
this attribute.
|
||||
|
||||
@node Attribute Scalar_Storage_Order
|
||||
@unnumberedsec Attribute Scalar_Storage_Order
|
||||
@cindex Endianness
|
||||
|
|
@ -9597,13 +9701,6 @@ for the current compilation. For GCC implementations, this is the
|
|||
standard gcc target name without the terminating slash (for
|
||||
example, GNAT 5.0 on windows yields "i586-pc-mingw32msv").
|
||||
|
||||
@node Attribute Tick
|
||||
@unnumberedsec Attribute Tick
|
||||
@findex Tick
|
||||
@noindent
|
||||
@code{Standard'Tick} (@code{Standard} is the only permissible prefix)
|
||||
provides the same value as @code{System.Tick},
|
||||
|
||||
@node Attribute To_Address
|
||||
@unnumberedsec Attribute To_Address
|
||||
@findex To_Address
|
||||
|
|
@ -9624,6 +9721,12 @@ argument is static). The argument must be in the range
|
|||
modular manner (e.g. -1 means the same as 16#FFFF_FFFF# on
|
||||
a 32 bits machine).
|
||||
|
||||
@node Attribute To_Any
|
||||
@unnumberedsec Attribute To_Any
|
||||
@findex To_Any
|
||||
@noindent
|
||||
PLEASE ADD DOCUMENTATION HERE???
|
||||
|
||||
@node Attribute Type_Class
|
||||
@unnumberedsec Attribute Type_Class
|
||||
@findex Type_Class
|
||||
|
|
@ -9652,6 +9755,18 @@ Protected types yield the value @code{Type_Class_Task}, which thus
|
|||
applies to all concurrent types. This attribute is designed to
|
||||
be compatible with the DEC Ada 83 attribute of the same name.
|
||||
|
||||
@node Attribute Type_Key
|
||||
@unnumberedsec Attribute Type_Key
|
||||
@findex Type_Key
|
||||
@noindent
|
||||
PLEASE ADD DOCUMENTATION HERE???
|
||||
|
||||
@node Attribute TypeCode
|
||||
@unnumberedsec Attribute TypeCode
|
||||
@findex TypeCode
|
||||
@noindent
|
||||
PLEASE ADD DOCUMENTATION HERE???
|
||||
|
||||
@node Attribute UET_Address
|
||||
@unnumberedsec Attribute UET_Address
|
||||
@findex UET_Address
|
||||
|
|
|
|||
|
|
@ -917,7 +917,7 @@ package Snames is
|
|||
Name_Overlaps_Storage : constant Name_Id := N + $; -- GNAT
|
||||
Name_Partition_ID : constant Name_Id := N + $;
|
||||
Name_Passed_By_Reference : constant Name_Id := N + $; -- GNAT
|
||||
Name_Pool_Address : constant Name_Id := N + $;
|
||||
Name_Pool_Address : constant Name_Id := N + $; -- GNAT
|
||||
Name_Pos : constant Name_Id := N + $;
|
||||
Name_Position : constant Name_Id := N + $;
|
||||
Name_Priority : constant Name_Id := N + $; -- Ada 05
|
||||
|
|
@ -937,7 +937,7 @@ package Snames is
|
|||
Name_Scaling : constant Name_Id := N + $;
|
||||
Name_Signed_Zeros : constant Name_Id := N + $;
|
||||
Name_Size : constant Name_Id := N + $;
|
||||
Name_Small : constant Name_Id := N + $;
|
||||
Name_Small : constant Name_Id := N + $; -- Ada 83
|
||||
Name_Storage_Size : constant Name_Id := N + $;
|
||||
Name_Storage_Unit : constant Name_Id := N + $; -- GNAT
|
||||
Name_Stream_Size : constant Name_Id := N + $; -- Ada 05
|
||||
|
|
@ -951,7 +951,7 @@ package Snames is
|
|||
Name_UET_Address : constant Name_Id := N + $; -- GNAT
|
||||
Name_Unbiased_Rounding : constant Name_Id := N + $;
|
||||
Name_Unchecked_Access : constant Name_Id := N + $;
|
||||
Name_Unconstrained_Array : constant Name_Id := N + $;
|
||||
Name_Unconstrained_Array : constant Name_Id := N + $; -- GNAT
|
||||
Name_Universal_Literal_String : constant Name_Id := N + $; -- GNAT
|
||||
Name_Unrestricted_Access : constant Name_Id := N + $; -- GNAT
|
||||
Name_Update : constant Name_Id := N + $; -- GNAT
|
||||
|
|
@ -1024,7 +1024,7 @@ package Snames is
|
|||
First_Type_Attribute_Name : constant Name_Id := N + $;
|
||||
Name_Base : constant Name_Id := N + $;
|
||||
Name_Class : constant Name_Id := N + $;
|
||||
Name_Stub_Type : constant Name_Id := N + $;
|
||||
Name_Stub_Type : constant Name_Id := N + $; -- GNAT
|
||||
Last_Type_Attribute_Name : constant Name_Id := N + $;
|
||||
Last_Entity_Attribute_Name : constant Name_Id := N + $;
|
||||
Last_Attribute_Name : constant Name_Id := N + $;
|
||||
|
|
|
|||
Loading…
Reference in New Issue