private Region computeRegion() {
assert exception != null;
assert parser != null;
Token token = parser.getToken(1);
if (token != null && token.kind != EOF) {
return new Region(
parser.getSourceFile(),
token.beginLine, token.beginColumn,
token.endLine, token.endColumn);
}
return new Region(parser.getSourceFile(), 0, 0, 0, 0);
}