Java: Address review comment. Improve getAnImportedType definition

This commit is contained in:
idrissrio
2025-09-05 19:06:50 +02:00
parent 1caf18ede1
commit ed9ed43923

View File

@@ -179,13 +179,8 @@ class ModuleImportDeclaration extends Import {
)
}
/** Gets a type that is imported from the module. */
RefType getAnImportedType() {
exists(Package pkg |
pkg = this.getAnImportedPackage() and
result.getPackage() = pkg
)
}
/** Gets a type from a package that is accessible through this module import. */
RefType getAnImportedType() { result.getPackage() = this.getAnImportedPackage() }
override string toString() { result = "import module " + this.getModuleName() }