FIR: move FirModifierList to module 'fir:checkers'
To remove dependency of a large module 'fir:tree' on 'psi', allowing them to compile in parallel.
This commit is contained in:
+18
-2
@@ -3,7 +3,7 @@
|
|||||||
* Use of this source code is governed by the Apache 2.0 license that can be found in the license/LICENSE.txt file.
|
* 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.fir
|
package org.jetbrains.kotlin.fir.analysis.checkers
|
||||||
|
|
||||||
import com.intellij.lang.ASTNode
|
import com.intellij.lang.ASTNode
|
||||||
import com.intellij.lang.LighterASTNode
|
import com.intellij.lang.LighterASTNode
|
||||||
@@ -11,14 +11,30 @@ import com.intellij.openapi.util.Ref
|
|||||||
import com.intellij.psi.PsiElement
|
import com.intellij.psi.PsiElement
|
||||||
import com.intellij.psi.tree.TokenSet
|
import com.intellij.psi.tree.TokenSet
|
||||||
import com.intellij.util.diff.FlyweightCapableTreeStructure
|
import com.intellij.util.diff.FlyweightCapableTreeStructure
|
||||||
|
import org.jetbrains.kotlin.KtNodeTypes
|
||||||
|
import org.jetbrains.kotlin.fir.*
|
||||||
import org.jetbrains.kotlin.lexer.KtModifierKeywordToken
|
import org.jetbrains.kotlin.lexer.KtModifierKeywordToken
|
||||||
import org.jetbrains.kotlin.lexer.KtTokens
|
import org.jetbrains.kotlin.lexer.KtTokens
|
||||||
import org.jetbrains.kotlin.psi.KtModifierList
|
import org.jetbrains.kotlin.psi.KtModifierList
|
||||||
|
import org.jetbrains.kotlin.psi.KtModifierListOwner
|
||||||
|
|
||||||
sealed class FirModifierList {
|
sealed class FirModifierList {
|
||||||
abstract val modifiers: List<FirModifier<*>>
|
abstract val modifiers: List<FirModifier<*>>
|
||||||
}
|
}
|
||||||
|
|
||||||
|
fun FirSourceElement?.getModifierList(): FirModifierList? {
|
||||||
|
return when (this) {
|
||||||
|
null -> null
|
||||||
|
is FirPsiSourceElement<*> -> (psi as? KtModifierListOwner)?.modifierList?.let { FirPsiModifierList(it) }
|
||||||
|
is FirLightSourceElement -> {
|
||||||
|
val kidsRef = Ref<Array<LighterASTNode?>>()
|
||||||
|
tree.getChildren(element, kidsRef)
|
||||||
|
val modifierListNode = kidsRef.get().find { it?.tokenType == KtNodeTypes.MODIFIER_LIST } ?: return null
|
||||||
|
FirLightModifierList(modifierListNode, tree)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
private val MODIFIER_KEYWORD_SET = TokenSet.orSet(KtTokens.SOFT_KEYWORDS, TokenSet.create(KtTokens.IN_KEYWORD, KtTokens.FUN_KEYWORD))
|
private val MODIFIER_KEYWORD_SET = TokenSet.orSet(KtTokens.SOFT_KEYWORDS, TokenSet.create(KtTokens.IN_KEYWORD, KtTokens.FUN_KEYWORD))
|
||||||
|
|
||||||
class FirPsiModifierList(val modifierList: KtModifierList) : FirModifierList() {
|
class FirPsiModifierList(val modifierList: KtModifierList) : FirModifierList() {
|
||||||
@@ -67,4 +83,4 @@ val FirModifier<*>.source: FirSourceElement?
|
|||||||
val endOffset = tree.getEndOffset(node)
|
val endOffset = tree.getEndOffset(node)
|
||||||
node.toFirLightSourceElement(startOffset, endOffset, tree)
|
node.toFirLightSourceElement(startOffset, endOffset, tree)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
+10
-4
@@ -6,11 +6,18 @@
|
|||||||
package org.jetbrains.kotlin.fir.analysis.checkers.declaration
|
package org.jetbrains.kotlin.fir.analysis.checkers.declaration
|
||||||
|
|
||||||
import org.jetbrains.kotlin.KtNodeTypes
|
import org.jetbrains.kotlin.KtNodeTypes
|
||||||
import org.jetbrains.kotlin.fir.*
|
import org.jetbrains.kotlin.fir.FirSourceElement
|
||||||
|
import org.jetbrains.kotlin.fir.analysis.checkers.FirModifier
|
||||||
|
import org.jetbrains.kotlin.fir.analysis.checkers.FirModifierList
|
||||||
import org.jetbrains.kotlin.fir.analysis.checkers.context.CheckerContext
|
import org.jetbrains.kotlin.fir.analysis.checkers.context.CheckerContext
|
||||||
|
import org.jetbrains.kotlin.fir.analysis.checkers.getModifierList
|
||||||
|
import org.jetbrains.kotlin.fir.analysis.checkers.source
|
||||||
import org.jetbrains.kotlin.fir.analysis.diagnostics.DiagnosticReporter
|
import org.jetbrains.kotlin.fir.analysis.diagnostics.DiagnosticReporter
|
||||||
import org.jetbrains.kotlin.fir.analysis.diagnostics.FirErrors
|
import org.jetbrains.kotlin.fir.analysis.diagnostics.FirErrors
|
||||||
import org.jetbrains.kotlin.fir.declarations.*
|
import org.jetbrains.kotlin.fir.declarations.FirClass
|
||||||
|
import org.jetbrains.kotlin.fir.declarations.FirDeclaration
|
||||||
|
import org.jetbrains.kotlin.fir.declarations.FirProperty
|
||||||
|
import org.jetbrains.kotlin.fir.declarations.FirValueParameter
|
||||||
import org.jetbrains.kotlin.fir.declarations.impl.FirDefaultPropertyAccessor
|
import org.jetbrains.kotlin.fir.declarations.impl.FirDefaultPropertyAccessor
|
||||||
import org.jetbrains.kotlin.lexer.KtModifierKeywordToken
|
import org.jetbrains.kotlin.lexer.KtModifierKeywordToken
|
||||||
import org.jetbrains.kotlin.lexer.KtTokens.*
|
import org.jetbrains.kotlin.lexer.KtTokens.*
|
||||||
@@ -195,5 +202,4 @@ object FirModifierChecker : FirDeclarationChecker<FirDeclaration>() {
|
|||||||
val source = modifier.source
|
val source = modifier.source
|
||||||
source?.let { report(FirErrors.INCOMPATIBLE_MODIFIERS.on(it, firstKeyword, secondKeyword)) }
|
source?.let { report(FirErrors.INCOMPATIBLE_MODIFIERS.on(it, firstKeyword, secondKeyword)) }
|
||||||
}
|
}
|
||||||
|
}
|
||||||
}
|
|
||||||
|
|||||||
@@ -6,7 +6,6 @@ plugins {
|
|||||||
}
|
}
|
||||||
|
|
||||||
dependencies {
|
dependencies {
|
||||||
compile(project(":compiler:psi"))
|
|
||||||
compile(project(":compiler:frontend.common"))
|
compile(project(":compiler:frontend.common"))
|
||||||
compile(project(":core:descriptors"))
|
compile(project(":core:descriptors"))
|
||||||
compile(project(":compiler:fir:cones"))
|
compile(project(":compiler:fir:cones"))
|
||||||
|
|||||||
@@ -6,14 +6,9 @@
|
|||||||
package org.jetbrains.kotlin.fir
|
package org.jetbrains.kotlin.fir
|
||||||
|
|
||||||
import com.intellij.lang.LighterASTNode
|
import com.intellij.lang.LighterASTNode
|
||||||
import com.intellij.openapi.util.Ref
|
|
||||||
import com.intellij.psi.PsiElement
|
import com.intellij.psi.PsiElement
|
||||||
import com.intellij.psi.tree.IElementType
|
import com.intellij.psi.tree.IElementType
|
||||||
import com.intellij.util.diff.FlyweightCapableTreeStructure
|
import com.intellij.util.diff.FlyweightCapableTreeStructure
|
||||||
import org.jetbrains.kotlin.KtNodeTypes
|
|
||||||
import org.jetbrains.kotlin.psi.KtModifierListOwner
|
|
||||||
import org.jetbrains.kotlin.psi.psiUtil.endOffset
|
|
||||||
import org.jetbrains.kotlin.psi.psiUtil.startOffset
|
|
||||||
|
|
||||||
sealed class FirSourceElement {
|
sealed class FirSourceElement {
|
||||||
abstract val elementType: IElementType
|
abstract val elementType: IElementType
|
||||||
@@ -26,10 +21,10 @@ class FirPsiSourceElement<P : PsiElement>(val psi: P) : FirSourceElement() {
|
|||||||
get() = psi.node.elementType
|
get() = psi.node.elementType
|
||||||
|
|
||||||
override val startOffset: Int
|
override val startOffset: Int
|
||||||
get() = psi.startOffset
|
get() = psi.textRange.startOffset
|
||||||
|
|
||||||
override val endOffset: Int
|
override val endOffset: Int
|
||||||
get() = psi.endOffset
|
get() = psi.textRange.endOffset
|
||||||
}
|
}
|
||||||
|
|
||||||
class FirLightSourceElement(
|
class FirLightSourceElement(
|
||||||
@@ -56,16 +51,3 @@ inline fun LighterASTNode.toFirLightSourceElement(
|
|||||||
): FirLightSourceElement = FirLightSourceElement(this, startOffset, endOffset, tree)
|
): FirLightSourceElement = FirLightSourceElement(this, startOffset, endOffset, tree)
|
||||||
|
|
||||||
val FirSourceElement?.lightNode: LighterASTNode? get() = (this as? FirLightSourceElement)?.element
|
val FirSourceElement?.lightNode: LighterASTNode? get() = (this as? FirLightSourceElement)?.element
|
||||||
|
|
||||||
fun FirSourceElement?.getModifierList(): FirModifierList? {
|
|
||||||
return when (this) {
|
|
||||||
null -> null
|
|
||||||
is FirPsiSourceElement<*> -> (psi as? KtModifierListOwner)?.modifierList?.let { FirPsiModifierList(it) }
|
|
||||||
is FirLightSourceElement -> {
|
|
||||||
val kidsRef = Ref<Array<LighterASTNode?>>()
|
|
||||||
tree.getChildren(element, kidsRef)
|
|
||||||
val modifierListNode = kidsRef.get().find { it?.tokenType == KtNodeTypes.MODIFIER_LIST } ?: return null
|
|
||||||
FirLightModifierList(modifierListNode, tree)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|||||||
Reference in New Issue
Block a user