Package org.destecs.core.parsers.vdmlink

Examples of org.destecs.core.parsers.vdmlink.VdmLinkParser


      throws IOException
  {
    super.lexer = new VdmLinkLexer(data);
   
    CommonTokenStream tokens = new CommonTokenStream(lexer);
    VdmLinkParser thisParser = new VdmLinkParser(tokens);
    parser = thisParser;

    ((VdmLinkLexer)lexer).enableErrorMessageCollection(true);
    thisParser.enableErrorMessageCollection(true);
    try
    {
      thisParser.start();

      if (((VdmLinkLexer)lexer).hasExceptions())
      {
        List<RecognitionException> exps = ((VdmLinkLexer)lexer).getExceptions();
        addErrorsLexer(source, exps);
        return null;
      }

      if (thisParser.hasExceptions())
      {

        List<RecognitionException> exps = thisParser.getExceptions();
        addErrorsParser(source, exps);
      } else
      {
        return thisParser.getLinks();
      }
    } catch (RecognitionException errEx)
    {
      errEx.printStackTrace();
      addError(new ParseError(source, errEx.line, errEx.charPositionInLine, getErrorMessage(errEx, parser.getTokenNames())));
View Full Code Here

TOP

Related Classes of org.destecs.core.parsers.vdmlink.VdmLinkParser

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.