@Test public void test() { final CFA cfa = parser.cfa(); Assert.assertEquals(1, cfa.getVars().size()); Assert.assertEquals(6, cfa.getLocs().size()); Assert.assertEquals(6, cfa.getEdges().size()); }
public CFA cfa() { final SExpr sexpr = parser.sexpr(); final CFA cfa = interpreter.cfa(sexpr); return cfa; }
CfaParser { public CFA cfa() { final SExpr sexpr = parser.sexpr(); final CFA cfa = interpreter.cfa(sexpr); return cfa; } }
CfaParser { public CFA cfa() { final SExpr sexpr = parser.sexpr(); final CFA cfa = interpreter.cfa(sexpr); return cfa; } CfaParser(final Reader reader); }
CfaParser { public CFA cfa() { final SExpr sexpr = parser.sexpr(); final CFA cfa = interpreter.cfa(sexpr); return cfa; } CfaParser(final Reader reader); CFA cfa(); }
CfaParser { public CFA cfa() { final SExpr sexpr = parser.sexpr(); final CFA cfa = interpreter.cfa(sexpr); return cfa; } CfaParser(final Reader reader); CFA cfa();  }