|
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
|
Segment
|
segment
The corresponding segment of this fragment. |
Constructor Summary
|
Fragment
(int offset,
int length)
Creates a new fragment covering the given range. |
Methods inherited from class org.eclipse.jface.text.
Position
|
delete,
equals,
getLength,
getOffset,
hashCode,
includes,
isDeleted,
overlapsWith,
setLength,
setOffset,
toString,
undelete
|
segment
public
Segment segment
- The corresponding segment of this fragment.
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
Guidelines for using Eclipse APIs.
Copyright (c) Eclipse contributors and others 2000, 2008. All rights reserved.
|
|