@Override public void setRange(IDocument document, int offset, int length) { super.setRange(document, offset, length); fDocumentLength= document.getLength(); shiftBuffer(offset); }
public void setRange(IDocument document, int offset, int length) { super.setRange(document, offset, length); fDocumentLength= document.getLength(); shiftBuffer(offset); }
public void setRange(IDocument document, int offset, int length) { super.setRange(document, offset, length); fDocumentLength= document.getLength(); shiftBuffer(offset); }
@Override public void setRange(IDocument document, int offset, int length) { super.setRange(document, offset, length); fDocumentLength= document.getLength(); shiftBuffer(offset); }
/** * Performs the initial partitioning of the partitioner's document. */ protected void initialize() { fScanner.setRange(fDocument, 0, fDocument.getLength()); try { IToken token= fScanner.nextToken(); while (!token.isEOF()) { String contentType= getTokenContentType(token); if (isSupportedContentType(contentType)) { TypedPosition p= new TypedPosition(fScanner.getTokenOffset(), fScanner.getTokenLength(), contentType); fDocument.addPosition(fPositionCategory, p); } token= fScanner.nextToken(); } } catch (BadLocationException x) { // cannot happen as offsets come from scanner } catch (BadPositionCategoryException x) { // cannot happen if document has been connected before } }
/** * Performs the initial partitioning of the partitioner's document. */ protected void initialize() { fScanner.setRange(fDocument, 0, fDocument.getLength()); try { IToken token= fScanner.nextToken(); while (!token.isEOF()) { String contentType= getTokenContentType(token); if (isSupportedContentType(contentType)) { TypedPosition p= new TypedPosition(fScanner.getTokenOffset(), fScanner.getTokenLength(), contentType); fDocument.addPosition(fPositionCategory, p); } token= fScanner.nextToken(); } } catch (BadLocationException x) { // cannot happen as offsets come from scanner } catch (BadPositionCategoryException x) { // cannot happen if document has been connected before } }
fScanner.setRange(d, reparseStart, d.getLength() - reparseStart);
fScanner.setRange(d, reparseStart, d.getLength() - reparseStart);