arrow-analysis-kotlin-plugin/arrow.meta.plugins.analysis.phases.analysis.solver.ast.kotlin/KotlinResolutionContext

KotlinResolutionContext

class KotlinResolutionContext(state: SolverState?, impl: BindingTrace, moduleImpl: ModuleDescriptor) : ResolutionContext, BindingTrace

Functions

backingPropertyForConstructorParameter

open override fun backingPropertyForConstructorParameter(parameter: ValueParameterDescriptor): PropertyDescriptor?

constraintsDSLElements

open override fun Element.constraintsDSLElements(): List<Element>

Recursively walks this element for calls to arrow.analysis.pre and arrow.analysis.post that hold preconditions

descriptorFor

open override fun descriptorFor(declaration: Declaration): DeclarationDescriptor?

open override fun descriptorFor(fqName: FqName): List<DeclarationDescriptor>

get

@Nullable

open operator override fun <K : Any, V : Any> get(p0: ReadOnlySlice<K, V>, p1: K): V?

getBindingContext

@NotNull

open override fun getBindingContext(): BindingContext

getKeys

@NotNull

open override fun <K : Any, V : Any> getKeys(p0: WritableSlice<K, V>): MutableCollection<K>

getType

@Nullable

open override fun getType(@NotNull p0: KtExpression): KotlinType?

handleError

open override fun handleError(error: ErrorIds, element: Element, msg: String)

record

open override fun <K : Any> record(p0: WritableSlice<K, Boolean>, p1: K)

open override fun <K : Any, V : Any> record(p0: WritableSlice<K, V>, p1: K, p2: V)

recordType

open override fun recordType(@NotNull p0: KtExpression, @Nullable p1: KotlinType?)

report

open override fun report(@NotNull p0: Diagnostic)

reportAnalysisException

fun reportAnalysisException(element: Element, msg: String)

reportInconsistentCallPost

fun reportInconsistentCallPost(expression: Element, msg: String)

reportInconsistentConditions

fun reportInconsistentConditions(expression: Element, msg: String)

reportInconsistentInvariants

fun reportInconsistentInvariants(expression: Element, msg: String)

reportLiskovProblem

fun reportLiskovProblem(expression: Element, msg: String)

reportUnsatInvariants

fun reportUnsatInvariants(expression: Element, msg: String)

reportUnsupported

fun reportUnsupported(expression: Element, msg: String)

resetCallback

open fun resetCallback()

setCallback

open fun setCallback(@NotNull p0: DiagnosticSink.DiagnosticsCallback)

type

open override fun type(typeReference: TypeReference?): Type?

wantsDiagnostics

open override fun wantsDiagnostics(): Boolean

Properties

module

open override val module: ModuleDescriptor

types

open override val types: Types