public int read() { fColumn= UNDEFINED; if (fOffset >= fRangeEnd) { ++ fOffset; return EOF; } if (fOffset == fEnd) shiftBuffer(fEnd); else if (fOffset < fStart || fEnd < fOffset) shiftBuffer(fOffset); return fBuffer[fOffset++ - fStart]; }
@Override public int read() { fColumn= UNDEFINED; if (fOffset >= fRangeEnd) { ++ fOffset; return EOF; } if (fOffset == fEnd) shiftBuffer(fEnd); else if (fOffset < fStart || fEnd < fOffset) shiftBuffer(fOffset); return fBuffer[fOffset++ - fStart]; }
public int read() { fColumn= UNDEFINED; if (fOffset >= fRangeEnd) { ++ fOffset; return EOF; } if (fOffset == fEnd) shiftBuffer(fEnd); else if (fOffset < fStart || fEnd < fOffset) shiftBuffer(fOffset); return fBuffer[fOffset++ - fStart]; }
@Override public int read() { fColumn= UNDEFINED; if (fOffset >= fRangeEnd) { ++ fOffset; return EOF; } if (fOffset == fEnd) shiftBuffer(fEnd); else if (fOffset < fStart || fEnd < fOffset) shiftBuffer(fOffset); return fBuffer[fOffset++ - fStart]; }
@Override public void unread() { if (fOffset == fStart) shiftBuffer(Math.max(0, fStart - (fBufferSize / 2))); --fOffset; fColumn= UNDEFINED; } }
public void unread() { if (fOffset == fStart) shiftBuffer(Math.max(0, fStart - (fBufferSize / 2))); --fOffset; fColumn= UNDEFINED; } }
@Override public void unread() { if (fOffset == fStart) shiftBuffer(Math.max(0, fStart - (fBufferSize / 2))); --fOffset; fColumn= UNDEFINED; } }
public void unread() { if (fOffset == fStart) shiftBuffer(Math.max(0, fStart - (fBufferSize / 2))); --fOffset; fColumn= UNDEFINED; } }
@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); }