org.jetbrains.kotlin.fir.java.declarations.FirJavaClass.kt Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of kotlin-compiler-embeddable Show documentation
Show all versions of kotlin-compiler-embeddable Show documentation
the Kotlin compiler embeddable
/*
* Copyright 2010-2023 JetBrains s.r.o. and Kotlin Programming Language contributors.
* Use of this source code is governed by the Apache 2.0 license that can be found in the license/LICENSE.txt file.
*/
package org.jetbrains.kotlin.fir.java.declarations
import org.jetbrains.kotlin.KtFakeSourceElementKind
import org.jetbrains.kotlin.KtSourceElement
import org.jetbrains.kotlin.descriptors.ClassKind
import org.jetbrains.kotlin.descriptors.Modality
import org.jetbrains.kotlin.descriptors.Visibility
import org.jetbrains.kotlin.fakeElement
import org.jetbrains.kotlin.fir.FirImplementationDetail
import org.jetbrains.kotlin.fir.FirModuleData
import org.jetbrains.kotlin.fir.MutableOrEmptyList
import org.jetbrains.kotlin.fir.builder.FirAnnotationContainerBuilder
import org.jetbrains.kotlin.fir.builder.FirBuilderDsl
import org.jetbrains.kotlin.fir.builder.toMutableOrEmpty
import org.jetbrains.kotlin.fir.declarations.*
import org.jetbrains.kotlin.fir.declarations.builder.FirRegularClassBuilder
import org.jetbrains.kotlin.fir.expressions.FirAnnotation
import org.jetbrains.kotlin.fir.java.MutableJavaTypeParameterStack
import org.jetbrains.kotlin.fir.java.convertAnnotationsToFir
import org.jetbrains.kotlin.fir.java.enhancement.FirSignatureEnhancement
import org.jetbrains.kotlin.fir.references.FirControlFlowGraphReference
import org.jetbrains.kotlin.fir.scopes.FirScopeProvider
import org.jetbrains.kotlin.fir.symbols.impl.FirRegularClassSymbol
import org.jetbrains.kotlin.fir.types.FirTypeRef
import org.jetbrains.kotlin.fir.visitors.FirTransformer
import org.jetbrains.kotlin.fir.visitors.FirVisitor
import org.jetbrains.kotlin.fir.visitors.transformInplace
import org.jetbrains.kotlin.fir.visitors.transformSingle
import org.jetbrains.kotlin.load.java.structure.JavaAnnotation
import org.jetbrains.kotlin.load.java.structure.JavaPackage
import org.jetbrains.kotlin.name.Name
import kotlin.properties.Delegates
class FirJavaClass @FirImplementationDetail internal constructor(
override val source: KtSourceElement?,
override val moduleData: FirModuleData,
resolvePhase: FirResolvePhase,
override val name: Name,
override val origin: FirDeclarationOrigin.Java,
private val unEnhancedAnnotations: MutableOrEmptyList,
override var status: FirDeclarationStatus,
override val classKind: ClassKind,
override val declarations: MutableList,
override val scopeProvider: FirScopeProvider,
override val symbol: FirRegularClassSymbol,
private val nonEnhancedSuperTypes: List,
override val typeParameters: MutableList,
internal val javaPackage: JavaPackage?,
val javaTypeParameterStack: MutableJavaTypeParameterStack,
internal val existingNestedClassifierNames: List,
private val isDeprecatedInJavaDoc: Boolean,
) : FirRegularClass() {
override val hasLazyNestedClassifiers: Boolean get() = true
override val controlFlowGraphReference: FirControlFlowGraphReference? get() = null
override val contextReceivers: List
get() = emptyList()
init {
symbol.bind(this)
@OptIn(ResolveStateAccess::class)
this.resolveState = resolvePhase.asResolveState()
}
override val attributes: FirDeclarationAttributes = FirDeclarationAttributes()
// TODO: the lazy superTypeRefs is a workaround for KT-55387, some non-lazy solution should probably be used instead
override val superTypeRefs: List by lazy {
val enhancement = FirSignatureEnhancement(this@FirJavaClass, moduleData.session, overridden = { emptyList() })
enhancement.enhanceSuperTypes(nonEnhancedSuperTypes)
}
// TODO: the lazy annotations is a workaround for KT-55387, some non-lazy solution should probably be used instead
override val annotations: List by lazy {
unEnhancedAnnotations.convertAnnotationsToFir(
moduleData.session, source?.fakeElement(KtFakeSourceElementKind.Enhancement), isDeprecatedInJavaDoc
)
}
// TODO: the lazy deprecationsProvider is a workaround for KT-55387, some non-lazy solution should probably be used instead
override val deprecationsProvider: DeprecationsProvider by lazy {
getDeprecationsProvider(moduleData.session)
}
override fun replaceSuperTypeRefs(newSuperTypeRefs: List) {
error("${::replaceSuperTypeRefs.name} should not be called for ${this::class.simpleName}, ${superTypeRefs::class.simpleName} is lazily calulated")
}
override fun replaceDeprecationsProvider(newDeprecationsProvider: DeprecationsProvider) {
error("${::replaceDeprecationsProvider.name} should not be called for ${this::class.simpleName}, ${deprecationsProvider::class.simpleName} is lazily calculated")
}
override fun replaceControlFlowGraphReference(newControlFlowGraphReference: FirControlFlowGraphReference?) {}
override val companionObjectSymbol: FirRegularClassSymbol?
get() = null
override fun replaceCompanionObjectSymbol(newCompanionObjectSymbol: FirRegularClassSymbol?) {}
override fun acceptChildren(visitor: FirVisitor, data: D) {
declarations.forEach { it.accept(visitor, data) }
annotations.forEach { it.accept(visitor, data) }
typeParameters.forEach { it.accept(visitor, data) }
status.accept(visitor, data)
superTypeRefs.forEach { it.accept(visitor, data) }
}
override fun transformChildren(transformer: FirTransformer, data: D): FirJavaClass {
transformTypeParameters(transformer, data)
transformDeclarations(transformer, data)
status = status.transformSingle(transformer, data)
transformSuperTypeRefs(transformer, data)
transformAnnotations(transformer, data)
return this
}
override fun transformSuperTypeRefs(transformer: FirTransformer, data: D): FirRegularClass {
return this
}
override fun transformStatus(transformer: FirTransformer, data: D): FirJavaClass {
status = status.transformSingle(transformer, data)
return this
}
override fun replaceAnnotations(newAnnotations: List) {
error("${::replaceAnnotations.name} should not be called for ${this::class.simpleName}, ${annotations::class.simpleName} is lazily calculated")
}
override fun transformAnnotations(transformer: FirTransformer, data: D): FirJavaClass {
return this
}
override fun transformDeclarations(transformer: FirTransformer, data: D): FirJavaClass {
declarations.transformInplace(transformer, data)
return this
}
override fun transformTypeParameters(transformer: FirTransformer, data: D): FirRegularClass {
typeParameters.transformInplace(transformer, data)
return this
}
override fun replaceStatus(newStatus: FirDeclarationStatus) {
status = newStatus
}
}
@FirBuilderDsl
class FirJavaClassBuilder : FirRegularClassBuilder(), FirAnnotationContainerBuilder {
lateinit var visibility: Visibility
var modality: Modality? = null
var isFromSource: Boolean by Delegates.notNull()
var isTopLevel: Boolean by Delegates.notNull()
var isStatic: Boolean by Delegates.notNull()
var javaPackage: JavaPackage? = null
lateinit var javaTypeParameterStack: MutableJavaTypeParameterStack
val existingNestedClassifierNames: MutableList = mutableListOf()
var isDeprecatedInJavaDoc: Boolean = false
override var source: KtSourceElement? = null
override var resolvePhase: FirResolvePhase = FirResolvePhase.RAW_FIR
var javaAnnotations: MutableList = mutableListOf()
override val typeParameters: MutableList = mutableListOf()
override val declarations: MutableList = mutableListOf()
override val superTypeRefs: MutableList = mutableListOf()
@OptIn(FirImplementationDetail::class)
override fun build(): FirJavaClass {
return FirJavaClass(
source,
moduleData,
resolvePhase = FirResolvePhase.ANALYZED_DEPENDENCIES,
name,
origin = javaOrigin(isFromSource),
javaAnnotations.toMutableOrEmpty(),
status,
classKind,
declarations,
scopeProvider,
symbol,
superTypeRefs,
typeParameters,
javaPackage,
javaTypeParameterStack,
existingNestedClassifierNames,
isDeprecatedInJavaDoc,
)
}
@Deprecated("Modification of 'origin' has no impact for FirJavaClassBuilder", level = DeprecationLevel.HIDDEN)
override var origin: FirDeclarationOrigin
get() = throw IllegalStateException()
set(@Suppress("UNUSED_PARAMETER") value) {
throw IllegalStateException()
}
}
inline fun buildJavaClass(init: FirJavaClassBuilder.() -> Unit): FirJavaClass {
return FirJavaClassBuilder().apply(init).build()
}