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

K2: Drop unused methods from FirInferenceSession

Browse Source
This commit is contained in:
Denis.Zharkov
2023-08-09 18:22:32 +02:00
committed by Space Team
parent 9374cacdd6
commit 9a6bff958f
2 changed files with 0 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/inference/FirInferenceSession.kt
-10
View File
@@ -14,8 +14,6 @@ import org.jetbrains.kotlin.fir.types.ConeKotlinType
import org.jetbrains.kotlin.fir.types.ConeTypeVariableTypeConstructor
import org.jetbrains.kotlin.resolve.calls.inference.ConstraintSystemBuilder
import org.jetbrains.kotlin.resolve.calls.inference.components.ConstraintSystemCompletionMode
import org.jetbrains.kotlin.types.model.StubTypeMarker
import org.jetbrains.kotlin.types.model.TypeVariableMarker
abstract class FirInferenceSession {
companion object {
@@ -33,8 +31,6 @@ abstract class FirInferenceSession {
abstract fun <T> processPartiallyResolvedCall(call: T, resolutionMode: ResolutionMode) where T : FirResolvable, T : FirStatement
abstract fun <T> addCompletedCall(call: T, candidate: Candidate) where T : FirResolvable, T : FirStatement
abstract fun registerStubTypes(map: Map<TypeVariableMarker, StubTypeMarker>)
abstract fun inferPostponedVariables(
lambda: ResolvedLambdaAtom,
constraintSystemBuilder: ConstraintSystemBuilder,
@@ -42,7 +38,6 @@ abstract class FirInferenceSession {
candidate: Candidate
): Map<ConeTypeVariableTypeConstructor, ConeKotlinType>?
abstract fun clear()
open fun <R> onCandidatesResolution(call: FirFunctionCall, candidatesResolutionCallback: () -> R) = candidatesResolutionCallback()
}
@@ -58,9 +53,4 @@ abstract class FirStubInferenceSession : FirInferenceSession() {
completionMode: ConstraintSystemCompletionMode,
candidate: Candidate
): Map<ConeTypeVariableTypeConstructor, ConeKotlinType>? = null
override fun registerStubTypes(map: Map<TypeVariableMarker, StubTypeMarker>) {}
override fun clear() {
}
}
compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/inference/FirInferenceSessionForChainedResolve.kt
-9
View File
@@ -12,13 +12,11 @@ import org.jetbrains.kotlin.fir.resolve.ResolutionMode
import org.jetbrains.kotlin.fir.resolve.calls.Candidate
import org.jetbrains.kotlin.fir.resolve.calls.ResolutionContext
import org.jetbrains.kotlin.fir.resolve.calls.candidate
import org.jetbrains.kotlin.types.model.*
abstract class FirInferenceSessionForChainedResolve(
protected val resolutionContext: ResolutionContext
) : FirInferenceSession() {
protected val partiallyResolvedCalls: MutableList<Pair<FirResolvable, Candidate>> = mutableListOf()
private val completedCalls: MutableSet<FirResolvable> = mutableSetOf()
protected val components: BodyResolveComponents
get() = resolutionContext.bodyResolveComponents
@@ -31,13 +29,6 @@ abstract class FirInferenceSessionForChainedResolve(
partiallyResolvedCalls += call to call.candidate
}
override fun registerStubTypes(map: Map<TypeVariableMarker, StubTypeMarker>) {}
protected val FirResolvable.candidate: Candidate
get() = candidate()!!
override fun clear() {
partiallyResolvedCalls.clear()
completedCalls.clear()
}
}