public static bool IsFlowControlFrame(ProofState state)
{
var typ = state.GetCurFrameTyp();
//more control frame should be added here
return(typ == "tmatch");
}
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);
}