Pointer(String doc, String id, int offset, int length, boolean space_after)
Span
toSpan()
String
toString()
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
toString
Object