Class AutoFlushEvent

  • All Implemented Interfaces:
    java.io.Serializable

    public class AutoFlushEvent
    extends FlushEvent
    Defines an event class for the auto-flushing of a session.
    See Also:
    Serialized Form
    • Constructor Detail

      • AutoFlushEvent

        public AutoFlushEvent​(java.util.Set querySpaces,
                              EventSource source)
    • Method Detail

      • getQuerySpaces

        public java.util.Set getQuerySpaces()
      • setQuerySpaces

        public void setQuerySpaces​(java.util.Set querySpaces)
      • isFlushRequired

        public boolean isFlushRequired()
      • setFlushRequired

        public void setFlushRequired​(boolean dirty)