public final class DocumentEndEvent extends Event
This event follows the document's content.
| Constructor and Description |
|---|
DocumentEndEvent(boolean explicit) |
DocumentEndEvent(boolean explicit,
Optional<Mark> startMark,
Optional<Mark> endMark) |
| Modifier and Type | Method and Description |
|---|---|
Event.ID |
getEventId()
Get the type (kind) if this Event
|
boolean |
isExplicit() |
String |
toString() |
getEndMark, getStartMarkpublic DocumentEndEvent(boolean explicit,
Optional<Mark> startMark,
Optional<Mark> endMark)
public DocumentEndEvent(boolean explicit)
public boolean isExplicit()
public Event.ID getEventId()
EventgetEventId in class EventCopyright © 2018–2022. All rights reserved.