public final class Mark
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
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,
java.lang.String buffer,
int pointer) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
get_snippet() |
java.lang.String |
get_snippet(int indent,
int max_length) |
int |
getColumn()
starts with 0
|
int |
getIndex()
starts with 0
|
int |
getLine()
starts with 0
|
java.lang.String |
getName() |
private boolean |
isLineBreak(char ch) |
java.lang.String |
toString() |
private java.lang.String name
private int index
private int line
private int column
private java.lang.String buffer
private int pointer
public Mark(java.lang.String name, int index, int line, int column, java.lang.String buffer, int pointer)
private boolean isLineBreak(char ch)
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()