Searched defs:DocumentEndEvent (Results 1 – 1 of 1) sorted by relevance
26 public final class DocumentEndEvent extends Event { class29 public DocumentEndEvent(Mark startMark, Mark endMark, boolean explicit) { in DocumentEndEvent() method in DocumentEndEvent