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