arrow-analysis-common/arrow.meta.plugins.analysis.phases.analysis.solver.check

Package arrow.meta.plugins.analysis.phases.analysis.solver.check

Types

ParamInfo
Link copied to clipboard
data class ParamInfo(name: String, smtName: String, type: Type?, element: Element?, thisFromConstructor: Boolean)
Content copied to clipboard

Functions

checkDeclarationConstraints
Link copied to clipboard
fun SolverState.checkDeclarationConstraints(context: ResolutionContext, declaration: Declaration, descriptor: DeclarationDescriptor)
Content copied to clipboard

When the solver is in the prover state check this declaration body constraints