aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/doc/gnat_rm/the_gnat_library.rst
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/ada/doc/gnat_rm/the_gnat_library.rst')
-rw-r--r--gcc/ada/doc/gnat_rm/the_gnat_library.rst12
1 files changed, 12 insertions, 0 deletions
diff --git a/gcc/ada/doc/gnat_rm/the_gnat_library.rst b/gcc/ada/doc/gnat_rm/the_gnat_library.rst
index abc848c..59c0a2f 100644
--- a/gcc/ada/doc/gnat_rm/the_gnat_library.rst
+++ b/gcc/ada/doc/gnat_rm/the_gnat_library.rst
@@ -721,6 +721,18 @@ Provides AWK-like parsing functions, with an easy interface for parsing one
or more files containing formatted data. The file is viewed as a database
where each record is a line and a field is a data element in this line.
+.. _`GNAT.Binary_Search_(g-binsea.ads)`:
+
+``GNAT.Binary_Search`` (:file:`g-binsea.ads`)
+================================================
+
+.. index:: GNAT.Binary_Search (g-binsea.ads)
+
+.. index:: Binary search
+
+Allow binary search of a sorted array (or of an array-like container;
+the generic does not reference the array directly).
+
.. _`GNAT.Bind_Environment_(g-binenv.ads)`:
``GNAT.Bind_Environment`` (:file:`g-binenv.ads`)