1 | public class AutoFlushEvent extends FlushEvent {↵ | | 1 | public class Group {↵
|
|
2 | private Set querySpaces;↵ | | 2 | private S↵
|
3 | private boolean flushRequired↵ | | 3 | tring name;↵
|
4 | ;↵ | | 4 | private Map users = new HashMap();↵
|
| | | 5 | ↵
|
5 | public AutoFlushEvent(Set querySpaces, EventSource source) {↵ | | 6 | public ↵
|
6 | super(source);↵ | | |
|
7 | this.querySpaces = querySpaces;↵ | | |
|
8 | }↵ | | |
|
|
9 | public Set getQuerySpaces↵ | | 7 | Group(String name) {↵
|
| | | 8 | this.name = name;↵
|
| | | 9 | }↵
|
|
| | | 10 | Group() {}↵
|
|
10 | () {↵ | | 11 | public String getName() {↵
|
11 | return querySpaces;↵ | | 12 | return name;↵
|
12 | }↵ | | 13 | }↵
|
|
13 | public void setQuerySpaces(Set querySpaces) {↵ | | 14 | public void set↵
|
14 | this.querySpaces = querySpaces;↵ | | |
|
15 | }↵ | | |
|
|
16 | public boolean isFlushRequired↵ | | 15 | Name(String name) {↵
|
| | | 16 | this.name = name;↵
|
| | | 17 | }↵
|
|
17 | () {↵ | | 18 | public Map getUsers() {↵
|
18 | return flushRequired;↵ | | 19 | return users;↵
|
19 | }↵ | | 20 | }↵
|
|
20 | public void setFlushRequired(boolean dirty) {↵ | | 21 | public void set↵
|
21 | this.flushRequired = dirty | | 22 | Users(Map users) {↵
|
| | | 23 | this.users = users
|