| java.lang.Object org.eclipse.jface.text.Position org.eclipse.jface.text.projection.Segment
Segment | public class Segment extends Position (Code) | | 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 |
Field Summary | |
public Fragment | fragment The corresponding fragment for this segment. | public boolean | isMarkedForShift A flag indicating that the segment updater should shift this segment when a change happens at its boundaries. | public boolean | isMarkedForStretch A flag indicating that the segment updater should stretch this segment when a change happens at its boundaries. |
Constructor Summary | |
public | Segment(int offset, int length) Creates a new segment covering the given range. |
Method Summary | |
public void | clearMark() Clears the shifting and the stretching flag. | public boolean | isMarkedForShift() Returns true if the shifting flag is set, false otherwise. | public boolean | isMarkedForStretch() Returns true if the stretching flag is set, false otherwise. | public void | markForShift() Sets the shifting flag. | public void | markForStretch() Sets the stretching flag. |
fragment | public Fragment fragment(Code) | | The corresponding fragment for this segment.
|
isMarkedForShift | public boolean isMarkedForShift(Code) | | A flag indicating that the segment updater should shift this segment when a change happens at its boundaries.
|
isMarkedForStretch | public boolean isMarkedForStretch(Code) | | A flag indicating that the segment updater should stretch this segment when a change happens at its boundaries.
|
Segment | public Segment(int offset, int length)(Code) | | Creates a new segment covering the given range.
Parameters: offset - the offset of the segment Parameters: length - the length of the segment |
clearMark | public void clearMark()(Code) | | Clears the shifting and the stretching flag.
|
isMarkedForShift | public boolean isMarkedForShift()(Code) | | Returns true if the shifting flag is set, false otherwise.
true if the shifting flag is set, false otherwise |
isMarkedForStretch | public boolean isMarkedForStretch()(Code) | | Returns true if the stretching flag is set, false otherwise.
true if the stretching flag is set, false otherwise |
markForShift | public void markForShift()(Code) | | Sets the shifting flag.
|
markForStretch | public void markForStretch()(Code) | | Sets the stretching flag.
|
|
|