edu.rice.cs.drjava.model.definitions
Class DefinitionsDocument.WrappedPosition

java.lang.Object
  edu.rice.cs.drjava.model.definitions.DefinitionsDocument.WrappedPosition

All Implemented Interfaces:

Position

Enclosing class:

DefinitionsDocument

public static class DefinitionsDocument.WrappedPosition
extends Object
implements Position

Wrapper for Position objects to allow relinking to a new Document.

Nested Class Summary

Nested classes/interfaces inherited from interface javax.swing.text.Position

Position.Bias

Method Summary

int	getOffset()
void	setWrapped(Position w)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

setWrapped

public void setWrapped(Position w)

getOffset

public int getOffset()

Specified by:

getOffset in interface Position