Beispiel #1
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;
 }
 public void flushCache() {
   super.flushCache();
   isDAafter_Variable_values = null;
   isDUafter_Variable_values = null;
   canCompleteNormally_computed = false;
 }
Beispiel #3
0
 public void flushCache() {
   super.flushCache();
   canCompleteNormally_computed = false;
 }