hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 16:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

move the documentation of codePointAt and codePointCount to the string type instead of the int type

Browse Source
This commit is contained in:
erik-krogh
2023-10-19 12:57:06 +02:00
parent da44b13fd4
commit 5cd732b3c6
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
docs/codeql/ql-language-reference/ql-language-specification.rst
View File

@@ -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 <https://docs.oracle.com/en/java/javase/11/docs/api/java.base/java/util/regex/Pattern.html>`__.