final int lineNumber = mOffset + aLine;
final Token token = (Token) aOffendingSymbol;
if (JAVADOC_MISSED_HTML_CLOSE.equals(aMsg)) {
log(lineNumber, JAVADOC_MISSED_HTML_CLOSE, token.getText());
throw new ParseCancellationException();
}
else if (JAVADOC_WRONG_SINGLETON_TAG.equals(aMsg)) {
log(lineNumber, JAVADOC_WRONG_SINGLETON_TAG, token.getText());
throw new ParseCancellationException();
}
else {
final RuleContext ruleContext = aEx.getCtx();
if (ruleContext != null) {
final int ruleIndex = aEx.getCtx().getRuleIndex();