Package arrow.
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.