MetaErrors

interface MetaErrors

Properties

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