Examples with AssertionAst org.batfish.datamodel.assertion.AssertionAst used on opensource projects

Example 1 with AssertionAst

use of org.batfish.datamodel.assertion.AssertionAst 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;
}