int offset = sourceFile.getLineOffset(scanStartLine - 1);
if (offset < 0)
{
return false; // Source file has changed?
}
Tokenizer tokenizer = new Tokenizer(UTF8.reader(sourceFile.getInputStreamFromOffset(offset)));
// Read the tokens into an ArrayList,
// keeping track of where the catch block is reported
// to start
ArrayList<Token> tokenList = new ArrayList<Token>(40);
int eolOfCatchBlockStart = -1;
for (int line = scanStartLine; line < scanStartLine + MAX_LINES;) {
Token token = tokenizer.next();
int kind = token.getKind();
if (kind == Token.EOF) {
break;
}