Class DefaultEventHistory

    • Constructor Detail

      • DefaultEventHistory

        public DefaultEventHistory()
    • Method Detail

      • setActive

        public void setActive​(boolean active)
        Description copied from interface: EventHistory
        Activates or deactivates event history tracking.
        Specified by:
        setActive in interface EventHistory
      • isActive

        public boolean isActive()
        Description copied from interface: EventHistory
        Gets whether event history tracking is currently active.
        Specified by:
        isActive in interface EventHistory
      • clear

        public void clear()
        Description copied from interface: EventHistory
        Clears the recorded event history.
        Specified by:
        clear in interface EventHistory
      • toHTML

        public String toHTML​(Set<Class<? extends SciJavaEvent>> filtered,
                             Set<Class<? extends SciJavaEvent>> highlighted)
        Description copied from interface: EventHistory
        Gets the recorded event history as an HTML string.
        Specified by:
        toHTML in interface EventHistory
        Parameters:
        filtered - Set of event types to filter out from the history.
        highlighted - Set of event types to highlight in the history.
        Returns:
        An HTML string representing the recorded event history.
      • addListener

        public void addListener​(EventHistoryListener l)
        Description copied from interface: EventHistory
        Adds an event history listener. This mechanism exists (rather than using the event bus) to avoid event feedback loops when reporting history changes.
        Specified by:
        addListener in interface EventHistory
      • removeListener

        public void removeListener​(EventHistoryListener l)
        Description copied from interface: EventHistory
        Removes an event history listener. This mechanism exists (rather than using the event bus) to avoid event feedback loops when reporting history changes.
        Specified by:
        removeListener in interface EventHistory