public void flushCache() { super.flushCache(); constant_computed = false; constant_value = null; type_computed = false; type_value = null; }