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

Switch to simpler synthetic field model

Browse Source
This commit is contained in:
Joe Farebrother
2021-07-15 14:13:34 +01:00
parent 6ae11b5b2c
commit 46eec3c8eb
1 changed files with 0 additions and 32 deletions
Download Patch File Download Diff File Expand all files Collapse all files

32
java/ql/lib/semmle/code/java/frameworks/guava/Collections.qll
View File

@@ -585,35 +585,3 @@ class TableType extends RefType {
)
}
}
private class TableRowField extends SyntheticField {
override predicate fieldSpec(RefType owningType, string fieldName, Type fieldType) {
owningType.hasQualifiedName(guavaCollectPackage(), "Table") and
fieldName = "rowKey" and
fieldType instanceof TypeObject
}
}
private class TableColumnField extends SyntheticField {
override predicate fieldSpec(RefType owningType, string fieldName, Type fieldType) {
owningType.hasQualifiedName(guavaCollectPackage(), "Table") and
fieldName = "columnKey" and
fieldType instanceof TypeObject
}
}
private class MapDifferenceLeftField extends SyntheticField {
override predicate fieldSpec(RefType owningType, string fieldName, Type fieldType) {
owningType.hasQualifiedName(guavaCollectPackage(), "MapDifference") and
fieldName = "left" and
fieldType instanceof TypeObject
}
}
private class MapDifferenceRightField extends SyntheticField {
override predicate fieldSpec(RefType owningType, string fieldName, Type fieldType) {
owningType.hasQualifiedName(guavaCollectPackage(), "MapDifference") and
fieldName = "right" and
fieldType instanceof TypeObject
}
}