Class StringOps::RegExpTest
A data flow node whose boolean value indicates whether a regexp matches a given string.
For example, the condition of each of the following if-statements are RegExpTest nodes:
if (regexp.test(str)) { ... }
if (regexp.exec(str) != null) { ... }
if (str.matches(regexp)) { ... }
Note that RegExpTest represents a boolean-valued expression or one
that is coerced to a boolean, which is not always the same as the call that performs the
regexp-matching. For example, the exec call below is not itself a RegExpTest,
but the match variable in the condition is:
let match = regexp.exec(str);
if (!match) { ... } // <--- 'match' is the RegExpTest
Import path
import javascriptDirect supertypes
Indirect supertypes
Known direct subtypes
Predicates
| getPolarity | Gets the return value indicating that the string matched the regular expression. |
| getRegExp | Gets the AST of the regular expression used in the test, if it can be seen locally. |
| getRegExpOperand | Gets the data flow node corresponding to the regular expression object used in the test. |
| getStringOperand | Gets the data flow node corresponding to the string being tested against the regular expression. |
Inherited predicates
| accessesGlobal | Holds if this data flow node accesses the global variable | from Node |
| analyze | Gets type inference results for this data flow node. | from Node |
| asExpr | Gets the expression corresponding to this data flow node, if any. | from Node |
| getABoundFunctionValue | Gets a function value that may reach this node, possibly derived from a partial function invocation. | from Node |
| getAFunctionValue | Gets a function value that may reach this node. | from Node |
| getAFunctionValue | Gets a function value that may reach this node with the given | from Node |
| getALocalSource | Gets a source node from which data may flow to this node in zero or more local steps. | from Node |
| getAPredecessor | Gets a data flow node from which data may flow to this node in one local step. | from Node |
| getASuccessor | Gets a data flow node to which data may flow from this node in one local step. | from Node |
| getAstNode | Gets the AST node corresponding to this data flow node, if any. | from Node |
| getBasicBlock | Gets the basic block to which this node belongs. | from Node |
| getContainer | Gets the container in which this node occurs. | from Node |
| getEnclosingExpr | Gets the expression enclosing this data flow node. In most cases the result is the same as | from Node |
| getEndColumn | Gets the end column of this data flow node. | from Node |
| getEndLine | Gets the end line of this data flow node. | from Node |
| getFile | Gets the file this data flow node comes from. | from Node |
| getImmediatePredecessor | Gets the immediate predecessor of this node, if any. | from Node |
| getIntValue | Gets the integer value of this node, if it is an integer constant. | from Node |
| getLocation | Gets the location of this node. | from Node |
| getStartColumn | Gets the start column of this data flow node. | from Node |
| getStartLine | Gets the start line of this data flow node. | from Node |
| getStringValue | Gets the string value of this node, if it is a string literal or constant string concatenation. | from Node |
| getTopLevel | Gets the toplevel in which this node occurs. | from Node |
| hasLocationInfo | Holds if this element is at the specified location. The location spans column | from Node |
| hasUnderlyingType | Holds if this node is annotated with the given named type, or is declared as a subtype thereof, or is a union or intersection containing such a type. | from Node |
| hasUnderlyingType | Holds if this node is annotated with the given named type, or is declared as a subtype thereof, or is a union or intersection containing such a type. | from Node |
| isIncomplete | Holds if the flow information for this node is incomplete. | from Node |
| mayHaveBooleanValue | Holds if this node may evaluate to the Boolean value | from Node |
| mayHaveStringValue | Holds if this node may evaluate to the string | from Node |
| toString | Gets a textual representation of this element. | from Node |