hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-11 20:51:06 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #21306 from github/ginsbach/avoid-nontrivially-shadowing-toString

Browse Source 
Avoid non-trivially shadowing `string.toString()`
This commit is contained in:
Philip Ginsbach-Chen
2026-02-11 11:03:07 +00:00
committed by GitHub
parent 36c3084435 f60d759a65
commit 9ed22610a3
2 changed files with 13 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
shared/regex/codeql/regex/nfa/ExponentialBackTracking.qll
View File

@@ -95,7 +95,7 @@ module Make<RegexTreeViewSig TreeImpl> {
)
}
string toString() { result = this.(InfiniteRepetitionQuantifier).toString() }
string toString() { result = super.toString() }
}
/**

24
shared/regex/codeql/regex/nfa/NfaUtils.qll
View File

@@ -104,11 +104,11 @@ module Make<RegexTreeViewSig TreeImpl> {
private class RegexpCharacterConstant instanceof RegExpConstant {
RegexpCharacterConstant() { this.isCharacter() }
string toString() { result = this.(RegExpConstant).toString() }
string toString() { result = super.toString() }
RegExpTerm getRootTerm() { result = this.(RegExpConstant).getRootTerm() }
RegExpTerm getRootTerm() { result = super.getRootTerm() }
string getValue() { result = this.(RegExpConstant).getValue() }
string getValue() { result = super.getValue() }
}
/**
@@ -578,11 +578,11 @@ module Make<RegexTreeViewSig TreeImpl> {
)
}
string toString() { result = this.(RegExpTerm).toString() }
string toString() { result = super.toString() }
RegExpTerm getAChild() { result = this.(RegExpTerm).getChild(_) }
RegExpTerm getAChild() { result = super.getChild(_) }
RegExpTerm getChild(int i) { result = this.(RegExpTerm).getChild(i) }
RegExpTerm getChild(int i) { result = super.getChild(i) }
}
/**
@@ -601,11 +601,11 @@ module Make<RegexTreeViewSig TreeImpl> {
)
}
string toString() { result = this.(RegExpTerm).toString() }
string toString() { result = super.toString() }
RegExpTerm getAChild() { result = this.(RegExpTerm).getAChild() }
RegExpTerm getAChild() { result = super.getAChild() }
RegExpTerm getChild(int i) { result = this.(RegExpTerm).getChild(i) }
RegExpTerm getChild(int i) { result = super.getChild(i) }
}
/**
@@ -621,11 +621,11 @@ module Make<RegexTreeViewSig TreeImpl> {
)
}
string toString() { result = this.(RegExpTerm).toString() }
string toString() { result = super.toString() }
RegExpTerm getAChild() { result = this.(RegExpTerm).getAChild() }
RegExpTerm getAChild() { result = super.getAChild() }
RegExpTerm getChild(int i) { result = this.(RegExpTerm).getChild(i) }
RegExpTerm getChild(int i) { result = super.getChild(i) }
}
/**