azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[FIR] VariableStorageImpl: add debug info

Browse Source 
^KT-60319
^KT-61407
This commit is contained in:
Dmitrii Gridin
2023-08-22 14:48:07 +02:00
committed by Space Team
parent 0aefd3b371
commit c01d27a61e
1 changed files with 13 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/semantics/src/org/jetbrains/kotlin/fir/resolve/dfa/VariableStorageImpl.kt
+13 -2
View File
@@ -27,6 +27,10 @@ import org.jetbrains.kotlin.fir.symbols.FirBasedSymbol
import org.jetbrains.kotlin.fir.symbols.impl.*
import org.jetbrains.kotlin.fir.types.ConeClassLikeType
import org.jetbrains.kotlin.fir.types.coneTypeSafe
import org.jetbrains.kotlin.fir.utils.exceptions.withFirEntry
import org.jetbrains.kotlin.fir.utils.exceptions.withFirSymbolEntry
import org.jetbrains.kotlin.utils.exceptions.errorWithAttachment
import org.jetbrains.kotlin.utils.exceptions.requireWithAttachment
@OptIn(DfaInternals::class)
class VariableStorageImpl(private val session: FirSession) : VariableStorage() {
@@ -47,7 +51,12 @@ class VariableStorageImpl(private val session: FirSession) : VariableStorage() {
val realFir = fir.unwrapElement()
val identifier = getIdentifierBySymbol(flow, symbol, realFir)
val stability = symbol.getStability(fir)
requireNotNull(stability) { "Stability for initialized variable always should be computable" }
requireWithAttachment(stability != null, { "Stability for initialized variable always should be computable" }) {
withFirSymbolEntry("symbol", symbol)
withFirEntry("fir", fir)
withEntry("identifier", identifier.toString())
}
return _realVariables[identifier] ?: createReal(flow, identifier, realFir, stability)
}
@@ -172,7 +181,9 @@ class VariableStorageImpl(private val session: FirSession) : VariableStorage() {
when (val receiverFir = receiverSymbol.fir) {
is FirAnonymousObject -> PropertyStability.STABLE_VALUE
is FirRegularClass -> if (receiverFir.modality == Modality.FINAL) PropertyStability.STABLE_VALUE else PropertyStability.PROPERTY_WITH_GETTER
else -> throw IllegalStateException("Should not be here: $receiverFir")
else -> errorWithAttachment("Should not be here: $${receiverFir::class.simpleName}") {
withFirEntry("fir", receiverFir)
}
}
}
else -> {