예제 #1
0
파일: IfStmt.java 프로젝트: h-inoue/JCop
 public void flushCache() {
   super.flushCache();
   isDAafter_Variable_values = null;
   isDUafter_Variable_values = null;
   canCompleteNormally_computed = false;
   else_branch_label_computed = false;
   then_branch_label_computed = false;
 }
예제 #2
0
 public void flushCache() {
   super.flushCache();
   finallyList_computed = false;
   finallyList_value = null;
   isDAafter_Variable_values = null;
   isDUafterReachedFinallyBlocks_Variable_values = null;
   isDAafterReachedFinallyBlocks_Variable_values = null;
   isDUafter_Variable_values = null;
   canCompleteNormally_computed = false;
   resultSaveLocalNum_computed = false;
 }
예제 #3
0
 /** @apilevel low-level */
 public void flushCache() {
   super.flushCache();
   isDAafter_Variable_values = null;
   isDUafter_Variable_values = null;
   canCompleteNormally_computed = false;
   typeNullPointerException_computed = false;
   typeNullPointerException_value = null;
   handlesException_TypeDecl_values = null;
   typeThrowable_computed = false;
   typeThrowable_value = null;
   typeNull_computed = false;
   typeNull_value = null;
 }
예제 #4
0
 public void flushCache() {
   super.flushCache();
   canCompleteNormally_computed = false;
 }