Searched refs:EventRequestManager (Results 1 – 5 of 5) sorted by relevance
36 import com.sun.jdi.request.EventRequestManager;133 EventRequestManager manager = jvm.eventRequestManager(); in HotSwapper()148 EventRequestManager manager, in methodEntryRequests()159 private void deleteEventRequest(EventRequestManager manager, in deleteEventRequest()
29 import com.sun.jdi.request.EventRequestManager;300 EventRequestManager eventRequestManager(); in eventRequestManager()
48 public interface EventRequestManager extends Mirror { interface
30 import com.sun.jdi.request.EventRequestManager;360 EventRequestManager erm = eventRequestManager(); in redefineClasses()463 public EventRequestManager eventRequestManager() { in eventRequestManager()
44 implements EventRequestManager