Package org.eclipse.jface.text.projection

Class Fragment

java.lang.Object

org.eclipse.jface.text.Position

org.eclipse.jface.text.projection.Fragment

public class Fragment
extends Position

Internal class. Do not use. Only public for testing purposes.

A fragment is a range of the master document that has an image, the so called segment, in a projection document.

Since:

3.0

Restriction:

This class is not intended to be subclassed by clients.

Restriction:

This class is not intended to be instantiated by clients.

Field Summary

Fields

Modifier and Type	Field	Description
Segment	segment	The corresponding segment of this fragment.

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

isDeleted, length, offset

Constructor Summary

Constructors

Constructor	Description
Fragment(int offset, int length)	Creates a new fragment covering the given range.

Method Summary

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

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

Methods inherited from class java.lang.Object

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

Field Details

segment

public Segment segment

The corresponding segment of this fragment.

Constructor Details

Fragment

public Fragment(int offset,
 int length)

Creates a new fragment covering the given range.

Parameters:

offset - the offset of the fragment

length - the length of the fragment