1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
|
/*
* Copyright 2010-2019 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.descriptors.commonizer.builder
import org.jetbrains.kotlin.descriptors.*
import org.jetbrains.kotlin.descriptors.annotations.Annotations
import org.jetbrains.kotlin.descriptors.commonizer.cir.*
import org.jetbrains.kotlin.descriptors.commonizer.utils.isUnderStandardKotlinPackages
import org.jetbrains.kotlin.descriptors.impl.ValueParameterDescriptorImpl
import org.jetbrains.kotlin.resolve.DescriptorFactory
import org.jetbrains.kotlin.resolve.DescriptorUtils
import org.jetbrains.kotlin.types.*
import org.jetbrains.kotlin.types.KotlinTypeFactory.flexibleType
import org.jetbrains.kotlin.types.KotlinTypeFactory.simpleType
internal fun List<CirTypeParameter>.buildDescriptorsAndTypeParameterResolver(
targetComponents: TargetDeclarationsBuilderComponents,
parentTypeParameterResolver: TypeParameterResolver,
containingDeclaration: DeclarationDescriptor,
typeParametersIndexOffset: Int = 0
): Pair<List<TypeParameterDescriptor>, TypeParameterResolver> {
val ownTypeParameters = mutableListOf<TypeParameterDescriptor>()
val typeParameterResolver = TypeParameterResolverImpl(
storageManager = targetComponents.storageManager,
ownTypeParameters = ownTypeParameters,
parent = parentTypeParameterResolver
)
forEachIndexed { index, param ->
ownTypeParameters += CommonizedTypeParameterDescriptor(
targetComponents = targetComponents,
typeParameterResolver = typeParameterResolver,
containingDeclaration = containingDeclaration,
annotations = param.annotations.buildDescriptors(targetComponents),
name = param.name,
variance = param.variance,
isReified = param.isReified,
index = typeParametersIndexOffset + index,
cirUpperBounds = param.upperBounds
)
}
return ownTypeParameters to typeParameterResolver
}
internal fun List<CirValueParameter>.buildDescriptors(
targetComponents: TargetDeclarationsBuilderComponents,
typeParameterResolver: TypeParameterResolver,
containingDeclaration: CallableDescriptor
): List<ValueParameterDescriptor> = mapIndexed { index, param ->
ValueParameterDescriptorImpl(
containingDeclaration,
null,
index,
param.annotations.buildDescriptors(targetComponents),
param.name,
param.returnType.buildType(targetComponents, typeParameterResolver),
param.declaresDefaultValue,
param.isCrossinline,
param.isNoinline,
param.varargElementType?.buildType(targetComponents, typeParameterResolver),
SourceElement.NO_SOURCE
)
}
internal fun List<CirAnnotation>.buildDescriptors(targetComponents: TargetDeclarationsBuilderComponents): Annotations =
if (isEmpty())
Annotations.EMPTY
else
Annotations.create(map { CommonizedAnnotationDescriptor(targetComponents, it) })
internal fun CirExtensionReceiver.buildExtensionReceiver(
targetComponents: TargetDeclarationsBuilderComponents,
typeParameterResolver: TypeParameterResolver,
containingDeclaration: CallableDescriptor
) = DescriptorFactory.createExtensionReceiverParameterForCallable(
containingDeclaration,
type.buildType(targetComponents, typeParameterResolver),
annotations.buildDescriptors(targetComponents)
)
internal fun buildDispatchReceiver(callableDescriptor: CallableDescriptor) =
DescriptorUtils.getDispatchReceiverParameterIfNeeded(callableDescriptor.containingDeclaration)
internal fun CirType.buildType(
targetComponents: TargetDeclarationsBuilderComponents,
typeParameterResolver: TypeParameterResolver
): UnwrappedType = when (this) {
is CirSimpleType -> buildType(targetComponents, typeParameterResolver)
is CirFlexibleType -> flexibleType(
lowerBound = lowerBound.buildType(targetComponents, typeParameterResolver),
upperBound = upperBound.buildType(targetComponents, typeParameterResolver)
)
}
internal fun CirSimpleType.buildType(
targetComponents: TargetDeclarationsBuilderComponents,
typeParameterResolver: TypeParameterResolver
): SimpleType {
val classifier: ClassifierDescriptor = when (val classifierId = classifierId) {
is CirClassifierId.Class -> {
targetComponents.findClassOrTypeAlias(classifierId.classId).checkClassifierType<ClassDescriptor>()
}
is CirClassifierId.TypeAlias -> {
val classId = classifierId.classId
val classOrTypeAlias: ClassifierDescriptorWithTypeParameters = targetComponents.findClassOrTypeAlias(classId)
if (classId.packageFqName.isUnderStandardKotlinPackages || !targetComponents.isCommon) {
// classifier type could be only type alias
classOrTypeAlias.checkClassifierType<TypeAliasDescriptor>()
} else {
// classifier could be class or type alias
classOrTypeAlias
}
}
is CirClassifierId.TypeParameter -> {
val name = classifierId.name
typeParameterResolver.resolve(name)
?: error("Type parameter $name not found in ${typeParameterResolver::class.java}, $typeParameterResolver for ${targetComponents.target}")
}
}
val simpleType = simpleType(
annotations = Annotations.EMPTY,
constructor = classifier.typeConstructor,
arguments = arguments.map { it.buildArgument(targetComponents, typeParameterResolver) },
nullable = isMarkedNullable,
kotlinTypeRefiner = null
)
val computedType = if (classifier is TypeAliasDescriptor)
classifier.underlyingType.makeNullableAsSpecified(simpleType.isMarkedNullable).withAbbreviation(simpleType)
else
simpleType
return if (isDefinitelyNotNullType)
computedType.makeSimpleTypeDefinitelyNotNullOrNotNull()
else
computedType
}
private inline fun <reified T : ClassifierDescriptorWithTypeParameters> ClassifierDescriptorWithTypeParameters.checkClassifierType(): T {
check(this is T) { "Mismatched classifier kinds.\nFound: ${this::class.java}, $this\nShould be: ${T::class.java}" }
return this
}
private fun CirTypeProjection.buildArgument(
targetComponents: TargetDeclarationsBuilderComponents,
typeParameterResolver: TypeParameterResolver
): TypeProjection =
if (isStarProjection) {
StarProjectionForAbsentTypeParameter(targetComponents.builtIns)
} else {
TypeProjectionImpl(projectionKind, type.buildType(targetComponents, typeParameterResolver))
}
|
