docs: void processAlterTableRename(Table table) {
  
          HsqlName name = readNewSchemaObjectName(SchemaObject.TABLE);
  
          name.setSchemaIfNull(table.getSchemaName());
  
          if (table.getSchemaName() != name.schema) {
              throw Error.error(ErrorCode.X_42505);
          }
  
          database.schemaManager.renameSchemaObject(table.getName(), name);
      }