[FIR] Add builder for FirExpressionWithSmartcast
This commit is contained in:
@@ -14,7 +14,7 @@ import org.jetbrains.kotlin.fir.diagnostics.FirSimpleDiagnostic
|
|||||||
import org.jetbrains.kotlin.fir.diagnostics.FirStubDiagnostic
|
import org.jetbrains.kotlin.fir.diagnostics.FirStubDiagnostic
|
||||||
import org.jetbrains.kotlin.fir.expressions.*
|
import org.jetbrains.kotlin.fir.expressions.*
|
||||||
import org.jetbrains.kotlin.fir.expressions.builder.FirResolvedReifiedParameterReferenceBuilder
|
import org.jetbrains.kotlin.fir.expressions.builder.FirResolvedReifiedParameterReferenceBuilder
|
||||||
import org.jetbrains.kotlin.fir.expressions.impl.FirExpressionWithSmartcastImpl
|
import org.jetbrains.kotlin.fir.expressions.builder.buildExpressionWithSmartcast
|
||||||
import org.jetbrains.kotlin.fir.references.FirErrorNamedReference
|
import org.jetbrains.kotlin.fir.references.FirErrorNamedReference
|
||||||
import org.jetbrains.kotlin.fir.references.FirResolvedNamedReference
|
import org.jetbrains.kotlin.fir.references.FirResolvedNamedReference
|
||||||
import org.jetbrains.kotlin.fir.references.FirSuperReference
|
import org.jetbrains.kotlin.fir.references.FirSuperReference
|
||||||
@@ -457,14 +457,18 @@ fun BodyResolveComponents.transformQualifiedAccessUsingSmartcastInfo(qualifiedAc
|
|||||||
val allTypes = typesFromSmartCast.also {
|
val allTypes = typesFromSmartCast.also {
|
||||||
it += qualifiedAccessExpression.resultType.coneTypeUnsafe<ConeKotlinType>()
|
it += qualifiedAccessExpression.resultType.coneTypeUnsafe<ConeKotlinType>()
|
||||||
}
|
}
|
||||||
val intersectedType = ConeTypeIntersector.intersectTypes(inferenceComponents.ctx as ConeInferenceContext, allTypes)
|
val intersectedType = ConeTypeIntersector.intersectTypes(inferenceComponents.ctx, allTypes)
|
||||||
// TODO: add check that intersectedType is not equal to original type
|
// TODO: add check that intersectedType is not equal to original type
|
||||||
val intersectedTypeRef = buildResolvedTypeRef {
|
val intersectedTypeRef = buildResolvedTypeRef {
|
||||||
source = qualifiedAccessExpression.resultType.source
|
source = qualifiedAccessExpression.resultType.source
|
||||||
type = intersectedType
|
type = intersectedType
|
||||||
annotations += qualifiedAccessExpression.resultType.annotations
|
annotations += qualifiedAccessExpression.resultType.annotations
|
||||||
}
|
}
|
||||||
return FirExpressionWithSmartcastImpl(qualifiedAccessExpression, intersectedTypeRef, typesFromSmartCast)
|
return buildExpressionWithSmartcast {
|
||||||
|
originalExpression = qualifiedAccessExpression
|
||||||
|
typeRef = intersectedTypeRef
|
||||||
|
this.typesFromSmartCast = typesFromSmartCast
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
fun CallableId.isInvoke() =
|
fun CallableId.isInvoke() =
|
||||||
|
|||||||
+1
-1
@@ -28,7 +28,7 @@ abstract class FirExpressionWithSmartcast : FirQualifiedAccessExpression() {
|
|||||||
abstract override val extensionReceiver: FirExpression
|
abstract override val extensionReceiver: FirExpression
|
||||||
abstract override val calleeReference: FirReference
|
abstract override val calleeReference: FirReference
|
||||||
abstract val originalExpression: FirQualifiedAccessExpression
|
abstract val originalExpression: FirQualifiedAccessExpression
|
||||||
abstract val typesFromSmartcast: Collection<ConeKotlinType>
|
abstract val typesFromSmartCast: Collection<ConeKotlinType>
|
||||||
abstract val originalType: FirTypeRef
|
abstract val originalType: FirTypeRef
|
||||||
|
|
||||||
override fun <R, D> accept(visitor: FirVisitor<R, D>, data: D): R = visitor.visitExpressionWithSmartcast(this, data)
|
override fun <R, D> accept(visitor: FirVisitor<R, D>, data: D): R = visitor.visitExpressionWithSmartcast(this, data)
|
||||||
|
|||||||
+26
@@ -0,0 +1,26 @@
|
|||||||
|
/*
|
||||||
|
* Copyright 2010-2020 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.expressions.builder
|
||||||
|
|
||||||
|
import org.jetbrains.kotlin.fir.expressions.FirExpressionWithSmartcast
|
||||||
|
import org.jetbrains.kotlin.fir.expressions.FirQualifiedAccessExpression
|
||||||
|
import org.jetbrains.kotlin.fir.expressions.impl.FirExpressionWithSmartcastImpl
|
||||||
|
import org.jetbrains.kotlin.fir.types.ConeKotlinType
|
||||||
|
import org.jetbrains.kotlin.fir.types.FirTypeRef
|
||||||
|
|
||||||
|
class FirExpressionWithSmartcastBuilder {
|
||||||
|
lateinit var originalExpression: FirQualifiedAccessExpression
|
||||||
|
lateinit var typeRef: FirTypeRef
|
||||||
|
lateinit var typesFromSmartCast: Collection<ConeKotlinType>
|
||||||
|
|
||||||
|
fun build(): FirExpressionWithSmartcast {
|
||||||
|
return FirExpressionWithSmartcastImpl(originalExpression, typeRef, typesFromSmartCast)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
inline fun buildExpressionWithSmartcast(init: FirExpressionWithSmartcastBuilder.() -> Unit): FirExpressionWithSmartcast {
|
||||||
|
return FirExpressionWithSmartcastBuilder().apply(init).build()
|
||||||
|
}
|
||||||
+2
-2
@@ -19,10 +19,10 @@ import org.jetbrains.kotlin.fir.visitors.FirTransformer
|
|||||||
import org.jetbrains.kotlin.fir.visitors.FirVisitor
|
import org.jetbrains.kotlin.fir.visitors.FirVisitor
|
||||||
import org.jetbrains.kotlin.fir.visitors.transformSingle
|
import org.jetbrains.kotlin.fir.visitors.transformSingle
|
||||||
|
|
||||||
class FirExpressionWithSmartcastImpl(
|
internal class FirExpressionWithSmartcastImpl(
|
||||||
override var originalExpression: FirQualifiedAccessExpression,
|
override var originalExpression: FirQualifiedAccessExpression,
|
||||||
override val typeRef: FirTypeRef,
|
override val typeRef: FirTypeRef,
|
||||||
override val typesFromSmartcast: Collection<ConeKotlinType>
|
override val typesFromSmartCast: Collection<ConeKotlinType>
|
||||||
) : FirExpressionWithSmartcast() {
|
) : FirExpressionWithSmartcast() {
|
||||||
init {
|
init {
|
||||||
assert(originalExpression.typeRef is FirResolvedTypeRef)
|
assert(originalExpression.typeRef is FirResolvedTypeRef)
|
||||||
|
|||||||
+1
-1
@@ -403,7 +403,7 @@ object NodeConfigurator : AbstractFieldConfigurator<FirTreeBuilder>(FirTreeBuild
|
|||||||
|
|
||||||
expressionWithSmartcast.configure {
|
expressionWithSmartcast.configure {
|
||||||
+field("originalExpression", qualifiedAccessExpression)
|
+field("originalExpression", qualifiedAccessExpression)
|
||||||
+field("typesFromSmartcast", "Collection<ConeKotlinType>", null, customType = coneKotlinTypeType)
|
+field("typesFromSmartCast", "Collection<ConeKotlinType>", null, customType = coneKotlinTypeType)
|
||||||
+field("originalType", typeRef)
|
+field("originalType", typeRef)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user