Examples with CatParser com.dat3m.dartagnan.parsers.CatParser used on opensource projects

Example 1 with CatParser

use of com.dat3m.dartagnan.parsers.CatParser in project Dat3M by hernanponcedeleon.

the class ParserCat method parse.

private Wmm parse(CharStream charStream) {
    CatLexer lexer = new CatLexer(charStream);
    CommonTokenStream tokenStream = new CommonTokenStream(lexer);
    CatParser parser = new CatParser(tokenStream);
    parser.addErrorListener(new ParserErrorListener());
    ParserRuleContext parserEntryPoint = parser.mcm();
    return (Wmm) parserEntryPoint.accept(new VisitorBase());
}