((VdmLinkLexer)lexer).enableErrorMessageCollection(true);
thisParser.enableErrorMessageCollection(true);
try
{
thisParser.start();
if (((VdmLinkLexer)lexer).hasExceptions())
{
List<RecognitionException> exps = ((VdmLinkLexer)lexer).getExceptions();
addErrorsLexer(source, exps);