/**
  * In case of a restart, we must mark reverse debugging as disabled because GDB has turned it off.
  * We may have to turn it back on after.
  */
 @Execute
 public void stepSetReverseOff(RequestMonitor rm) {
   if (fRestart) {
     GDBRunControl_7_0 reverseService = fTracker.getService(GDBRunControl_7_0.class);
     if (reverseService != null) {
       reverseService.setReverseModeEnabled(false);
     }
   }
   rm.done();
 }
Example #2
0
 @Override
 public void shutdown(final RequestMonitor requestMonitor) {
   if (fCommandControl != null) {
     fCommandControl.removeEventListener(this);
   }
   unregister();
   super.shutdown(requestMonitor);
 }
Example #3
0
 @Override
 public void initialize(final RequestMonitor requestMonitor) {
   super.initialize(
       new ImmediateRequestMonitor(requestMonitor) {
         @Override
         public void handleSuccess() {
           doInitialize(requestMonitor);
         }
       });
 }