public static IEnumerable<ProofState> EvalNextControlFlow(Statement stmt, ProofState state) { IEnumerable<ProofState> ret; switch(state.GetCurFrameTyp()) { case "tmatch": ret = new Match().EvalNext(stmt as TacnyCasesBlockStmt, state); break; default: ret = null; break; } return ret; }
public static bool IsFlowControlFrame(ProofState state) { var typ = state.GetCurFrameTyp(); //more control frame should be added here return (typ == "tmatch"); }