From 5cd732b3c6943a983b9633188704397cc52ee5b6 Mon Sep 17 00:00:00 2001 From: erik-krogh Date: Thu, 19 Oct 2023 12:57:06 +0200 Subject: [PATCH] move the documentation of codePointAt and codePointCount to the string type instead of the int type --- .../ql-language-reference/ql-language-specification.rst | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/codeql/ql-language-reference/ql-language-specification.rst b/docs/codeql/ql-language-reference/ql-language-specification.rst index 987ddf123ec5..2cc2e2b66859 100644 --- a/docs/codeql/ql-language-reference/ql-language-specification.rst +++ b/docs/codeql/ql-language-reference/ql-language-specification.rst @@ -1993,10 +1993,6 @@ The following built-in predicates are members of type ``int``: +-------------------------+-------------+----------------+----------------------------------------------------------------------------------------------------------------+ | ``toUnicode`` | string | | The result is the unicode character for the receiver seen as a unicode code point. | +-------------------------+-------------+----------------+----------------------------------------------------------------------------------------------------------------+ -| ``codePointAt`` | int | int | The result is the unicode code point at the index given by the argument. | -+-------------------------+-------------+----------------+----------------------------------------------------------------------------------------------------------------+ -| ``codePointCount`` | int | int, int | The result is the number of unicode code points in the receiver between the given indices. | -+-------------------------+-------------+----------------+----------------------------------------------------------------------------------------------------------------+ The leftmost bit after ``bitShiftRightSigned`` depends on sign extension, whereas after ``bitShiftRight`` it is zero. @@ -2056,6 +2052,10 @@ The following built-in predicates are members of type ``string``: +----------------------+-------------+------------------+----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+ | ``trim`` | string | | The result is the receiver with all whitespace removed from the beginning and end of the string. | +----------------------+-------------+------------------+----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+ +| ``codePointAt`` | int | int | The result is the unicode code point at the index given by the argument. | ++----------------------+-------------+------------------+----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+ +| ``codePointCount`` | int | int, int | The result is the number of unicode code points in the receiver between the given indices. | ++----------------------+-------------+------------------+----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+ Regular expressions are as defined by ``java.util.regex.Pattern`` in Java. For more information, see the `Java API Documentation `__.