public final class Mark
extends java.lang.Object
implements java.io.Serializable
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() |
java.lang.String |
toString() |
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)
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()
Copyright © 2008–2023. All rights reserved.