public final class DocumentEndEvent extends Event
This event follows the document's content.
Constructor and Description |
---|
DocumentEndEvent(Mark startMark,
Mark endMark,
boolean explicit) |
Modifier and Type | Method and Description |
---|---|
boolean |
getExplicit() |
boolean |
is(Event.ID id) |
equals, getEndMark, getStartMark, hashCode, toString