|
Eclipse Platform Release 3.0 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.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.
Field Summary | |
Fragment |
fragment
The corresponding fragment for this segment. |
boolean |
isMarkedForShift
A flag indicating that the segment updater should shift this segment when a change happends at its boundaries. |
boolean |
isMarkedForStretch
A flag indicating that the segment updater should stretch this segment when a change happens at its boundaries. |
Fields inherited from class org.eclipse.jface.text.Position |
isDeleted, length, offset |
Constructor Summary | |
Segment(int offset,
int length)
Creates a new segment covering the given range. |
Method Summary | |
void |
clearMark()
Clears the shifting and the streching flag. |
boolean |
isMarkedForShift()
Returns true if the shifting flag is set, false otherwise. |
boolean |
isMarkedForStretch()
Returns true if the stretching flag is set, false otherwise. |
void |
markForShift()
Sets the shifting flag. |
void |
markForStretch()
Sets the stretching flag. |
Methods inherited from class org.eclipse.jface.text.Position |
delete, equals, getLength, getOffset, hashCode, includes, isDeleted, overlapsWith, setLength, setOffset, undelete |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public Fragment fragment
public boolean isMarkedForStretch
public boolean isMarkedForShift
Constructor Detail |
public Segment(int offset, int length)
offset
- the offset of the segmentlength
- the length of the segmentMethod Detail |
public void markForStretch()
public boolean isMarkedForStretch()
true
if the stretching flag is set, false
otherwise.
true
if the stretching flag is set, false
otherwisepublic void markForShift()
public boolean isMarkedForShift()
true
if the shifting flag is set, false
otherwise.
true
if the shifting flag is set, false
otherwisepublic void clearMark()
|
Eclipse Platform Release 3.0 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Guidelines for using Eclipse APIs.
Copyright (c) IBM Corp. and others 2000, 2004. All rights reserved.