arrow-analysis-java-plugin/arrow.meta.plugins.analysis.java.ast/JavaResolutionContext

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>

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

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

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

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)

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

Properties

open override val module: ModuleDescriptor

open override val types: Types