/** @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;
}