diff --git a/docs/codeql/ql-language-reference/ql-language-specification.rst b/docs/codeql/ql-language-reference/ql-language-specification.rst index 987ddf123ec..2cc2e2b6685 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 `__.