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