Eclipse Platform
2.1

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

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

Eclipse Platform
2.1

Copyright (c) IBM Corp. and others 2000, 2003. All Rights Reserved.