Class Segment
- java.lang.Object
-
- org.eclipse.jface.text.Position
-
- org.eclipse.jface.text.projection.Segment
-
public class Segment extends Position
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
Fields Modifier and Type Field Description FragmentfragmentThe corresponding fragment for this segment.booleanisMarkedForShiftA flag indicating that the segment updater should shift this segment when a change happens at its boundaries.booleanisMarkedForStretchA flag indicating that the segment updater should stretch this segment when a change happens at its boundaries.
-
Constructor Summary
Constructors Constructor Description Segment(int offset, int length)Creates a new segment covering the given range.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidclearMark()Clears the shifting and the stretching flag.booleanisMarkedForShift()Returnstrueif the shifting flag is set,falseotherwise.booleanisMarkedForStretch()Returnstrueif the stretching flag is set,falseotherwise.voidmarkForShift()Sets the shifting flag.voidmarkForStretch()Sets the stretching flag.
-
-
-
Field Detail
-
fragment
public Fragment fragment
The corresponding fragment for this segment.
-
isMarkedForStretch
public boolean isMarkedForStretch
A flag indicating that the segment updater should stretch this segment when a change happens at its boundaries.
-
isMarkedForShift
public boolean isMarkedForShift
A flag indicating that the segment updater should shift this segment when a change happens at its boundaries.
-
-
Method Detail
-
markForStretch
public void markForStretch()
Sets the stretching flag.
-
isMarkedForStretch
public boolean isMarkedForStretch()
Returnstrueif the stretching flag is set,falseotherwise.- Returns:
trueif the stretching flag is set,falseotherwise
-
markForShift
public void markForShift()
Sets the shifting flag.
-
isMarkedForShift
public boolean isMarkedForShift()
Returnstrueif the shifting flag is set,falseotherwise.- Returns:
trueif the shifting flag is set,falseotherwise
-
clearMark
public void clearMark()
Clears the shifting and the stretching flag.
-
-