JavaResolutionContext

class JavaResolutionContext(state: SolverState?, ctx: AnalysisContext) : ResolutionContext

Functions

backingPropertyForConstructorParameter

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

constraintsDSLElements

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

descriptorFor

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

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

handleError

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

reportAnalysisException

reportInconsistentCallPost

reportInconsistentConditions

reportInconsistentInvariants

reportLiskovProblem

fun reportLiskovProblem(expression: Element, msg: String)

reportUnsatInvariants

fun reportUnsatInvariants(expression: Element, msg: String)

reportUnsupported

fun reportUnsupported(expression: Element, msg: String)

type

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

module

open override val module: ModuleDescriptor

types

open override val types: Types