Schema: after #10348, DROP TYPE and ALTER TYPE ... BUCKET - fail after an indexed supertype rename, and the refused statement still changes the schema #10412

// REMOVE WHEN: the rename-and-index schema findings on ea180479d7 (#10348's merge, 2026-10-20) are filed and verified on their fix.
// java RenameIndex.java DBDIR: three cases, each on a fresh database. Every statement's outcome, then the schema (types, supertypes,
// buckets, indexes), then a close (which writes the schema) and the schema after a reopen.
import com.arcadedb.database.*;
import com.arcadedb.schema.*;
import java.util.*;

public class RenameIndex {
  static final String[][] CASES = {
    { "1: DROP TYPE of a subtype after its indexed supertype was renamed",
      "CREATE DOCUMENT TYPE T22 BUCKETS 3", "CREATE DOCUMENT TYPE T25 EXTENDS T22", "CREATE PROPERTY T22.p STRING", "CREATE INDEX ON T22 (p) NOTUNIQUE",
      "ALTER TYPE T22 NAME T28", "DROP TYPE T25" },
    { "2: ALTER TYPE ... BUCKET - on a renamed subtype after its indexed supertype was renamed",
      "CREATE EDGE TYPE T1", "CREATE EDGE TYPE T2 EXTENDS T1", "ALTER TYPE T2 NAME T4", "CREATE PROPERTY T1.p STRING", "CREATE INDEX ON T1 (p) NOTUNIQUE",
      "ALTER TYPE T1 NAME T10", "ALTER TYPE T4 BUCKET -T4_0" },
    { "3: an indexed type renamed twice loses its last bucket, then DROP TYPE of its subtype",
      "CREATE DOCUMENT TYPE T1", "ALTER TYPE T1 NAME T13", "CREATE DOCUMENT TYPE T15 EXTENDS T13", "CREATE PROPERTY T15.p STRING", "CREATE INDEX ON T15 (p) NOTUNIQUE",
      "CREATE DOCUMENT TYPE T64 EXTENDS T15 BUCKETS 4", "ALTER TYPE T15 NAME T65", "ALTER TYPE T65 NAME T66", "ALTER TYPE T66 BUCKET -T66_0", "DROP TYPE T64" } };
  public static void main(String[] a) throws Exception {
    System.out.println("RESULT engine " + com.arcadedb.Constants.getRawVersion() + " " + com.arcadedb.Constants.getBuildNumber());
    int c = 0;
    for (String[] cs : CASES) {
      System.out.println("RESULT === case " + cs[0]);
      DatabaseFactory f = new DatabaseFactory(a[0] + "/c" + (c++)); if (f.exists()) f.open().drop(); Database db = f.create();
      for (int i = 1; i < cs.length; i++) {
        String before = schema(db), r;
        try { db.command("sql", cs[i]).close(); r = "ok"; } catch (Exception e) { r = "REFUSED " + e.getClass().getSimpleName() + ": " + e.getMessage(); }
        String after = schema(db);
        System.out.println("RESULT " + cs[i] + " -> " + r + (r.startsWith("REFUSED") && !before.equals(after) ? " | SCHEMA CHANGED ANYWAY" : ""));
      }
      System.out.println("RESULT   schema: " + schema(db));
      try { db.close(); System.out.println("RESULT   close: ok"); } catch (Exception e) { System.out.println("RESULT   close: " + e.getClass().getSimpleName() + ": " + e.getMessage()); }
      try { Database d2 = f.open(); System.out.println("RESULT   after reopen: " + schema(d2)); d2.close(); }
      catch (Exception e) { System.out.println("RESULT   reopen: " + e.getClass().getSimpleName() + ": " + e.getMessage()); }
    }
    System.exit(0);
  }
  static String schema(Database db) {
    StringBuilder b = new StringBuilder(); List<DocumentType> ts = new ArrayList<>(db.getSchema().getTypes()); ts.sort(Comparator.comparing(DocumentType::getName));
    for (DocumentType t : ts) {
      List<String> sup = new ArrayList<>(); for (DocumentType s : t.getSuperTypes()) sup.add(s.getName());
      List<String> bk = new ArrayList<>(); for (var x : t.getBuckets(false)) bk.add(x.getName());
      List<String> ix = new ArrayList<>(); try { for (var x : t.getAllIndexes(false)) ix.add(x.getName()); } catch (Exception e) { ix.add("EXC " + e.getMessage()); }
      b.append(t.getName()).append("{super ").append(sup).append(", buckets ").append(bk).append(", indexes ").append(ix).append("} ");
    }
    return b.toString().trim();
  }
}