|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PendingRequestManager | |
edu.rice.cs.drjava.model.debug | Contains the code for DrJava's JPDA-based debugger. |
Uses of PendingRequestManager in edu.rice.cs.drjava.model.debug |
Fields in edu.rice.cs.drjava.model.debug declared as PendingRequestManager | |
private PendingRequestManager |
DebugManager._pendingRequestManager
Keeps track of any DebugActions whose classes have not yet been loaded, so that EventRequests can be created when the correct ClassPrepareEvent occurs. |
Methods in edu.rice.cs.drjava.model.debug that return PendingRequestManager | |
(package private) PendingRequestManager |
DebugManager.getPendingRequestManager()
Returns the pending request manager used by the debugger. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |