[FIR tree generator] Add a kDoc for FirUnitExpression

This commit is contained in:
Sergej Jaskiewicz
2024-03-14 18:26:13 +01:00
committed by Space Team
parent c379fd7fa1
commit 7ad4e58a7a
2 changed files with 12 additions and 2 deletions
@@ -16,15 +16,19 @@ import org.jetbrains.kotlin.fir.MutableOrEmptyList
import org.jetbrains.kotlin.fir.builder.toMutableOrEmpty
import org.jetbrains.kotlin.fir.expressions.FirAnnotation
import org.jetbrains.kotlin.fir.expressions.FirExpression
import org.jetbrains.kotlin.fir.expressions.FirReturnExpression
import org.jetbrains.kotlin.fir.expressions.UnresolvedExpressionTypeAccess
import org.jetbrains.kotlin.fir.types.ConeKotlinType
import org.jetbrains.kotlin.fir.types.constructClassLikeType
import org.jetbrains.kotlin.fir.types.impl.FirImplicitUnitTypeRef
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.name.StandardClassIds
/**
* A special kind of expression that can only appear inside [FirReturnExpression].
* It denotes an empty `return` expression, which is different from explicit `return Unit`.
*/
class FirUnitExpression @FirImplementationDetail constructor(
override val source: KtSourceElement?,
override var annotations: MutableOrEmptyList<FirAnnotation>,
@@ -371,8 +371,14 @@ object ImplementationConfigurator : AbstractFirTreeImplementationConfigurator()
}
impl(expression, "FirUnitExpression") {
kDoc(
"""
A special kind of expression that can only appear inside [${returnExpression.typeName}].
It denotes an empty `return` expression, which is different from explicit `return Unit`.
""".trimIndent()
)
defaultBuiltInType("Unit")
additionalImports(implicitUnitTypeRefType)
additionalImports(returnExpression)
publicImplementation()
}