Lines Matching defs:request
30 import com.sun.jdi.request.*;
76 private final EventRequest request;
88 this.request = ermi.request(eventCmd, requestID);
109 this.request = null;
112 public EventRequest request() {
113 return request;
123 * 1. an internal request
124 * 2. a client request that is no longer available, ie
127 * 3. a current client request that is disabled
128 * 4. a current enabled client request.
144 // Is this an event for a current client request?
145 if (request == null) {
146 // Nope. Is it an event for an internal request?
148 if (ermi.request(eventCmd, requestID) != null) {
155 // We found a client request
156 if (request.isEnabled()) {