use of org.batfish.grammar.assertion.AssertionParser.AssertionContext in project batfish by batfish.
the class Batfish method parseAssertion.
@Override
public AssertionAst parseAssertion(String text) {
AssertionCombinedParser parser = new AssertionCombinedParser(text, _settings);
AssertionContext tree = (AssertionContext) parse(parser);
ParseTreeWalker walker = new ParseTreeWalker();
AssertionExtractor extractor = new AssertionExtractor(text, parser.getParser());
walker.walk(extractor, tree);
AssertionAst ast = extractor.getAst();
return ast;
}
Aggregations