diff options
author | Ronan Desplanques <desplanques@adacore.com> | 2024-11-25 17:39:04 +0100 |
---|---|---|
committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-12-13 09:36:00 +0100 |
commit | 240b09db7e1eaa0c1cc411edb9ba67a3553e7a8b (patch) | |
tree | f420853989b7e5b27f6b7662d3a963f8837ad343 /gcc | |
parent | cdd221cefe4ca3a75b141b93113e818f5e22ac9f (diff) | |
download | gcc-240b09db7e1eaa0c1cc411edb9ba67a3553e7a8b.zip gcc-240b09db7e1eaa0c1cc411edb9ba67a3553e7a8b.tar.gz gcc-240b09db7e1eaa0c1cc411edb9ba67a3553e7a8b.tar.bz2 |
ada: Fix documentation of Ada.Real_Time.Timing_Events
The GNAT reference manual stated that GNAT did not implement this
language-defined package, but GNAT in fact does offer an implementation
of it.
gcc/ada/ChangeLog:
* doc/gnat_rm/standard_library_routines.rst: Fix documentation.
* gnat_rm.texi: Regenerate.
* gnat_ugn.texi: Regenerate.
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ada/doc/gnat_rm/standard_library_routines.rst | 3 | ||||
-rw-r--r-- | gcc/ada/gnat_rm.texi | 3 | ||||
-rw-r--r-- | gcc/ada/gnat_ugn.texi | 2 |
3 files changed, 5 insertions, 3 deletions
diff --git a/gcc/ada/doc/gnat_rm/standard_library_routines.rst b/gcc/ada/doc/gnat_rm/standard_library_routines.rst index 2e76426..a595be5 100644 --- a/gcc/ada/doc/gnat_rm/standard_library_routines.rst +++ b/gcc/ada/doc/gnat_rm/standard_library_routines.rst @@ -383,7 +383,8 @@ the unit is not implemented. then such a backward jump may occur. ``Ada.Real_Time.Timing_Events`` *(D.15)* - Not implemented in GNAT. + This package allows procedures to be executed at a specified time without + the use of a task or a delay statement. ``Ada.Sequential_IO`` *(A.8.1)* This package provides input-output facilities for sequential files, diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index ee22978..e2e2c31 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -21376,7 +21376,8 @@ then such a backward jump may occur. @item @code{Ada.Real_Time.Timing_Events} `(D.15)' -Not implemented in GNAT. +This package allows procedures to be executed at a specified time without +the use of a task or a delay statement. @item @code{Ada.Sequential_IO} `(A.8.1)' diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index 662fe1c..d6c87ef 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -29839,8 +29839,8 @@ to permit their use in free software. @printindex ge -@anchor{d2}@w{ } @anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{ } +@anchor{d2}@w{ } @c %**end of body @bye |