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

JS: Deabstractify RegExpTerm classes

Browse Source
This commit is contained in:
Asger F
2019-10-22 12:21:08 +01:00
parent e0bdc777b9
commit b6c1c174a9
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
javascript/ql/src/semmle/javascript/Regexp.qll
View File

@@ -34,7 +34,7 @@ class RegExpParent extends Locatable, @regexpparent { }
* $
* ```
*/
abstract class RegExpTerm extends Locatable, @regexpterm {
class RegExpTerm extends Locatable, @regexpterm {
override Location getLocation() { hasLocation(this, result) }
/** Gets the `i`th child term of this term. */
@@ -61,7 +61,7 @@ abstract class RegExpTerm extends Locatable, @regexpterm {
string getRawValue() { regexpterm(this, _, _, _, result) }
/** Holds if this regular expression term can match the empty string. */
abstract predicate isNullable();
predicate isNullable() { none() } // Overridden in subclasses.
/** Gets the regular expression term that is matched before this one, if any. */
RegExpTerm getPredecessor() {
@@ -123,7 +123,7 @@ abstract class RegExpTerm extends Locatable, @regexpterm {
* ((ECMA|Java)[sS]cript)*
* ```
*/
abstract class RegExpQuantifier extends RegExpTerm, @regexp_quantifier {
class RegExpQuantifier extends RegExpTerm, @regexp_quantifier {
/** Holds if the quantifier of this term is a greedy quantifier. */
predicate isGreedy() { isGreedy(this) }
}
@@ -139,7 +139,7 @@ abstract class RegExpQuantifier extends RegExpTerm, @regexp_quantifier {
* \w
* ```
*/
abstract class RegExpEscape extends RegExpTerm, @regexp_escape { }
class RegExpEscape extends RegExpTerm, @regexp_escape { }
/**
* A constant regular expression term, that is, a regular expression