Interface EditorReport


public interface EditorReport
Report to the editor.
Since:
6.0
  • Method Details

    • getSeverity

      EditorReportSeverity getSeverity()
      Returns the severity.
      Since:
      6.0
    • getMessage

      String getMessage()
      Returns the message.
      Since:
      6.0
    • getPosition

      @Nullable EditorPosition getPosition()
      Returns the position.
      Since:
      6.0