PositionBounds.
* @param begin the start position of the range
* @param end the end position of the range
*/
public PositionBounds(PositionRef begin, PositionRef end) {
this.begin = begin;
this.end = end;
}
/**
* Get the starting position of this range.
* @return the begin position
*/
public PositionRef getBegin() {
return begin;
}
/**
* Get the ending position of this range.
* @return the end position
*/
public PositionRef getEnd() {
return end;
}
/** Replaces the text contained in this range.
* This replacement is done atomically, and so is preferable to manual inserts & removes.
* If you are running this from user-oriented code, you may want to wrap it in {@link NbDocument#runAtomicAsUser}. * @param text new text to insert over existing text * @exception IOException if any problem occurred during document loading (if that was necessary) * @exception BadLocationException if the positions are out of the bounds of the document */ public void setText(final String text) throws IOException, BadLocationException { final CloneableEditorSupport editor = begin.getCloneableEditorSupport(); final StyledDocument doc = editor.openDocument(); final BadLocationException[] hold = new BadLocationException[] { null }; Runnable run = new Runnable() { public void run() { try { int p1 = begin.getOffset(); int p2 = end.getOffset(); int len = text.length(); if (len == 0) { // 1) set empty string if (p2 > p1) { doc.remove(p1, p2 - p1); } } else { // 2) set non empty string int docLen = doc.getLength(); if ((p2 - p1) >= 2) { doc.insertString(p1 + 1, text, null); // [MaM] compute length of inserted string len = doc.getLength() - docLen; doc.remove(p1 + 1 + len, p2 - p1 - 1); doc.remove(p1, 1); } else { // zero or exactly one character: // adjust the positions if they are // biased to not absorb the text inserted at the start/end // it would be ridiculous not to have text set by setText // be part of the bounds. doc.insertString(p1, text, null); // [MaM] compute length of inserted string len = doc.getLength() - docLen; if (p2 > p1) { doc.remove(p1 + len, p2 - p1); } if (begin.getOffset() != p1) { begin = editor.createPositionRef(p1, begin.getPositionBias()); } if ((end.getOffset() - p1) != len) { end = editor.createPositionRef(p1 + len, end.getPositionBias()); } } } } catch (BadLocationException e) { hold[0] = e; } } }; NbDocument.runAtomic(doc, run); if (hold[0] != null) { throw hold[0]; } } /** Inserts the text after this PositionBounds. * @param text The text to insert. The text must not be empty. * @return the range of inserted text. * @exception IOException if any problem occurred during document loading (if that was necessary) * @exception BadLocationException if the positions are out of the bounds of the document */ public PositionBounds insertAfter(final String text) throws IOException, BadLocationException { if (text.length() == 0) { throw new BadLocationException( NbBundle.getBundle(PositionBounds.class).getString("MSG_Empty_string"), begin.getOffset() ); } final CloneableEditorSupport editor = begin.getCloneableEditorSupport(); final StyledDocument doc = editor.openDocument(); final Object[] hold = new Object[] { null, null }; Runnable run = new Runnable() { public void run() { synchronized (editor.getLock()) { /* editor.getLock(): fixes deadlock - this lock is acquired later anyhow, so we are changing the order in which the locks are acquired */ try { // [MaM] remember doclen to compute new length // of the inserted string (the length changes // because insertString removes \r characters // from it) int docLen = doc.getLength(); int p1 = end.getOffset(); doc.insertString(p1, text, null); int p2 = (p1 + doc.getLength()) - docLen; end = editor.createPositionRef(p1, end.getPositionBias()); PositionRef posBegin = editor.createPositionRef(p1, Position.Bias.Forward); PositionRef posEnd = editor.createPositionRef(p2, Position.Bias.Backward); hold[1] = new PositionBounds(posBegin, posEnd); } catch (BadLocationException e) { hold[0] = e; } } } }; NbDocument.runAtomic(doc, run); if (hold[0] != null) { throw (BadLocationException) hold[0]; } else { return (PositionBounds) hold[1]; } } /** Finds the text contained in this range. * @return the text * @exception IOException if any I/O problem occurred during document loading (if that was necessary) * @exception BadLocationException if the positions are out of the bounds of the document */ public String getText() throws BadLocationException, IOException { StyledDocument doc = begin.getCloneableEditorSupport().openDocument(); int p1 = begin.getOffset(); int p2 = end.getOffset(); return doc.getText(p1, p2 - p1); } /* @return the bounds as the string. */ public String toString() { StringBuffer buf = new StringBuffer("Position bounds["); // NOI18N try { String content = getText(); buf.append(begin); buf.append(","); // NOI18N buf.append(end); buf.append(",\""); // NOI18N buf.append(content); buf.append("\""); // NOI18N } catch (IOException e) { buf.append("Invalid: "); // NOI18N buf.append(e.getMessage()); } catch (BadLocationException e) { buf.append("Invalid: "); // NOI18N buf.append(e.getMessage()); } buf.append("]"); // NOI18N return buf.toString(); } }