All Downloads are FREE. Search and download functionalities are using the official Maven repository.

org.jetbrains.kotlin.types.KotlinTypeImpl.kt Maven / Gradle / Ivy

There is a newer version: 2.0.20
Show newest version
/*
 * Copyright 2010-2015 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.types

import org.jetbrains.kotlin.descriptors.ClassDescriptor
import org.jetbrains.kotlin.descriptors.annotations.Annotations
import org.jetbrains.kotlin.resolve.scopes.MemberScope

open class KotlinTypeImpl
private constructor(
        private val annotations: Annotations,
        private val constructor: TypeConstructor,
        private val nullable: Boolean,
        private val arguments: List,
        private val substitution: TypeSubstitution?,
        private val memberScope: MemberScope
) : AbstractKotlinType() {

    companion object {
        @JvmStatic fun create(annotations: Annotations,
                              constructor: TypeConstructor,
                              nullable: Boolean,
                              arguments: List,
                              memberScope: MemberScope): KotlinTypeImpl

                = KotlinTypeImpl(annotations, constructor, nullable, arguments, null, memberScope)

        @JvmStatic fun create(annotations: Annotations,
                              constructor: TypeConstructor,
                              nullable: Boolean,
                              arguments: List,
                              substitution: TypeSubstitution,
                              memberScope: MemberScope,
                              capabilities: TypeCapabilities
        ): KotlinTypeImpl {
            if (capabilities !== TypeCapabilities.NONE) {
                return WithCapabilities(annotations, constructor, nullable, arguments, substitution, memberScope, capabilities)
            }
            return KotlinTypeImpl(annotations, constructor, nullable, arguments, substitution, memberScope)
        }

        @JvmStatic fun create(annotations: Annotations,
                              descriptor: ClassDescriptor,
                              nullable: Boolean,
                              arguments: List): KotlinTypeImpl

                = KotlinTypeImpl(
                    annotations, descriptor.typeConstructor, nullable, arguments, null, descriptor.getMemberScope(arguments)
                )
    }

    private class WithCapabilities(
            annotations: Annotations,
            constructor: TypeConstructor,
            nullable: Boolean,
            arguments: List,
            substitution: TypeSubstitution?,
            memberScope: MemberScope,
            private val typeCapabilities: TypeCapabilities
    ) : KotlinTypeImpl(annotations, constructor, nullable, arguments, substitution, memberScope) {
        override fun getCapabilities(): TypeCapabilities = typeCapabilities
    }

    init {
        if (memberScope is ErrorUtils.ErrorScope) {
            throw IllegalStateException("JetTypeImpl should not be created for error type: $memberScope\n$constructor")
        }
    }

    override fun getAnnotations() = annotations

    override fun getSubstitution(): TypeSubstitution {
        if (substitution == null) {
            return TypeConstructorSubstitution.create(getConstructor(), getArguments())
        }
        return substitution
    }

    override fun getConstructor() = constructor

    override fun getArguments() = arguments

    override fun isMarkedNullable() = nullable

    override fun getMemberScope() = memberScope

    override fun isError() = false
}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy