Java FloatingPointType.flushCache Examples

Example #1

File: FloatType.java Project: JansenLi/soot

 /** @apilevel low-level */
 public void flushCache() {
   super.flushCache();
   boxed_computed = false;
   boxed_value = null;
   jvmName_computed = false;
   jvmName_value = null;
   getSootType_computed = false;
   getSootType_value = null;
 }