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

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

All Implemented Interfaces:

java.lang.Runnable

Direct Known Subclasses:

AbstractDJDocument.UninsertCommand

Enclosing class:

AbstractDJDocument

protected class AbstractDJDocument.RemoveCommand
extends java.lang.Object
implements java.lang.Runnable

Field Summary

protected int	_length
protected int	_offset
protected java.lang.String	_removedText

Constructor Summary

AbstractDJDocument.RemoveCommand(int offset, int length, java.lang.String removedText)

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

Field Detail

_offset

protected final int _offset

_length

protected final int _length

_removedText

protected final java.lang.String _removedText

Constructor Detail

AbstractDJDocument.RemoveCommand

public AbstractDJDocument.RemoveCommand(int offset,
                                        int length,
                                        java.lang.String removedText)

Method Detail

run

public void run()

Removes chars from reduced model; cache has already been selectively cleared.

Specified by:

run in interface java.lang.Runnable