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

Field Summary

private Position

_wrapped

Constructor Summary

DefinitionsDocument.WrappedPosition(Position w)
Constructor is only called from createPosition below.

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

Field Detail

_wrapped

private Position _wrapped

Constructor Detail

DefinitionsDocument.WrappedPosition

DefinitionsDocument.WrappedPosition(Position w)

Constructor is only called from createPosition below.

Method Detail

setWrapped

public void setWrapped(Position w)

getOffset

public int getOffset()

Specified by:

getOffset in interface Position