org.eclipse.jface.text
Class Fragment

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

public class Fragment

extends Position

Represents a fragment of a ProjectionDocument.

This class is for internal use only.

Since:

2.1

Field Summary

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

isDeleted, length, offset

Constructor Summary

Fragment(int offset, int length, Position origin)
Creates new position representing a fragment.

Method Summary

Position	getOrigin() Returns the corresponding range in the parent document.
void	setOrigin(Position origin) Sets the corresponding range in the parent document.

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

Fragment

public Fragment(int offset,
                int length,
                Position origin)

Creates new position representing a fragment.

Parameters:

offset - the offset of the fragment

length - the length of the fragment

origin - the cooresponding range in the parent document

Method Detail

getOrigin

public Position getOrigin()

Returns the corresponding range in the parent document.

Returns:

the corresponding range in the parent document

setOrigin

public void setOrigin(Position origin)

Sets the corresponding range in the parent document.

Parameters:

origin - the cooresponding range in the parent document