diff options
| author | Ronan Desplanques <desplanques@adacore.com> | 2024-09-23 10:36:29 +0200 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-10-25 11:09:01 +0200 |
| commit | f4e8bdb86b7953ea7931b8e01725464b2c1be6ad (patch) | |
| tree | 9c7be1197ea5ec43db2ea1d89b177ec22c9f92ac /gcc/ada/doc/gnat_rm | |
| parent | cb0f66e02559fd57fb31f7befbaf5967792722e8 (diff) | |
| download | gcc-f4e8bdb86b7953ea7931b8e01725464b2c1be6ad.zip gcc-f4e8bdb86b7953ea7931b8e01725464b2c1be6ad.tar.gz gcc-f4e8bdb86b7953ea7931b8e01725464b2c1be6ad.tar.bz2 | |
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.
Diffstat (limited to 'gcc/ada/doc/gnat_rm')
| -rw-r--r-- | gcc/ada/doc/gnat_rm/gnat_language_extensions.rst | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst b/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst index 4cb1560..088d289 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. |