Class Segment
java.lang.Object
org.eclipse.jface.text.Position
org.eclipse.jface.text.projection.Segment
Internal class. Do not use. Only public for testing purposes.
A segment is the image of a master document fragment 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
Modifier and TypeFieldDescriptionThe corresponding fragment for this segment.boolean
A flag indicating that the segment updater should shift this segment when a change happens at its boundaries.boolean
A flag indicating that the segment updater should stretch this segment when a change happens at its boundaries. -
Constructor Summary
ConstructorDescriptionSegment
(int offset, int length) Creates a new segment covering the given range. -
Method Summary
Modifier and TypeMethodDescriptionvoid
Clears the shifting and the stretching flag.boolean
Returnstrue
if the shifting flag is set,false
otherwise.boolean
Returnstrue
if the stretching flag is set,false
otherwise.void
Sets the shifting flag.void
Sets the stretching flag.
-
Field Details
-
fragment
The corresponding fragment for this segment. -
isMarkedForStretch
public boolean isMarkedForStretchA flag indicating that the segment updater should stretch this segment when a change happens at its boundaries. -
isMarkedForShift
public boolean isMarkedForShiftA flag indicating that the segment updater should shift this segment when a change happens at its boundaries.
-
-
Constructor Details
-
Segment
public Segment(int offset, int length) Creates a new segment covering the given range.- Parameters:
offset
- the offset of the segmentlength
- the length of the segment
-
-
Method Details
-
markForStretch
public void markForStretch()Sets the stretching flag. -
isMarkedForStretch
public boolean isMarkedForStretch()Returnstrue
if the stretching flag is set,false
otherwise.- Returns:
true
if the stretching flag is set,false
otherwise
-
markForShift
public void markForShift()Sets the shifting flag. -
isMarkedForShift
public boolean isMarkedForShift()Returnstrue
if the shifting flag is set,false
otherwise.- Returns:
true
if the shifting flag is set,false
otherwise
-
clearMark
public void clearMark()Clears the shifting and the stretching flag.
-