/** @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; }
public void flushCache() { super.flushCache(); canCompleteNormally_computed = false; }