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

java.lang.Object
  edu.rice.cs.drjava.model.AbstractDJDocument.InsertCommand
      edu.rice.cs.drjava.model.AbstractDJDocument.UnremoveCommand

All Implemented Interfaces:

java.lang.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, java.lang.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,
                                          java.lang.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 java.lang.Runnable

Overrides:

run in class AbstractDJDocument.InsertCommand