compiler-plugin / arrow.meta.phases.analysis.diagnostic

Package arrow.meta.phases.analysis.diagnostic

Extensions for External Classes

org.jetbrains.kotlin.psi.KtDeclaration  

Properties

onIdentifyingElement val onIdentifyingElement: PositioningStrategy<KtObjectDeclaration>
onNavigationElement val onNavigationElement: PositioningStrategy<KtDeclaration>
onPublishedInternalOrphan Each element that is a witness of this strategy has an attribute that allows internal orphans to be published publicly. e.g.: PublishedApi annotationval onPublishedInternalOrphan: PositioningStrategy<KtDeclaration>
ProofRenderer val ProofRenderer: DescriptorRenderer
RenderProof val RenderProof: DiagnosticParameterRenderer<Proof>
RenderProofs val RenderProofs: DiagnosticParameterRenderer<Collection<Proof>>
RenderTypes val RenderTypes: DiagnosticParameterRenderer<KotlinType>

Functions

position fun <A : PsiElement> position(mark: (A) -> List<TextRange> = { markElement(it) }, isValid: (A) -> Boolean = { !hasSyntaxErrors(it) }, markDiagnostic: (ParametrizedDiagnostic<out A>) -> List<TextRange> = { mark(it.psiElement) }): PositioningStrategy<A>

Do you like Arrow?

Arrow Org
<