95
96 void pumpEventsForHierarchy(Conditional cond, Component modalComponent) {
97 pumpEventsForHierarchy(ANY_EVENT, cond, modalComponent);
98 }
99
100 void pumpEvents(int id, Conditional cond) {
101 pumpEventsForHierarchy(id, cond, null);
102 }
103
104 void pumpEventsForHierarchy(int id, Conditional cond, Component modalComponent) {
105 pumpEventsForFilter(id, cond, new HierarchyEventFilter(modalComponent));
106 }
107
108 void pumpEventsForFilter(Conditional cond, EventFilter filter) {
109 pumpEventsForFilter(ANY_EVENT, cond, filter);
110 }
111
112 void pumpEventsForFilter(int id, Conditional cond, EventFilter filter) {
113 addEventFilter(filter);
114 doDispatch = true;
115 while (doDispatch && !isInterrupted() && cond.evaluate()) {
116 pumpOneEventForFilters(id);
117 }
118 removeEventFilter(filter);
119 }
120
121 void addEventFilter(EventFilter filter) {
122 if (eventLog.isLoggable(PlatformLogger.Level.FINEST)) {
123 eventLog.finest("adding the event filter: " + filter);
124 }
125 synchronized (eventFilters) {
126 if (!eventFilters.contains(filter)) {
127 if (filter instanceof ModalEventFilter) {
128 ModalEventFilter newFilter = (ModalEventFilter)filter;
129 int k = 0;
130 for (k = 0; k < eventFilters.size(); k++) {
131 EventFilter f = eventFilters.get(k);
132 if (f instanceof ModalEventFilter) {
133 ModalEventFilter cf = (ModalEventFilter)f;
134 if (cf.compareTo(newFilter) > 0) {
135 break;
|
95
96 void pumpEventsForHierarchy(Conditional cond, Component modalComponent) {
97 pumpEventsForHierarchy(ANY_EVENT, cond, modalComponent);
98 }
99
100 void pumpEvents(int id, Conditional cond) {
101 pumpEventsForHierarchy(id, cond, null);
102 }
103
104 void pumpEventsForHierarchy(int id, Conditional cond, Component modalComponent) {
105 pumpEventsForFilter(id, cond, new HierarchyEventFilter(modalComponent));
106 }
107
108 void pumpEventsForFilter(Conditional cond, EventFilter filter) {
109 pumpEventsForFilter(ANY_EVENT, cond, filter);
110 }
111
112 void pumpEventsForFilter(int id, Conditional cond, EventFilter filter) {
113 addEventFilter(filter);
114 doDispatch = true;
115 while ((doDispatch || getEventQueue().peekEvent() != null)
116 && !isInterrupted() && cond.evaluate()) {
117 pumpOneEventForFilters(id);
118 }
119 removeEventFilter(filter);
120 }
121
122 void addEventFilter(EventFilter filter) {
123 if (eventLog.isLoggable(PlatformLogger.Level.FINEST)) {
124 eventLog.finest("adding the event filter: " + filter);
125 }
126 synchronized (eventFilters) {
127 if (!eventFilters.contains(filter)) {
128 if (filter instanceof ModalEventFilter) {
129 ModalEventFilter newFilter = (ModalEventFilter)filter;
130 int k = 0;
131 for (k = 0; k < eventFilters.size(); k++) {
132 EventFilter f = eventFilters.get(k);
133 if (f instanceof ModalEventFilter) {
134 ModalEventFilter cf = (ModalEventFilter)f;
135 if (cf.compareTo(newFilter) > 0) {
136 break;
|