@Override public synchronized IRegion getLineInformation(int line) throws BadLocationException { return super.getLineInformation(line); } /* (non-Javadoc)
public synchronized IRegion getLineInformation(int line) throws BadLocationException { return super.getLineInformation(line); } /* (non-Javadoc)
@Override public IRegion getLineInformation(int line) throws BadLocationException { Object lockObject= getLockObject(); if (lockObject == null) { return super.getLineInformation(line); } synchronized (lockObject) { return super.getLineInformation(line); } }
/** * Indents line <code>line</code> in <code>document</code> with <code>indent</code>. Leaves leading comment signs alone. * * @param document * the document * @param line * the line * @param indent * the indentation to insert * @throws BadLocationException * on concurrent document modification */ private void addIndent(Document document, int line, CharSequence indent) throws BadLocationException { IRegion region = document.getLineInformation(line); int insert = region.getOffset(); // insert indent document.replace(insert, 0, indent.toString()); }
IRegion region= document.getLineInformation(line); int from= region.getOffset(); int endOffset= region.getOffset() + region.getLength();
IRegion region= document.getLineInformation(line); int from= region.getOffset(); int endOffset= region.getOffset() + region.getLength();
IRegion region= document.getLineInformation(line); int from= region.getOffset(); int endOffset= region.getOffset() + region.getLength();
IRegion region= document.getLineInformation(line); int insert= region.getOffset(); int endOffset= region.getOffset() + region.getLength();
IRegion region= document.getLineInformation(line); int insert= region.getOffset(); int endOffset= region.getOffset() + region.getLength();
IRegion region= document.getLineInformation(line); int insert= region.getOffset(); int endOffset= region.getOffset() + region.getLength();
IRegion region= document.getLineInformation(line); int from= region.getOffset(); int endOffset= region.getOffset() + region.getLength();
IRegion region= document.getLineInformation(line); int from= region.getOffset(); int endOffset= region.getOffset() + region.getLength();
IRegion region= document.getLineInformation(line); int from= region.getOffset(); int endOffset= region.getOffset() + region.getLength();
/** * Cuts the visual equivalent of <code>toDelete</code> characters out of the indentation of line <code>line</code> in <code>document</code>. * * @param document * the document * @param line * the line * @param toDelete * the number of space equivalents to delete. * @throws BadLocationException * on concurrent document modification */ private void cutIndent(Document document, int line, int toDelete) throws BadLocationException { IRegion region = document.getLineInformation(line); int from = region.getOffset(); int endOffset = region.getOffset() + region.getLength(); int to = from; while (toDelete > 0 && to < endOffset) { char ch = document.getChar(to); if (!Character.isWhitespace(ch)) break; toDelete -= computeVisualLength(ch); if (toDelete >= 0) { to++; } else { break; } } document.replace(from, to - from, null); }
for (int l= first; l < lines; l++) { // we don't change the number of lines while adding indents IRegion r= temp.getLineInformation(l); int lineOffset= r.getOffset(); int lineLength= r.getLength();
for (int l= first; l < lines; l++) { // we don't change the number of lines while adding indents IRegion r= temp.getLineInformation(l); int lineOffset= r.getOffset(); int lineLength= r.getLength();
for (int l = firstLine; l < lines; l++) { // we don't change the number of lines while adding indents IRegion r = temp.getLineInformation(l); int lineOffset = r.getOffset(); int lineLength = r.getLength();
for (int l= first; l < lines; l++) { // we don't change the number of lines while adding indents IRegion r= temp.getLineInformation(l); int lineOffset= r.getOffset(); int lineLength= r.getLength();
for (int i= 0; i < lineCount; i++) { IRegion region= document.getLineInformation(i); if (region.getLength() == 0) continue;
for (int i= 0; i < lineCount; i++) { IRegion region= document.getLineInformation(i); if (region.getLength() == 0) continue;