https://gcc.gnu.org/g:f4e8bdb86b7953ea7931b8e01725464b2c1be6ad
commit r15-4641-gf4e8bdb86b7953ea7931b8e01725464b2c1be6ad
Author: Ronan Desplanques <desplanq...@adacore.com>
Date: Mon Sep 23 10:36:29 2024 +0200
ada: Adjust documentation of External_Initialization
The parameters Maximum_Size and If_Empty were mentioned during the
request for comments phase but are not implemented, at least for now.
This patch changes the GNAT reference manual accordingly. It also makes
a minor punctuation change.
gcc/ada/ChangeLog:
* doc/gnat_rm/gnat_language_extensions.rst: Adjust documentation.
* gnat_rm.texi: Regenerate.
* gnat_ugn.texi: Regenerate.
Diff:
---
gcc/ada/doc/gnat_rm/gnat_language_extensions.rst | 6 +-----
gcc/ada/gnat_rm.texi | 10 +---------
gcc/ada/gnat_ugn.texi | 2 +-
3 files changed, 3 insertions(+), 15 deletions(-)
diff --git a/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst
b/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst
index 4cb1560ae9c8..088d289f35fe 100644
--- a/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst
+++ b/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst
@@ -1570,11 +1570,7 @@ Example:
``External_Initialization`` aspect accepts the following parameters:
-- mandatory ``Path``: the path the compiler uses to access the binary resource;
-- optional ``Maximum_Size``: the maximum number of bytes the compiler reads
from
- the resource;
-- optional ``If_Empty``: an expression used in place of read data in case
- the resource is empty;
+- mandatory ``Path``: the path the compiler uses to access the binary resource.
``Path`` is resolved according to the same rules the compiler uses for loading
the source files.
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index 96b13e51c078..4bcdcf6781d4 100644
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -30786,15 +30786,7 @@ end P;
@itemize -
@item
-mandatory @code{Path}: the path the compiler uses to access the binary
resource;
-
-@item
-optional @code{Maximum_Size}: the maximum number of bytes the compiler reads
from
-the resource;
-
-@item
-optional @code{If_Empty}: an expression used in place of read data in case
-the resource is empty;
+mandatory @code{Path}: the path the compiler uses to access the binary
resource.
@end itemize
@code{Path} is resolved according to the same rules the compiler uses for
loading the source files.
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
index be1958da076f..6e8e0b5dc364 100644
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -29695,8 +29695,8 @@ to permit their use in free software.
@printindex ge
-@anchor{d1}@w{ }
@anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{
}
+@anchor{d1}@w{ }
@c %**end of body
@bye
