Searched refs:EventRequestManager (Results 1 – 4 of 4) sorted by relevance
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