FormalPropertySyntaxTreeToAstTranslaterTest.java 文件源码

@Test
public void testCreateAST() {
   String exp = "FOR_ALL_VOTERS(v) : EXISTS_ONE_CANDIDATE(c) : VOTES1(v) == c && VOTES1(v) == c;";
   FormalPropertyDescriptionLexer lexer = new FormalPropertyDescriptionLexer(new ANTLRInputStream(exp));
   CommonTokenStream tokenS = new CommonTokenStream(lexer);
   FormalPropertyDescriptionParser parser = new FormalPropertyDescriptionParser(tokenS);
   FormalPropertySyntaxTreeToAstTranslator translater = new FormalPropertySyntaxTreeToAstTranslator();
}