arrow-analysis-kotlin-plugin/arrow.meta.plugins.analysis.errors/MetaErrors

MetaErrors

interface MetaErrors
Content copied to clipboard

Properties

_initializer
Link copied to clipboard
val _initializer: Any
Content copied to clipboard
needed to prevent NPE in org.jetbrains.kotlin.diagnostics.rendering.DefaultErrorMessages#getRendererForDiagnostic(org.jetbrains.kotlin.diagnostics.
AnalysisException
Link copied to clipboard
val AnalysisException: DiagnosticFactory1<PsiElement, String>
Content copied to clipboard
ErrorParsingPredicate
Link copied to clipboard
val ErrorParsingPredicate: DiagnosticFactory1<PsiElement, String>
Content copied to clipboard
InconsistentBodyPre
Link copied to clipboard
val InconsistentBodyPre: DiagnosticFactory1<PsiElement, String>
Content copied to clipboard
InconsistentCallPost
Link copied to clipboard
val InconsistentCallPost: DiagnosticFactory1<PsiElement, String>
Content copied to clipboard
InconsistentConditions
Link copied to clipboard
val InconsistentConditions: DiagnosticFactory1<PsiElement, String>
Content copied to clipboard
InconsistentInvariants
Link copied to clipboard
val InconsistentInvariants: DiagnosticFactory1<PsiElement, String>
Content copied to clipboard
LiskovProblem
Link copied to clipboard
val LiskovProblem: DiagnosticFactory1<PsiElement, String>
Content copied to clipboard
UnsatBodyPost
Link copied to clipboard
val UnsatBodyPost: DiagnosticFactory1<PsiElement, String>
Content copied to clipboard
UnsatCallPre
Link copied to clipboard
val UnsatCallPre: DiagnosticFactory1<PsiElement, String>
Content copied to clipboard
UnsatInvariants
Link copied to clipboard
val UnsatInvariants: DiagnosticFactory1<PsiElement, String>
Content copied to clipboard
UnsupportedElement
Link copied to clipboard
val UnsupportedElement: DiagnosticFactory1<PsiElement, String>
Content copied to clipboard