Class MappingEndEvent

    • Constructor Detail

      • MappingEndEvent

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

        public MappingEndEvent()
    • 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