aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@adacore.com>2020-02-14 03:12:30 -0500
committerPierre-Marie de Rodat <derodat@adacore.com>2020-06-08 03:50:59 -0400
commitfccf77d504b72a749b6aba877454b9d846c0b568 (patch)
treeaecd126589d3f70c33ec0aa028c12a54b1f23c85
parent176de683776a26f97ba8fa4189ce953886753c18 (diff)
downloadgcc-fccf77d504b72a749b6aba877454b9d846c0b568.zip
gcc-fccf77d504b72a749b6aba877454b9d846c0b568.tar.gz
gcc-fccf77d504b72a749b6aba877454b9d846c0b568.tar.bz2
[Ada] Update doc on Enum_Rep/Enum_Val
2020-06-08 Arnaud Charlet <charlet@adacore.com> gcc/ada/ * doc/gnat_rm/implementation_defined_attributes.rst: Enum_Rep/Enum_Val are standard Ada 202x attributes. * gnat_rm.texi: Regenerate.
-rw-r--r--gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst6
-rw-r--r--gcc/ada/gnat_rm.texi6
2 files changed, 12 insertions, 0 deletions
diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst b/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
index 76bb157..e285ebc 100644
--- a/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
+++ b/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
@@ -336,6 +336,9 @@ Attribute Enum_Rep
.. index:: Enum_Rep
+Note that this attribute is now standard in Ada 202x and is available
+as an implementation defined attribute for earlier Ada versions.
+
For every enumeration subtype ``S``, ``S'Enum_Rep`` denotes a
function with the following spec:
@@ -371,6 +374,9 @@ Attribute Enum_Val
.. index:: Enum_Val
+Note that this attribute is now standard in Ada 202x and is available
+as an implementation defined attribute for earlier Ada versions.
+
For every enumeration subtype ``S``, ``S'Enum_Val`` denotes a
function with the following spec:
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index d601642..afe59ef 100644
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -10453,6 +10453,9 @@ the package or subprogram, controlling whether the check will be present.
@geindex Enum_Rep
+Note that this attribute is now standard in Ada 202x and is available
+as an implementation defined attribute for earlier Ada versions.
+
For every enumeration subtype @code{S}, @code{S'Enum_Rep} denotes a
function with the following spec:
@@ -10490,6 +10493,9 @@ may raise @code{Constraint_Error}.
@geindex Enum_Val
+Note that this attribute is now standard in Ada 202x and is available
+as an implementation defined attribute for earlier Ada versions.
+
For every enumeration subtype @code{S}, @code{S'Enum_Val} denotes a
function with the following spec: