public class Diagnostic
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
Diagnostic.Type |
Modifier and Type | Field and Description |
---|---|
int |
column |
int |
end |
java.lang.String |
file |
int |
line |
java.lang.String |
msg |
int |
start |
Diagnostic.Type |
type |
Constructor and Description |
---|
Diagnostic(java.lang.String file,
Diagnostic.Type type,
int start,
int end,
java.lang.String msg) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString() |
public java.lang.String file
public Diagnostic.Type type
public int start
public int end
public int line
public int column
public java.lang.String msg
public Diagnostic(java.lang.String file, Diagnostic.Type type, int start, int end, java.lang.String msg)