We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Class or Interface
1 parent 82a2f43 commit 7f76d8aCopy full SHA for 7f76d8a
java/ql/src/utils/stub-generator/Stubs.qll
@@ -523,9 +523,8 @@ class GeneratedTopLevel extends TopLevelType instanceof GeneratedType {
523
}
524
525
private string stubAnImport() {
526
- exists(RefType t, string pkg, string name |
+ exists(ClassOrInterface t, string pkg, string name |
527
t = this.getAnImportedType() and
528
- (t instanceof Class or t instanceof Interface) and
529
t.hasQualifiedName(pkg, name) and
530
t != this and
531
pkg != "java.lang"
0 commit comments