/** @apilevel low-level */ public void flushCache() { super.flushCache(); type_computed = false; type_value = null; }