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

java.lang.Object
  edu.rice.cs.drjava.model.AbstractDJDocument.RemoveCommand
      edu.rice.cs.drjava.model.AbstractDJDocument.UninsertCommand

All Implemented Interfaces:

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

Overrides:

run in class AbstractDJDocument.RemoveCommand