Class SequenceEndEvent

    • Constructor Detail

      • SequenceEndEvent

        public SequenceEndEvent​(java.util.Optional<Mark> startMark,
                                java.util.Optional<Mark> endMark)
      • SequenceEndEvent

        public SequenceEndEvent()
    • Method Detail

      • getEventId

        public Event.ID getEventId()
        Description copied from class: Event
        Get the type (kind) if this Event
        Specified by:
        getEventId in class Event
        Returns:
        the ID of this Event
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object