|
org.netbeans.modules.editor.util/1 1.17 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.netbeans.lib.editor.util.swing.PositionRegion
org.netbeans.lib.editor.util.swing.MutablePositionRegion
public class MutablePositionRegion
A pair of positions delimiting a text region in a swing document.
At all times it should be satisfied that
PositionRegion.getStartOffset()
<= PositionRegion.getEndOffset()
.
Constructor Summary | |
---|---|
MutablePositionRegion(Document doc,
int startOffset,
int endOffset)
Construct new mutable position region based on the knowledge of the document and starting and ending offset. |
|
MutablePositionRegion(Position startPosition,
Position endPosition)
Construct new mutable position region. |
Method Summary | |
---|---|
void |
reset(Position startPosition,
Position endPosition)
Set a new start and end positions of this region. |
void |
setEndPosition(Position endPosition)
Set a new end position of this region. |
void |
setStartPosition(Position startPosition)
Set a new start position of this region. |
Methods inherited from class org.netbeans.lib.editor.util.swing.PositionRegion |
---|
createFixedPosition, getComparator, getEndOffset, getEndPosition, getLength, getStartOffset, getStartPosition, isRegionsSorted |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public MutablePositionRegion(Position startPosition, Position endPosition)
startPosition
- non-null start position of the region <= end position.endPosition
- non-null end position of the region >= start position.public MutablePositionRegion(Document doc, int startOffset, int endOffset) throws BadLocationException
BadLocationException
Method Detail |
---|
public final void reset(Position startPosition, Position endPosition)
PositionRegion.getStartOffset()
<= PositionRegion.getEndOffset()
.
startPosition
- non-null new start position of this region.public final void setStartPosition(Position startPosition)
PositionRegion.getStartOffset()
<= PositionRegion.getEndOffset()
.
startPosition
- non-null new start position of this region.public final void setEndPosition(Position endPosition)
PositionRegion.getStartOffset()
<= PositionRegion.getEndOffset()
.
endPosition
- non-null new start position of this region.
|
org.netbeans.modules.editor.util/1 1.17 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |