private boolean seekChars(char[] startChars) throws BadLocationException, IOException {
reader.configureForwardReader(document, offset, document.getLength(), true, true);
int c = reader.read();
offset = reader.getOffset();
while (c != AtlCodeReader.EOF && !contains(startChars, document.getChar(offset))) {
c = reader.read();
offset = reader.getOffset();
}
return c == AtlCodeReader.EOF;
}
private boolean backwardSeekChars(char[] startChars, int start)
throws BadLocationException, IOException {
reader.configureBackwardReader(document, offset, true, true);
int c = reader.read();
offset = reader.getOffset();
while (offset > start
&& c != AtlCodeReader.EOF
&& !contains(startChars, document.getChar(offset))) {
c = reader.read();
offset = reader.getOffset();
}
return c == AtlCodeReader.EOF;
}
