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

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

protected class AbstractDJDocument.UnremoveCommand
extends AbstractDJDocument.InsertCommand


Field Summary
 
Fields inherited from class edu.rice.cs.drjava.model.AbstractDJDocument.InsertCommand
_offset, _text
 
Constructor Summary
AbstractDJDocument.UnremoveCommand(int offset, String text)
           
 
Method Summary
 void run()
          Inserts chars in reduced model and moves location to end of insert; cache has already been cleared.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AbstractDJDocument.UnremoveCommand

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

run

public void run()
Description copied from class: AbstractDJDocument.InsertCommand
Inserts chars in reduced model and moves location to end of insert; cache has already been cleared.

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