org.jetbrains.kotlin.checkers
Class CheckerTestUtil.DebugInfoDiagnosticFactory

java.lang.Object
  org.jetbrains.kotlin.diagnostics.DiagnosticFactory<CheckerTestUtil.DebugInfoDiagnostic>
      org.jetbrains.kotlin.checkers.CheckerTestUtil.DebugInfoDiagnosticFactory

Enclosing class:

CheckerTestUtil

public static class CheckerTestUtil.DebugInfoDiagnosticFactory
extends DiagnosticFactory<CheckerTestUtil.DebugInfoDiagnostic>

Field Summary

static CheckerTestUtil.DebugInfoDiagnosticFactory	DYNAMIC
static CheckerTestUtil.DebugInfoDiagnosticFactory	ELEMENT_WITH_ERROR_TYPE
static CheckerTestUtil.DebugInfoDiagnosticFactory	MISSING_UNRESOLVED
static CheckerTestUtil.DebugInfoDiagnosticFactory	SMARTCAST
static CheckerTestUtil.DebugInfoDiagnosticFactory	UNRESOLVED_WITH_TARGET

Method Summary

java.lang.String

getName()

Methods inherited from class org.jetbrains.kotlin.diagnostics.DiagnosticFactory

cast, cast, cast, getSeverity, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

SMARTCAST

public static final CheckerTestUtil.DebugInfoDiagnosticFactory SMARTCAST

ELEMENT_WITH_ERROR_TYPE

public static final CheckerTestUtil.DebugInfoDiagnosticFactory ELEMENT_WITH_ERROR_TYPE

UNRESOLVED_WITH_TARGET

public static final CheckerTestUtil.DebugInfoDiagnosticFactory UNRESOLVED_WITH_TARGET

MISSING_UNRESOLVED

public static final CheckerTestUtil.DebugInfoDiagnosticFactory MISSING_UNRESOLVED

DYNAMIC

public static final CheckerTestUtil.DebugInfoDiagnosticFactory DYNAMIC

Method Detail

getName

@NotNull
public java.lang.String getName()

Overrides:

getName in class DiagnosticFactory<CheckerTestUtil.DebugInfoDiagnostic>