A refused schema statement still changes the schema: CREATE TYPE with a taken bucket leaves the type behind, and DROP TYPE after a subtype rename unlinks the subtype and loses the index #10317

// Two schema statements that are refused but still change the schema. After every statement: its outcome, then every
// type with its supertypes, its buckets and its indexes; at the end the same after close and reopen.
//   java SchemaRefusal.java <dir>
import com.arcadedb.database.*;
import com.arcadedb.index.*;
import com.arcadedb.schema.*;
import java.util.*;

public class SchemaRefusal {
  static Database db;

  public static void main(String[] a) throws Exception {
    run(a[0] + "/bucket", "A: CREATE TYPE with a bucket another type owns",
        "CREATE DOCUMENT TYPE A", "CREATE DOCUMENT TYPE B BUCKET A_0");
    run(a[0] + "/drop", "B: DROP TYPE of an indexed supertype whose subtype was renamed",
        "CREATE DOCUMENT TYPE T5", "CREATE PROPERTY T5.p STRING", "CREATE INDEX ON T5 (p) NOTUNIQUE",
        "CREATE DOCUMENT TYPE T10 EXTENDS T5", "ALTER TYPE T10 NAME T11", "DROP TYPE T5");
    run(a[0] + "/drop-norename", "C: the same DROP TYPE without the rename (control)",
        "CREATE DOCUMENT TYPE T5", "CREATE PROPERTY T5.p STRING", "CREATE INDEX ON T5 (p) NOTUNIQUE",
        "CREATE DOCUMENT TYPE T10 EXTENDS T5", "DROP TYPE T5");
  }

  static void run(String path, String label, String... stmts) {
    DatabaseFactory f = new DatabaseFactory(path); if (f.exists()) f.open().drop(); db = f.create();
    System.out.println("RESULT === " + label);
    for (String s : stmts) {
      String before = state();
      String out;
      try {
        if (s.startsWith("SELECT")) { try (var rs = db.query("sql", s)) { Object c = rs.next().getProperty("count(*)"); out = "ok, count " + c; } }
        else { db.command("sql", s).close(); out = "ok"; }
      }
      catch (Exception e) { out = "REFUSED " + e.getClass().getSimpleName() + ": " + String.valueOf(e.getMessage()).replaceAll("\\s+", " "); }
      String after = state();
      System.out.println("RESULT " + s + " -> " + out + (out.startsWith("REFUSED") && !before.equals(after) ? " | SCHEMA CHANGED ANYWAY" : ""));
      System.out.println("RESULT   schema: " + after);
    }
    db.close(); db = f.open();
    System.out.println("RESULT   after reopen: " + state());
    db.close();
  }

  static String state() {
    List<String> out = new ArrayList<>();
    List<DocumentType> types = new ArrayList<>(db.getSchema().getTypes()); types.sort(Comparator.comparing(DocumentType::getName));
    for (DocumentType t : types) {
      List<String> sup = new ArrayList<>(); for (DocumentType s : t.getSuperTypes()) sup.add(s.getName());
      List<String> bk = new ArrayList<>(); for (var b : t.getBuckets(false)) bk.add(b.getName());
      List<String> ix = new ArrayList<>(); for (var i : t.getAllIndexes(false)) ix.add(i.getName());
      out.add(t.getName() + "{super " + sup + ", buckets " + bk + ", indexes " + ix + "}");
    }
    return String.join(" ", out);
  }
}