diff options
| author | Steve Baird <baird@adacore.com> | 2024-04-19 16:08:39 -0700 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-06-13 15:30:31 +0200 |
| commit | 63bf005b2f5047841730b1ba4ca0799c471f75d1 (patch) | |
| tree | d2679c055f605047d80c48998f8248f4e7bbb7f6 | |
| parent | 9fe127c9c6320dea32d6441e10b654a7e2ab004c (diff) | |
| download | gcc-63bf005b2f5047841730b1ba4ca0799c471f75d1.zip gcc-63bf005b2f5047841730b1ba4ca0799c471f75d1.tar.gz gcc-63bf005b2f5047841730b1ba4ca0799c471f75d1.tar.bz2 | |
ada: Fix Super attribute documentation
The GNAT-defined Super attribute was formerly disallowed for an object of a
derived tagged type having an abstract parent type. This rule has been relaxed;
an abstract parent type is now permitted as long as it is not an interface type.
Update the GNAT RM accordingly.
gcc/ada/
* doc/gnat_rm/implementation_defined_attributes.rst:
Update Super attribute documentation.
* gnat_rm.texi: Regenerate.
* gnat_ugn.texi: Regenerate.
| -rw-r--r-- | gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst | 2 | ||||
| -rw-r--r-- | gcc/ada/gnat_rm.texi | 2 | ||||
| -rw-r--r-- | gcc/ada/gnat_ugn.texi | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst b/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst index 728d63a..877d043 100644 --- a/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst +++ b/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst @@ -1239,7 +1239,7 @@ The ``Super`` attribute can be applied to objects of tagged types in order to obtain a view conversion to the most immediate specific parent type. It cannot be applied to objects of types without any ancestors, or types whose -immediate parent is abstract. +immediate parent is an interface type. .. code-block:: ada diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index 1e6fb09..e8fa307 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -11712,7 +11712,7 @@ The @code{Super} attribute can be applied to objects of tagged types in order to obtain a view conversion to the most immediate specific parent type. It cannot be applied to objects of types without any ancestors, or types whose -immediate parent is abstract. +immediate parent is an interface type. @example type T1 is tagged null record; diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index 73f496f..04e181b 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -29645,8 +29645,8 @@ to permit their use in free software. @printindex ge -@anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{ } @anchor{d1}@w{ } +@anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{ } @c %**end of body @bye |