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, getArguments, getEndMark, getStartMark, hashCode, toStringCopyright © 2008–2019. All rights reserved.