org.eclipse.jface.text
Class ProjectionPosition

java.lang.Object
  |
  +--org.eclipse.jface.text.Position
        |
        +--org.eclipse.jface.text.ProjectionPosition

public class ProjectionPosition

extends Position

Represents the corresponding parent document range of a fragment of a ProjectionDocument.

This calss is for internal use only.

Since:

2.1

Field Summary

Fields inherited from class org.eclipse.jface.text.Position

isDeleted, length, offset

Constructor Summary

ProjectionPosition(IDocument projectionDocument, int offset, int length)
Creates a new position representing the corresponding range of a fragment.

Method Summary

Fragment	getFragment() Returns the corresponding fragment.
void	setFragment(Fragment fragment) Sets the corresponding fragment.

Methods inherited from class org.eclipse.jface.text.Position

delete, equals, getLength, getOffset, hashCode, includes, isDeleted, overlapsWith, setLength, setOffset, undelete

Methods inherited from class java.lang.Object

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

Constructor Detail

ProjectionPosition

public ProjectionPosition(IDocument projectionDocument,
                          int offset,
                          int length)

Creates a new position representing the corresponding range of a fragment.

Parameters:

projectionDocument - the projection document

offset - the offset of the range of the parent document

length - the length of the range of the parent document

Method Detail

setFragment

public void setFragment(Fragment fragment)

Sets the corresponding fragment.

Parameters:

fragment - the corresponding fragment

getFragment

public Fragment getFragment()

Returns the corresponding fragment.

Returns:

the corresponding fragment