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

Fix stringifying record fields

Browse Source
This commit is contained in:
Chris Smowton
2023-11-01 16:04:21 +00:00
parent 3cb01002dc
commit 293cc67494
1 changed files with 9 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
java/ql/lib/semmle/code/java/Member.qll
View File

@@ -737,10 +737,17 @@ class FieldDeclaration extends ExprParent, @fielddecl, Annotatable {
/** Gets the number of fields declared in this declaration. */
int getNumField() { result = max(int idx | fieldDeclaredIn(_, this, idx) | idx) + 1 }
private string stringifyType() {
// Necessary because record fields are missing their type access.
if exists(this.getTypeAccess())
then result = this.getTypeAccess().toString()
else result = this.getAField().getType().toString()
}
override string toString() {
if this.getNumField() = 1
then result = this.getTypeAccess() + " " + this.getField(0) + ";"
else result = this.getTypeAccess() + " " + this.getField(0) + ", ...;"
then result = this.stringifyType() + " " + this.getField(0) + ";"
else result = this.stringifyType() + " " + this.getField(0) + ", ...;"
}
override string getAPrimaryQlClass() { result = "FieldDeclaration" }