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