public final class Mark extends Object
Mark(String name, int index, int line, int column, String buffer, int pointer)
String
get_snippet()
get_snippet(int indent, int max_length)
int
getColumn()
getIndex()
getLine()
getName()
toString()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public Mark(String name, int index, int line, int column, String buffer, int pointer)
public String get_snippet(int indent, int max_length)
public String get_snippet()
public String toString()
toString
Object
public String getName()
public int getLine()
public int getColumn()
public int getIndex()
Copyright © 2008–2015. All rights reserved.