Please wait. This can take some minutes ...
Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $
You can buy this project and download/modify it how often you want.
.kotlin.kotlin-compiler.1.3.11.source-code.treeBasedTypes.kt Maven / Gradle / Ivy
/*
* Copyright 2010-2017 JetBrains s.r.o.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package org.jetbrains.kotlin.javac.wrappers.trees
import com.sun.source.tree.CompilationUnitTree
import com.sun.tools.javac.code.BoundKind
import com.sun.tools.javac.tree.JCTree
import org.jetbrains.kotlin.builtins.PrimitiveType
import org.jetbrains.kotlin.javac.JavacWrapper
import org.jetbrains.kotlin.javac.resolve.MockKotlinClassifier
import org.jetbrains.kotlin.load.java.structure.*
import org.jetbrains.kotlin.name.FqName
import org.jetbrains.kotlin.resolve.jvm.JvmPrimitiveType
import javax.lang.model.type.TypeKind
abstract class TreeBasedType(
val tree: T,
val compilationUnit: CompilationUnitTree,
val javac: JavacWrapper,
private val allAnnotations: Collection,
protected val containingElement: JavaElement
) : JavaType, JavaAnnotationOwner {
override val annotations: Collection
get() = allAnnotations.filterTypeAnnotations()
companion object {
fun create(tree: JCTree, compilationUnit: CompilationUnitTree,
javac: JavacWrapper, annotations: Collection,
containingElement: JavaElement): JavaType {
return when (tree) {
is JCTree.JCPrimitiveTypeTree -> TreeBasedPrimitiveType(tree, compilationUnit, javac, annotations, containingElement)
is JCTree.JCArrayTypeTree -> TreeBasedArrayType(tree, compilationUnit, javac, annotations, containingElement)
is JCTree.JCWildcard -> TreeBasedWildcardType(tree, compilationUnit, javac, annotations, containingElement)
is JCTree.JCTypeApply -> TreeBasedGenericClassifierType(tree, compilationUnit, javac, annotations, containingElement)
is JCTree.JCAnnotatedType -> {
val underlyingType = tree.underlyingType
val newAnnotations = tree.annotations
.map { TreeBasedAnnotation(it, compilationUnit, javac, containingElement) }
create(underlyingType, compilationUnit, javac, newAnnotations, containingElement)
}
is JCTree.JCExpression -> TreeBasedNonGenericClassifierType(tree, compilationUnit, javac, annotations, containingElement)
else -> throw UnsupportedOperationException("Unsupported type: $tree")
}
}
}
override val isDeprecatedInJavaDoc: Boolean
get() = false
override fun findAnnotation(fqName: FqName) = annotations.find { it.classId?.asSingleFqName() == fqName }
override fun equals(other: Any?) = (other as? TreeBasedType<*>)?.tree == tree
override fun hashCode() = tree.hashCode()
override fun toString() = tree.toString()
}
class TreeBasedPrimitiveType(
tree: JCTree.JCPrimitiveTypeTree,
compilationUnit: CompilationUnitTree,
javac: JavacWrapper,
allAnnotations: Collection,
containingElement: JavaElement
) : TreeBasedType(tree, compilationUnit, javac, allAnnotations, containingElement), JavaPrimitiveType {
override val type: PrimitiveType?
get() = if (tree.primitiveTypeKind == TypeKind.VOID) {
null
}
else {
JvmPrimitiveType.get(tree.toString()).primitiveType
}
}
class TreeBasedArrayType(
tree: JCTree.JCArrayTypeTree,
compilationUnit: CompilationUnitTree,
javac: JavacWrapper,
allAnnotations: Collection,
containingElement: JavaElement
) : TreeBasedType(tree, compilationUnit, javac, allAnnotations, containingElement), JavaArrayType {
override val componentType: JavaType
get() = create(tree.elemtype, compilationUnit, javac, annotations, containingElement)
}
class TreeBasedWildcardType(
tree: JCTree.JCWildcard,
compilationUnit: CompilationUnitTree,
javac: JavacWrapper,
allAnnotations: Collection,
containingElement: JavaElement
) : TreeBasedType(tree, compilationUnit, javac, allAnnotations, containingElement), JavaWildcardType {
override val bound: JavaType?
get() = tree.bound?.let { create(it, compilationUnit, javac, annotations, containingElement) }
override val isExtends: Boolean
get() = tree.kind.kind == BoundKind.EXTENDS
}
sealed class TreeBasedClassifierType(
tree: T,
compilationUnit: CompilationUnitTree,
javac: JavacWrapper,
allAnnotations: Collection,
containingElement: JavaElement
) : TreeBasedType(tree, compilationUnit, javac, allAnnotations, containingElement), JavaClassifierType {
override val classifier: JavaClassifier?
by lazy { javac.resolve(tree, compilationUnit, containingElement) }
override val classifierQualifiedName: String
get() = (classifier as? JavaClass)?.fqName?.asString() ?: tree.toString().substringBefore("<")
override val presentableText: String
get() = classifierQualifiedName
override val typeArguments: List
get() {
var tree: JCTree = tree
if (tree is JCTree.JCTypeApply) {
tree = tree.clazz
}
if (tree is JCTree.JCFieldAccess) {
val enclosingType = TreeBasedType.create(tree.selected, compilationUnit, javac, annotations, containingElement)
return (enclosingType as? JavaClassifierType)?.typeArguments ?: emptyList()
}
else {
val classifier = classifier as? JavaClass ?: return emptyList()
if (classifier is MockKotlinClassifier || classifier.isStatic) return emptyList()
return arrayListOf().apply {
var outer = classifier.outerClass
var staticType = false
while (outer != null && !staticType) {
if (outer.isStatic) {
staticType = true
}
add(outer)
outer = outer.outerClass
}
}.flatMap { it.typeParameters.map(::TreeBasedTypeParameterType) }
}
}
}
class TreeBasedTypeParameterType(override val classifier: JavaTypeParameter) : JavaClassifierType {
override val typeArguments: List
get() = emptyList()
override val isRaw: Boolean
get() = false
override val annotations: Collection
get() = classifier.annotations.filterTypeAnnotations()
override val classifierQualifiedName: String
get() = classifier.name.asString()
override val presentableText: String
get() = classifierQualifiedName
override fun findAnnotation(fqName: FqName) = annotations.find { it.classId?.asSingleFqName() == fqName }
override val isDeprecatedInJavaDoc: Boolean
get() = false
}
class TreeBasedNonGenericClassifierType(
tree: JCTree.JCExpression,
compilationUnit: CompilationUnitTree,
javac: JavacWrapper,
annotations: Collection,
containingElement: JavaElement
) : TreeBasedClassifierType(tree, compilationUnit, javac, annotations, containingElement) {
override val isRaw: Boolean
get() = (classifier as? MockKotlinClassifier)?.hasTypeParameters
?: (classifier as? JavaClass)?.typeParameters?.isNotEmpty()
?: false
}
class TreeBasedGenericClassifierType(
tree: JCTree.JCTypeApply,
compilationUnit: CompilationUnitTree,
javac: JavacWrapper,
annotations: Collection,
containingElement: JavaElement
) : TreeBasedClassifierType(tree, compilationUnit, javac, annotations, containingElement) {
override val classifier: JavaClassifier?
by lazy {
val newTree = tree.clazz
if (newTree is JCTree.JCAnnotatedType) {
javac.resolve(newTree.underlyingType, compilationUnit, containingElement)
}
else super.classifier
}
override val annotations: Collection
get() {
val newTree = tree.clazz
return (newTree as? JCTree.JCAnnotatedType)?.annotations?.map { TreeBasedAnnotation(it, compilationUnit, javac, containingElement) }
?.toMutableList()
?.apply { addAll(super.annotations) }
?: super.annotations
}
override val typeArguments: List
get() = tree.arguments.map { create(it, compilationUnit, javac, emptyList(), containingElement) }
.toMutableList()
.apply { addAll(super.typeArguments) }
override val isRaw: Boolean
get() = classifier.let {
when (it) {
is MockKotlinClassifier -> tree.arguments.size != it.typeParametersNumber
else -> tree.arguments.size != (classifier as? JavaClass)?.typeParameters?.size
}
}
}