From d2124e1ec66bcb41ee875a0f1689966dbf04acc9 Mon Sep 17 00:00:00 2001
From: Nikolay Lunyak <lunyak.kolya@mail.ru>
Date: Fri, 13 Aug 2021 16:42:39 +0300
Subject: [PATCH] [FIR] Add checkers support for FirBackingField

---
 .../src/org/jetbrains/kotlin/fir/checkers/generator/Main.kt   | 1 +
 .../checkers/declaration/ComposedDeclarationCheckers.kt       | 4 ++++
 .../fir/analysis/checkers/declaration/DeclarationCheckers.kt  | 2 ++
 .../checkers/declaration/FirDeclarationCheckerAliases.kt      | 2 ++
 .../components/DeclarationCheckersDiagnosticComponent.kt      | 4 ++++
 5 files changed, 13 insertions(+)

diff --git a/compiler/fir/checkers/checkers-component-generator/src/org/jetbrains/kotlin/fir/checkers/generator/Main.kt b/compiler/fir/checkers/checkers-component-generator/src/org/jetbrains/kotlin/fir/checkers/generator/Main.kt
index 503cc41b05c..1b8aced049d 100644
--- a/compiler/fir/checkers/checkers-component-generator/src/org/jetbrains/kotlin/fir/checkers/generator/Main.kt
+++ b/compiler/fir/checkers/checkers-component-generator/src/org/jetbrains/kotlin/fir/checkers/generator/Main.kt
@@ -72,6 +72,7 @@ fun main(args: Array<String>) {
         alias<FirTypeAlias>("TypeAliasChecker")
         alias<FirAnonymousFunction>("AnonymousFunctionChecker")
         alias<FirPropertyAccessor>("PropertyAccessorChecker")
+        alias<FirBackingField>("BackingFieldChecker")
         alias<FirValueParameter>("ValueParameterChecker")
         alias<FirEnumEntry>("EnumEntryChecker")
         alias<FirAnonymousObject>("AnonymousObjectChecker")
diff --git a/compiler/fir/checkers/gen/org/jetbrains/kotlin/fir/analysis/checkers/declaration/ComposedDeclarationCheckers.kt b/compiler/fir/checkers/gen/org/jetbrains/kotlin/fir/analysis/checkers/declaration/ComposedDeclarationCheckers.kt
index 240ca0ae349..df52b713137 100644
--- a/compiler/fir/checkers/gen/org/jetbrains/kotlin/fir/analysis/checkers/declaration/ComposedDeclarationCheckers.kt
+++ b/compiler/fir/checkers/gen/org/jetbrains/kotlin/fir/analysis/checkers/declaration/ComposedDeclarationCheckers.kt
@@ -41,6 +41,8 @@ class ComposedDeclarationCheckers : DeclarationCheckers() {
         get() = _anonymousFunctionCheckers
     override val propertyAccessorCheckers: Set<FirPropertyAccessorChecker>
         get() = _propertyAccessorCheckers
+    override val backingFieldCheckers: Set<FirBackingFieldChecker>
+        get() = _backingFieldCheckers
     override val valueParameterCheckers: Set<FirValueParameterChecker>
         get() = _valueParameterCheckers
     override val enumEntryCheckers: Set<FirEnumEntryChecker>
@@ -67,6 +69,7 @@ class ComposedDeclarationCheckers : DeclarationCheckers() {
     private val _typeAliasCheckers: MutableSet<FirTypeAliasChecker> = mutableSetOf()
     private val _anonymousFunctionCheckers: MutableSet<FirAnonymousFunctionChecker> = mutableSetOf()
     private val _propertyAccessorCheckers: MutableSet<FirPropertyAccessorChecker> = mutableSetOf()
+    private val _backingFieldCheckers: MutableSet<FirBackingFieldChecker> = mutableSetOf()
     private val _valueParameterCheckers: MutableSet<FirValueParameterChecker> = mutableSetOf()
     private val _enumEntryCheckers: MutableSet<FirEnumEntryChecker> = mutableSetOf()
     private val _anonymousObjectCheckers: MutableSet<FirAnonymousObjectChecker> = mutableSetOf()
@@ -89,6 +92,7 @@ class ComposedDeclarationCheckers : DeclarationCheckers() {
         _typeAliasCheckers += checkers.typeAliasCheckers
         _anonymousFunctionCheckers += checkers.anonymousFunctionCheckers
         _propertyAccessorCheckers += checkers.propertyAccessorCheckers
+        _backingFieldCheckers += checkers.backingFieldCheckers
         _valueParameterCheckers += checkers.valueParameterCheckers
         _enumEntryCheckers += checkers.enumEntryCheckers
         _anonymousObjectCheckers += checkers.anonymousObjectCheckers
diff --git a/compiler/fir/checkers/gen/org/jetbrains/kotlin/fir/analysis/checkers/declaration/DeclarationCheckers.kt b/compiler/fir/checkers/gen/org/jetbrains/kotlin/fir/analysis/checkers/declaration/DeclarationCheckers.kt
index e4522a8aa2a..d3fe426fb2f 100644
--- a/compiler/fir/checkers/gen/org/jetbrains/kotlin/fir/analysis/checkers/declaration/DeclarationCheckers.kt
+++ b/compiler/fir/checkers/gen/org/jetbrains/kotlin/fir/analysis/checkers/declaration/DeclarationCheckers.kt
@@ -32,6 +32,7 @@ abstract class DeclarationCheckers {
     open val typeAliasCheckers: Set<FirTypeAliasChecker> = emptySet()
     open val anonymousFunctionCheckers: Set<FirAnonymousFunctionChecker> = emptySet()
     open val propertyAccessorCheckers: Set<FirPropertyAccessorChecker> = emptySet()
+    open val backingFieldCheckers: Set<FirBackingFieldChecker> = emptySet()
     open val valueParameterCheckers: Set<FirValueParameterChecker> = emptySet()
     open val enumEntryCheckers: Set<FirEnumEntryChecker> = emptySet()
     open val anonymousObjectCheckers: Set<FirAnonymousObjectChecker> = emptySet()
@@ -53,6 +54,7 @@ abstract class DeclarationCheckers {
     @CheckersComponentInternal internal val allTypeAliasCheckers: Set<FirTypeAliasChecker> by lazy { typeAliasCheckers + annotatedDeclarationCheckers + basicDeclarationCheckers }
     @CheckersComponentInternal internal val allAnonymousFunctionCheckers: Set<FirAnonymousFunctionChecker> by lazy { anonymousFunctionCheckers + functionCheckers + annotatedDeclarationCheckers + basicDeclarationCheckers }
     @CheckersComponentInternal internal val allPropertyAccessorCheckers: Set<FirPropertyAccessorChecker> by lazy { propertyAccessorCheckers + functionCheckers + annotatedDeclarationCheckers + basicDeclarationCheckers }
+    @CheckersComponentInternal internal val allBackingFieldCheckers: Set<FirBackingFieldChecker> by lazy { backingFieldCheckers + annotatedDeclarationCheckers + basicDeclarationCheckers }
     @CheckersComponentInternal internal val allValueParameterCheckers: Set<FirValueParameterChecker> by lazy { valueParameterCheckers + annotatedDeclarationCheckers + basicDeclarationCheckers }
     @CheckersComponentInternal internal val allEnumEntryCheckers: Set<FirEnumEntryChecker> by lazy { enumEntryCheckers + annotatedDeclarationCheckers + basicDeclarationCheckers }
     @CheckersComponentInternal internal val allAnonymousObjectCheckers: Set<FirAnonymousObjectChecker> by lazy { anonymousObjectCheckers + classCheckers + annotatedDeclarationCheckers + basicDeclarationCheckers }
diff --git a/compiler/fir/checkers/gen/org/jetbrains/kotlin/fir/analysis/checkers/declaration/FirDeclarationCheckerAliases.kt b/compiler/fir/checkers/gen/org/jetbrains/kotlin/fir/analysis/checkers/declaration/FirDeclarationCheckerAliases.kt
index 84248e43c7c..07c21c26057 100644
--- a/compiler/fir/checkers/gen/org/jetbrains/kotlin/fir/analysis/checkers/declaration/FirDeclarationCheckerAliases.kt
+++ b/compiler/fir/checkers/gen/org/jetbrains/kotlin/fir/analysis/checkers/declaration/FirDeclarationCheckerAliases.kt
@@ -14,6 +14,7 @@ import org.jetbrains.kotlin.fir.declarations.FirAnnotatedDeclaration
 import org.jetbrains.kotlin.fir.declarations.FirAnonymousFunction
 import org.jetbrains.kotlin.fir.declarations.FirAnonymousInitializer
 import org.jetbrains.kotlin.fir.declarations.FirAnonymousObject
+import org.jetbrains.kotlin.fir.declarations.FirBackingField
 import org.jetbrains.kotlin.fir.declarations.FirClass
 import org.jetbrains.kotlin.fir.declarations.FirConstructor
 import org.jetbrains.kotlin.fir.declarations.FirDeclaration
@@ -41,6 +42,7 @@ typealias FirAnnotatedDeclarationChecker = FirDeclarationChecker<FirAnnotatedDec
 typealias FirTypeAliasChecker = FirDeclarationChecker<FirTypeAlias>
 typealias FirAnonymousFunctionChecker = FirDeclarationChecker<FirAnonymousFunction>
 typealias FirPropertyAccessorChecker = FirDeclarationChecker<FirPropertyAccessor>
+typealias FirBackingFieldChecker = FirDeclarationChecker<FirBackingField>
 typealias FirValueParameterChecker = FirDeclarationChecker<FirValueParameter>
 typealias FirEnumEntryChecker = FirDeclarationChecker<FirEnumEntry>
 typealias FirAnonymousObjectChecker = FirDeclarationChecker<FirAnonymousObject>
diff --git a/compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/collectors/components/DeclarationCheckersDiagnosticComponent.kt b/compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/collectors/components/DeclarationCheckersDiagnosticComponent.kt
index d64ae4b4330..8d54187f379 100644
--- a/compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/collectors/components/DeclarationCheckersDiagnosticComponent.kt
+++ b/compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/collectors/components/DeclarationCheckersDiagnosticComponent.kt
@@ -57,6 +57,10 @@ class DeclarationCheckersDiagnosticComponent(
         checkers.allPropertyAccessorCheckers.check(propertyAccessor, data, reporter)
     }
 
+    override fun visitBackingField(backingField: FirBackingField, data: CheckerContext) {
+        checkers.allBackingFieldCheckers.check(backingField, data, reporter)
+    }
+
     override fun visitValueParameter(valueParameter: FirValueParameter, data: CheckerContext) {
         checkers.allValueParameterCheckers.check(valueParameter, data, reporter)
     }