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

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

Functions

Link copied to clipboard
fun SolverState.collectConstraintsFromAnnotations(    localDeclarations: List<DeclarationDescriptor>,     module: ModuleDescriptor,     bindingTrace: ResolutionContext): Pair<AnalysisResult, Set<FqName>>
Content copied to clipboard

Collects constraints by harvesting annotations. There are two sources: local declarations, and the entire CLASSPATH.

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

Gather constraints from the local module by inspecting

Link copied to clipboard
fun SolverState.findDescriptorFromLocalLaw(descriptor: DeclarationDescriptor, bindingContext: ResolutionContext): DeclarationDescriptor?
Content copied to clipboard

Finds the target of a particular law by looking at its last return, if marked with a arrow.analysis.Law annotation.