[Commonizer] Drop "kind" from CirClassConstructor

... as it is always CallableMemberDescriptor.Kind.DECLARATION
for serialized constructor declarations
This commit is contained in:
Dmitriy Dolovov
2020-10-01 20:09:29 +03:00
parent abc4aef403
commit 07f78f5ab8
6 changed files with 61 additions and 63 deletions
@@ -147,6 +147,12 @@ class CommonizedClassDescriptor(
class CommonizedClassConstructorDescriptor( class CommonizedClassConstructorDescriptor(
containingDeclaration: ClassDescriptor, containingDeclaration: ClassDescriptor,
annotations: Annotations, annotations: Annotations,
isPrimary: Boolean, isPrimary: Boolean
kind: CallableMemberDescriptor.Kind ) : ClassConstructorDescriptorImpl(
) : ClassConstructorDescriptorImpl(containingDeclaration, null, annotations, isPrimary, kind, SourceElement.NO_SOURCE) containingDeclaration,
null,
annotations,
isPrimary,
CallableMemberDescriptor.Kind.DECLARATION,
SourceElement.NO_SOURCE
)
@@ -105,8 +105,7 @@ private fun CirClassConstructor.buildDescriptor(
val constructorDescriptor = CommonizedClassConstructorDescriptor( val constructorDescriptor = CommonizedClassConstructorDescriptor(
containingDeclaration = containingDeclaration, containingDeclaration = containingDeclaration,
annotations = annotations.buildDescriptors(targetComponents), annotations = annotations.buildDescriptors(targetComponents),
isPrimary = isPrimary, isPrimary = isPrimary
kind = kind
) )
constructorDescriptor.isExpect = isExpect constructorDescriptor.isExpect = isExpect
@@ -5,8 +5,6 @@
package org.jetbrains.kotlin.descriptors.commonizer.cir package org.jetbrains.kotlin.descriptors.commonizer.cir
import org.jetbrains.kotlin.descriptors.CallableMemberDescriptor
interface CirClassConstructor : interface CirClassConstructor :
CirDeclaration, CirDeclaration,
CirHasAnnotations, CirHasAnnotations,
@@ -16,6 +14,5 @@ interface CirClassConstructor :
CirCallableMemberWithParameters { CirCallableMemberWithParameters {
val isPrimary: Boolean val isPrimary: Boolean
val kind: CallableMemberDescriptor.Kind
override val containingClassDetails: CirContainingClassDetails // non-nullable override val containingClassDetails: CirContainingClassDetails // non-nullable
} }
@@ -12,7 +12,12 @@ import org.jetbrains.kotlin.descriptors.commonizer.cir.*
import org.jetbrains.kotlin.descriptors.commonizer.cir.impl.CirClassConstructorImpl import org.jetbrains.kotlin.descriptors.commonizer.cir.impl.CirClassConstructorImpl
object CirClassConstructorFactory { object CirClassConstructorFactory {
fun create(source: ClassConstructorDescriptor): CirClassConstructor = create( fun create(source: ClassConstructorDescriptor): CirClassConstructor {
check(source.kind == CallableMemberDescriptor.Kind.DECLARATION) {
"Unexpected ${CallableMemberDescriptor.Kind::class.java} for class constructor $source, ${source::class.java}: ${source.kind}"
}
return create(
annotations = source.annotations.map(CirAnnotationFactory::create), annotations = source.annotations.map(CirAnnotationFactory::create),
typeParameters = source.typeParameters.mapNotNull { typeParameter -> typeParameters = source.typeParameters.mapNotNull { typeParameter ->
// save only type parameters that are contributed by the constructor itself // save only type parameters that are contributed by the constructor itself
@@ -22,9 +27,9 @@ object CirClassConstructorFactory {
containingClassDetails = CirContainingClassDetailsFactory.create(source), containingClassDetails = CirContainingClassDetailsFactory.create(source),
valueParameters = source.valueParameters.map(CirValueParameterFactory::create), valueParameters = source.valueParameters.map(CirValueParameterFactory::create),
hasStableParameterNames = source.hasStableParameterNames(), hasStableParameterNames = source.hasStableParameterNames(),
isPrimary = source.isPrimary, isPrimary = source.isPrimary
kind = source.kind
) )
}
@Suppress("NOTHING_TO_INLINE") @Suppress("NOTHING_TO_INLINE")
inline fun create( inline fun create(
@@ -34,8 +39,7 @@ object CirClassConstructorFactory {
containingClassDetails: CirContainingClassDetails, containingClassDetails: CirContainingClassDetails,
valueParameters: List<CirValueParameter>, valueParameters: List<CirValueParameter>,
hasStableParameterNames: Boolean, hasStableParameterNames: Boolean,
isPrimary: Boolean, isPrimary: Boolean
kind: CallableMemberDescriptor.Kind
): CirClassConstructor { ): CirClassConstructor {
return CirClassConstructorImpl( return CirClassConstructorImpl(
annotations = annotations, annotations = annotations,
@@ -44,8 +48,7 @@ object CirClassConstructorFactory {
containingClassDetails = containingClassDetails, containingClassDetails = containingClassDetails,
valueParameters = valueParameters, valueParameters = valueParameters,
hasStableParameterNames = hasStableParameterNames, hasStableParameterNames = hasStableParameterNames,
isPrimary = isPrimary, isPrimary = isPrimary
kind = kind
) )
} }
} }
@@ -5,7 +5,6 @@
package org.jetbrains.kotlin.descriptors.commonizer.cir.impl package org.jetbrains.kotlin.descriptors.commonizer.cir.impl
import org.jetbrains.kotlin.descriptors.CallableMemberDescriptor
import org.jetbrains.kotlin.descriptors.DescriptorVisibility import org.jetbrains.kotlin.descriptors.DescriptorVisibility
import org.jetbrains.kotlin.descriptors.commonizer.cir.* import org.jetbrains.kotlin.descriptors.commonizer.cir.*
@@ -16,6 +15,5 @@ data class CirClassConstructorImpl(
override val containingClassDetails: CirContainingClassDetails, override val containingClassDetails: CirContainingClassDetails,
override var valueParameters: List<CirValueParameter>, override var valueParameters: List<CirValueParameter>,
override var hasStableParameterNames: Boolean, override var hasStableParameterNames: Boolean,
override val isPrimary: Boolean, override val isPrimary: Boolean
override val kind: CallableMemberDescriptor.Kind
) : CirClassConstructor ) : CirClassConstructor
@@ -5,7 +5,6 @@
package org.jetbrains.kotlin.descriptors.commonizer.core package org.jetbrains.kotlin.descriptors.commonizer.core
import org.jetbrains.kotlin.descriptors.CallableMemberDescriptor
import org.jetbrains.kotlin.descriptors.Modality import org.jetbrains.kotlin.descriptors.Modality
import org.jetbrains.kotlin.descriptors.commonizer.cir.CirClassConstructor import org.jetbrains.kotlin.descriptors.commonizer.cir.CirClassConstructor
import org.jetbrains.kotlin.descriptors.commonizer.cir.factory.CirClassConstructorFactory import org.jetbrains.kotlin.descriptors.commonizer.cir.factory.CirClassConstructorFactory
@@ -14,7 +13,6 @@ import org.jetbrains.kotlin.descriptors.commonizer.mergedtree.CirClassifiersCach
class ClassConstructorCommonizer(cache: CirClassifiersCache) : AbstractStandardCommonizer<CirClassConstructor, CirClassConstructor>() { class ClassConstructorCommonizer(cache: CirClassifiersCache) : AbstractStandardCommonizer<CirClassConstructor, CirClassConstructor>() {
private var isPrimary = false private var isPrimary = false
private lateinit var kind: CallableMemberDescriptor.Kind
private val visibility = VisibilityCommonizer.equalizing() private val visibility = VisibilityCommonizer.equalizing()
private val typeParameters = TypeParameterListCommonizer(cache) private val typeParameters = TypeParameterListCommonizer(cache)
private val valueParameters = CallableValueParametersCommonizer(cache) private val valueParameters = CallableValueParametersCommonizer(cache)
@@ -30,21 +28,18 @@ class ClassConstructorCommonizer(cache: CirClassifiersCache) : AbstractStandardC
containingClassDetails = CirContainingClassDetailsFactory.DOES_NOT_MATTER, containingClassDetails = CirContainingClassDetailsFactory.DOES_NOT_MATTER,
valueParameters = valueParameters.valueParameters, valueParameters = valueParameters.valueParameters,
hasStableParameterNames = valueParameters.hasStableParameterNames, hasStableParameterNames = valueParameters.hasStableParameterNames,
isPrimary = isPrimary, isPrimary = isPrimary
kind = kind
) )
} }
override fun initialize(first: CirClassConstructor) { override fun initialize(first: CirClassConstructor) {
isPrimary = first.isPrimary isPrimary = first.isPrimary
kind = first.kind
} }
override fun doCommonizeWith(next: CirClassConstructor): Boolean { override fun doCommonizeWith(next: CirClassConstructor): Boolean {
return !next.containingClassDetails.kind.isSingleton // don't commonize constructors for objects and enum entries return !next.containingClassDetails.kind.isSingleton // don't commonize constructors for objects and enum entries
&& next.containingClassDetails.modality != Modality.SEALED // don't commonize constructors for sealed classes (not not their subclasses) && next.containingClassDetails.modality != Modality.SEALED // don't commonize constructors for sealed classes (not not their subclasses)
&& isPrimary == next.isPrimary && isPrimary == next.isPrimary
&& kind == next.kind
&& visibility.commonizeWith(next) && visibility.commonizeWith(next)
&& typeParameters.commonizeWith(next.typeParameters) && typeParameters.commonizeWith(next.typeParameters)
&& valueParameters.commonizeWith(next) && valueParameters.commonizeWith(next)