public interface EditorReport
Modifier and Type | Method | Description |
---|---|---|
java.lang.String |
getMessage() |
|
EditorPosition |
getPosition() |
|
EditorReportSeverity |
getSeverity() |
EditorReportSeverity getSeverity()
java.lang.String getMessage()
@Nullable EditorPosition getPosition()