edu.rice.cs.drjava.model
Class AbstractDJDocument.UninsertCommand

java.lang.Object
  extended by edu.rice.cs.drjava.model.AbstractDJDocument.RemoveCommand
      extended by edu.rice.cs.drjava.model.AbstractDJDocument.UninsertCommand
All Implemented Interfaces:
Runnable
Enclosing class:
AbstractDJDocument

protected class AbstractDJDocument.UninsertCommand
extends AbstractDJDocument.RemoveCommand


Field Summary
 
Fields inherited from class edu.rice.cs.drjava.model.AbstractDJDocument.RemoveCommand
_length, _offset, _removedText
 
Constructor Summary
AbstractDJDocument.UninsertCommand(int offset, int length, String text)
           
 
Method Summary
 void run()
          Removes chars from reduced model; cache has already been selectively cleared.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AbstractDJDocument.UninsertCommand

public AbstractDJDocument.UninsertCommand(int offset,
                                          int length,
                                          String text)
Method Detail

run

public void run()
Description copied from class: AbstractDJDocument.RemoveCommand
Removes chars from reduced model; cache has already been selectively cleared.

Specified by:
run in interface Runnable
Overrides:
run in class AbstractDJDocument.RemoveCommand