edu.princeton.swing.text

Class HighlightedDocument.Position

java.lang.Object

edu.princeton.swing.text.HighlightedDocument.Position

All Implemented Interfaces:

javax.swing.text.Position

Enclosing class:

HighlightedDocument

public class HighlightedDocument.Position
extends java.lang.Object
implements javax.swing.text.Position

Position is a simple implementation of javax.swing.text.Position.

Nested Class Summary

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

javax.swing.text.Position.Bias

Field Summary

Fields

Modifier and Type	Field and Description
protected int	id
protected int	offset

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	HighlightedDocument.Position(int id, int offset) Instantiates a new Position.

Method Summary

Methods

Modifier and Type	Method and Description
int	getOffset() Returns the offset encapsulated by this Position.
void	setOffset(int offset) Sets the offset encapsulated by this Position.

Methods inherited from class java.lang.Object

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

Field Detail

id

protected int id

offset

protected int offset

Constructor Detail

HighlightedDocument.Position

protected HighlightedDocument.Position(int id,
                            int offset)

Instantiates a new Position.

Method Detail

setOffset

public void setOffset(int offset)

Sets the offset encapsulated by this Position. If the offset is out of bounds, the the offset will be silently corrected.

Parameters:

offset - The new offset this Position should return.

getOffset

public int getOffset()

Returns the offset encapsulated by this Position.

Specified by:

getOffset in interface javax.swing.text.Position

Returns:

The offset represented by this Position.