public void flushCollectionCache() {
   super.flushCollectionCache();
 }
 public void typeCheck() {
   super.typeCheck();
   if (!getExpr().type().unaryNumericPromotion().isInt())
     error(getExpr().type().typeName() + " is not int after unary numeric promotion");
 }
 public void flushCache() {
   super.flushCache();
 }