org.jetbrains.kotlin.resolve.konan.diagnostics.NativeTopLevelSingletonChecker.kt Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of kotlin-compiler Show documentation

Kotlin Compiler

There is a newer version: 2.0.0

/*
 * 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.resolve.konan.diagnostics

import org.jetbrains.kotlin.descriptors.*
import org.jetbrains.kotlin.name.FqName
import org.jetbrains.kotlin.psi.KtDeclaration
import org.jetbrains.kotlin.psi.KtProperty
import org.jetbrains.kotlin.resolve.DescriptorToSourceUtils
import org.jetbrains.kotlin.resolve.DescriptorUtils
import org.jetbrains.kotlin.resolve.checkers.DeclarationChecker
import org.jetbrains.kotlin.resolve.checkers.DeclarationCheckerContext
import org.jetbrains.kotlin.resolve.hasBackingField

object NativeTopLevelSingletonChecker : DeclarationChecker {
    private val threadLocalFqName = FqName("kotlin.native.concurrent.ThreadLocal")

    override fun check(declaration: KtDeclaration, descriptor: DeclarationDescriptor, context: DeclarationCheckerContext) {
        // Check variables inside singletons.
        if (descriptor !is PropertyDescriptor) return
        (descriptor.containingDeclaration as? ClassDescriptor)?.let { parent ->
            val hasBackingFieldWithDefaultSetter = descriptor.hasBackingField(context.trace.bindingContext) &&
                    descriptor.setter?.isDefault == true
            val hasDelegate = if (declaration is KtProperty) declaration.delegate != null else false

            if (descriptor.isVar && (DescriptorUtils.isEnumClass(parent) || DescriptorUtils.isEnumEntry(parent)) &&
                hasBackingFieldWithDefaultSetter && !hasDelegate) {
                context.trace.report(ErrorsNative.VARIABLE_IN_ENUM.on(declaration))
            } else if (parent.kind.isSingleton) {
                parent.annotations.findAnnotation(threadLocalFqName) ?: run {
                    if (descriptor.isVar && !hasDelegate && hasBackingFieldWithDefaultSetter) {
                        context.trace.report(ErrorsNative.VARIABLE_IN_SINGLETON_WITHOUT_THREAD_LOCAL.on(declaration))
                    }
                }
            }
        }
    }
}