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> |