public class AutoFlushEvent extends FlushEvent
| Constructor and Description |
|---|
AutoFlushEvent(java.util.Set querySpaces,
EventSource source) |
| Modifier and Type | Method and Description |
|---|---|
java.util.Set |
getQuerySpaces() |
boolean |
isFlushRequired() |
void |
setFlushRequired(boolean dirty) |
void |
setQuerySpaces(java.util.Set querySpaces) |
getSessionpublic AutoFlushEvent(java.util.Set querySpaces,
EventSource source)
Copyright © 2013. All Rights Reserved.