public final class Mark
extends java.lang.Object
implements java.io.Serializable
Modifier and Type | Field and Description |
---|---|
private int[] |
buffer |
private int |
column |
private int |
index |
private int |
line |
private java.lang.String |
name |
private int |
pointer |
Constructor and Description |
---|
Mark(java.lang.String name,
int index,
int line,
int column,
char[] str,
int pointer) |
Mark(java.lang.String name,
int index,
int line,
int column,
int[] buffer,
int pointer) |
Mark(java.lang.String name,
int index,
int line,
int column,
java.lang.String buffer,
int pointer)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
get_snippet() |
java.lang.String |
get_snippet(int indent,
int max_length) |
int[] |
getBuffer() |
int |
getColumn()
starts with 0
|
int |
getIndex()
starts with 0
|
int |
getLine()
starts with 0
|
java.lang.String |
getName() |
int |
getPointer() |
private boolean |
isLineBreak(int c) |
private static int[] |
toCodePoints(char[] str) |
java.lang.String |
toString() |
private final java.lang.String name
private final int index
private final int line
private final int column
private final int[] buffer
private final int pointer
public Mark(java.lang.String name, int index, int line, int column, char[] str, int pointer)
@Deprecated public Mark(java.lang.String name, int index, int line, int column, java.lang.String buffer, int pointer)
public Mark(java.lang.String name, int index, int line, int column, int[] buffer, int pointer)
private static int[] toCodePoints(char[] str)
private boolean isLineBreak(int c)
public java.lang.String get_snippet(int indent, int max_length)
public java.lang.String get_snippet()
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String getName()
public int getLine()
public int getColumn()
public int getIndex()
public int[] getBuffer()
public int getPointer()