public class TermPosition extends java.lang.Object
int
start
stop
Term
term
TermPosition(int start, Sort sort, Term term)
Sort
sort()
java.lang.String
toString()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public final int start
public final int stop
public final Term term
public TermPosition(int start, Sort sort, Term term)
public java.lang.String toString()
toString
java.lang.Object
public Sort sort()