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

MetaErrors

interface MetaErrors
Content copied to clipboard

Properties

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.
Link copied to clipboard
val AnalysisException: DiagnosticFactory1<PsiElement, String>
Content copied to clipboard
Link copied to clipboard
val ErrorParsingPredicate: DiagnosticFactory1<PsiElement, String>
Content copied to clipboard
Link copied to clipboard
val InconsistentBodyPre: DiagnosticFactory1<PsiElement, String>
Content copied to clipboard
Link copied to clipboard
val InconsistentCallPost: DiagnosticFactory1<PsiElement, String>
Content copied to clipboard
Link copied to clipboard
val InconsistentConditions: DiagnosticFactory1<PsiElement, String>
Content copied to clipboard
Link copied to clipboard
val InconsistentInvariants: DiagnosticFactory1<PsiElement, String>
Content copied to clipboard
Link copied to clipboard
val LiskovProblem: DiagnosticFactory1<PsiElement, String>
Content copied to clipboard
Link copied to clipboard
val UnsatBodyPost: DiagnosticFactory1<PsiElement, String>
Content copied to clipboard
Link copied to clipboard
val UnsatCallPre: DiagnosticFactory1<PsiElement, String>
Content copied to clipboard
Link copied to clipboard
val UnsatInvariants: DiagnosticFactory1<PsiElement, String>
Content copied to clipboard
Link copied to clipboard
val UnsupportedElement: DiagnosticFactory1<PsiElement, String>
Content copied to clipboard
Link copied to clipboard
val WarningParsingPredicate: DiagnosticFactory1<PsiElement, String>
Content copied to clipboard