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.
getAnImportedType
1 parent 6d8a014 commit 0083d5aCopy full SHA for 0083d5a
java/ql/lib/semmle/code/java/Import.qll
@@ -180,12 +180,7 @@ class ModuleImportDeclaration extends Import {
180
}
181
182
/** Gets a type that is imported from the module. */
183
- RefType getAnImportedType() {
184
- exists(Package pkg |
185
- pkg = this.getAnImportedPackage() and
186
- result.getPackage() = pkg
187
- )
188
- }
+ RefType getAnImportedType() { result.getPackage() = this.getAnImportedPackage() }
189
190
override string toString() { result = "import module " + this.getModuleName() }
191
0 commit comments