mirror of
https://github.com/github/codeql.git
synced 2026-02-23 18:33:42 +01:00
Fix QLDocs
This commit is contained in:
@@ -77,7 +77,7 @@ module RegexExecutionExpr {
|
||||
/** Gets the expression for the regex being executed by this node. */
|
||||
abstract Expr getRegex();
|
||||
|
||||
/** Gets a expression for the string to be searched or matched against. */
|
||||
/** Gets an expression for the string to be searched or matched against. */
|
||||
abstract Expr getString();
|
||||
|
||||
/**
|
||||
|
||||
@@ -71,17 +71,17 @@ class PatternLiteralField extends Field {
|
||||
}
|
||||
}
|
||||
|
||||
/** A call to the `compile` method of `java.util.regex.Pattern` */
|
||||
/** A call to the `compile` method of `java.util.regex.Pattern`. */
|
||||
class PatternCompileCall extends MethodCall {
|
||||
PatternCompileCall() { this.getMethod() instanceof PatternCompileMethod }
|
||||
}
|
||||
|
||||
/** A call to the `matcher` method of `java.util.regex.Pattern` */
|
||||
/** A call to the `matcher` method of `java.util.regex.Pattern`. */
|
||||
class PatternMatcherCall extends MethodCall {
|
||||
PatternMatcherCall() { this.getMethod() instanceof PatternMatcherMethod }
|
||||
}
|
||||
|
||||
/** A call to the `matches` method of `java.util.regex.Pattern` */
|
||||
/** A call to the `matches` method of `java.util.regex.Pattern`. */
|
||||
class PatternMatchesCall extends MethodCall, RegexExecutionExpr::Range {
|
||||
PatternMatchesCall() { this.getMethod() instanceof PatternMatchesMethod }
|
||||
|
||||
@@ -92,7 +92,7 @@ class PatternMatchesCall extends MethodCall, RegexExecutionExpr::Range {
|
||||
override string getName() { result = "Pattern.matches" }
|
||||
}
|
||||
|
||||
/** A call to the `matches` method of `java.util.regex.Matcher` */
|
||||
/** A call to the `matches` method of `java.util.regex.Matcher`. */
|
||||
class MatcherMatchesCall extends MethodCall, RegexExecutionExpr::Range {
|
||||
MatcherMatchesCall() { this.getMethod() instanceof MatcherMatchesMethod }
|
||||
|
||||
|
||||
Reference in New Issue
Block a user