We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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