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
Constructor Summary |
ProjectionPosition(IDocument projectionDocument,
int offset,
int length)
Creates a new position representing the corresponding range of a fragment. |
Methods inherited from class org.eclipse.jface.text.Position |
delete, equals, getLength, getOffset, hashCode, includes, isDeleted, overlapsWith, setLength, setOffset, undelete |
ProjectionPosition
public ProjectionPosition(IDocument projectionDocument,
int offset,
int length)
- Creates a new position representing the corresponding range of a fragment.
- Parameters:
projectionDocument
- the projection documentoffset
- the offset of the range of the parent documentlength
- the length of the range of the parent document
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
Copyright (c) IBM Corp. and others 2000, 2003. All Rights Reserved.