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, toString
Copyright © 2008–2019. All rights reserved.