Class SecurityOptions

The argument of the given function is used for running a process or loading a library.

This predicate should hold if the function with the given name is a pure function of its arguments.

This predicate should hold if the expression is directly computed from user input. Such expressions are treated as sources of taint.

This predicate should hold if the expression raises privilege for the current session. The default definition only holds true for some example code in the test suite. This predicate must be extended for a particular code base to be useful.

An argument to a function that is passed to a SQL server.

The argument of the given function is filled in from user input.

DEPRECATED: Users should override userInputReturned() instead.

The return value of the given function is filled in from user input.

Returns a one-character string containing the character in the receiver at the given index (which ranges from 0 through length minus one)

Returns an integer for the Unicode code point value of the character starting at the given index, counted by UTF-16 code units.

Returns the number of Unicode code points found in the receiver between the given start index (inclusive) and end index (exclusive).

Returns all the offsets (starting at 0) at which the given string occurs in the receiver. Has no result if the string does not occur in the receiver.

Returns the index of the n’th (starting at 0) occurrence of the given string within the receiver, starting at the given 0-based offset. Has no result if the string does not occur in the receiver.

Holds when the receiver contains no upper-case letters. This includes the case where the receiver contains no letters at all, for example, if it’s an empty string or only consists of non-letter symbols.

Holds when the receiver contains no lower-case letters. This includes the case where the receiver contains no letters at all, for example, if it’s an empty string or only consists of non-letter symbols.

Returns the length of the receiver (in UTF-16 code units)

Holds when the receiver matches the pattern. Patterns are matched by case sensitive string matching, and there are two wildcards: _ matches a single character, and % matches any sequence of characters. To match the actual characters _ or % in the pattern, they must be escaped using backslashes. For example, "anythingstring%".matches("%string\\%") holds. To match a literal backslash in front of _ or %, you must escape the backslash. Backslashes that are not part of an escape sequence are matched as literals.

Returns the substring of the receiver ending at the given 0-based exclusive offset

When the given regular expression matches the entire receiver, returns the substring matched by the given capture group (starting at 1). The regex format used is Java’s Pattern.

Returns a substring of the receiver which matches the given regular expression. Also returns the offset within the receiver (starting at 0) at which the match occurred (occurrenceOffset), and the number of matches which occur at smaller offsets (occurrenceIndex). The regex format used is Java’s Pattern.

Holds when the given regular expression matches the entire receiver. The regex format used is Java’s Pattern.

Returns a copy of the receiver with every substring which matches the given regular expression is replaced by the replacement. The regex format used is Java’s Pattern. The replacement string can contain references to captured groups as described in Java’s appendReplacement docs.

Returns a copy of the receiver with all occurrences of the target replaced by the replacement

Returns all the substrings obtained by splitting the receiver at every occurrence of the argument. Trailing empty substrings are omitted. Splitting at an empty string returns all the characters that the receiver consists of.

Returns the n’th (starting at 0) substring obtained by splitting the receiver at every occurrence of the argument. Trailing empty substrings are omitted. Splitting at an empty string returns all the characters that the receiver consists of.

Returns the substring of the receiver which starts and ends at the given indices. Both indices are 0-based. The start index is inclusive and the end index is exclusive.

Returns the substring of the receiver starting at the given 0-based inclusive offset

Returns the arbitrary-precision signed integer, if any, obtained by parsing the receiver. The number may consist of an optional leading + or -, followed by one or more digits.

Returns the date, if any, obtained by parsing the receiver. The recognized formats are described in the documentation.

Returns the 64-bit floating point number, if any, obtained by parsing the receiver. The parsing rules are described in Java’s valueOf docs.

Returns the 32-bit signed integer, if any, obtained by parsing the receiver. The number may consist of an optional leading + or -, followed by one or more digits. Has no result if the value exceeds the value range supported by the int type.

Returns a copy of the receiver with all uppercase characters replaced by lowercase ones according to Unicode case conversion rules.

Returns the receiver

Returns a copy of the receiver with all lowercase characters replaced by uppercase ones according to Unicode case conversion rules.

Returns a copy of the receiver with all whitespace removed from the beginning and end of the string (where whitespace is defined as Unicode code points ‘\u0000’ through ‘\u0020’ inclusive)