Java Expr.flushCache Examples

Example #1

File: Binary.java Project: wellington-oj/Safe_Project

 /** @apilevel low-level */
 public void flushCache() {
   super.flushCache();
   isConstant_visited = -1;
   isConstant_computed = false;
   isConstant_initialized = false;
   isDAafterTrue_Variable_values = null;
   isDAafterFalse_Variable_values = null;
   isDAafter_Variable_values = null;
   isDUafter_Variable_values = null;
   isDUbefore_Variable_values = null;
 }

Example #2

File: PrimaryExpr.java Project: wellington-oj/Safe_Project

 /** @apilevel low-level */
 public void flushCache() {
   super.flushCache();
 }