org.jetbrains.kotlin.resolve.jvm.modules.JavaModule.kt Maven / Gradle / Ivy
/*
* Copyright 2010-2017 JetBrains s.r.o.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package org.jetbrains.kotlin.resolve.jvm.modules
import com.intellij.openapi.vfs.VirtualFile
import org.jetbrains.kotlin.name.FqName
interface JavaModule {
/**
* The name of the module. For explicit modules, this is the name specified in the module-info file.
* For automatic modules, this is the name in the Automatic-Module-Name attribute in the manifest,
* or an automatically inferred name in case of absence of such attribute.
*/
val name: String
/**
* A directory or the root of a .jar file on the module path. Can also be the path to the `module-info.java` file if that path
* was passed as an explicit argument to the compiler.
* In case of an explicit module, module-info.class file can be found in its children.
*/
val moduleRoot: VirtualFile
/**
* A module-info.class or module-info.java file where this module was loaded from.
*/
val moduleInfoFile: VirtualFile?
/**
* `true` if this module is either an automatic module on the module path, or an explicit module loaded from module-info.class.
* `false` if this module is an explicit module loaded from module-info.java.
*/
val isBinary: Boolean
/**
* `true` if this module exports the package with the given FQ name to all dependent modules.
* For explicit modules, this means that there's an _unqualified_ (without the 'to' clause) exports statement in the module-info file.
* For automatic modules, this is always `true`.
*
* Note that it's assumed that the module contains this package.
*/
fun exports(packageFqName: FqName): Boolean
/**
* `true` if this module exports the package with the given FQ name to a module with the given name.
* For explicit modules, this means that there's either an unqualified exports statement (without the 'to' clause)
* in the module-info file, or a _qualified_ statement (with the 'to' clause) with the given module name at the right hand side.
* For automatic modules, this is always `true`.
*
* Note that it's assumed that the module contains this package.
*/
fun exportsTo(packageFqName: FqName, moduleName: String): Boolean
class Automatic(override val name: String, override val moduleRoot: VirtualFile) : JavaModule {
override val moduleInfoFile: VirtualFile? get() = null
override val isBinary: Boolean get() = true
override fun exports(packageFqName: FqName): Boolean = true
override fun exportsTo(packageFqName: FqName, moduleName: String): Boolean = true
override fun toString(): String = name
}
class Explicit(
val moduleInfo: JavaModuleInfo,
override val moduleRoot: VirtualFile,
override val moduleInfoFile: VirtualFile,
override val isBinary: Boolean
) : JavaModule {
override val name: String
get() = moduleInfo.moduleName
override fun exports(packageFqName: FqName): Boolean {
return moduleInfo.exports.any { (fqName, toModules) ->
fqName == packageFqName && toModules.isEmpty()
}
}
override fun exportsTo(packageFqName: FqName, moduleName: String): Boolean {
return moduleInfo.exports.any { (fqName, toModules) ->
fqName == packageFqName && (toModules.isEmpty() || moduleName in toModules)
}
}
override fun toString(): String = name
}
}