sqlancer · mrigger · Mar 9, 2024 · Mar 6, 2024
diff --git a/src/check_names.py b/src/check_names.py
@@ -33,12  33,10 @@ def verify_all_dbs(name_to_files: dict[str:List[str]]):
     cwd = os.getcwd()
     print("Current working directory: {0}".format(cwd))
     name_to_files: dict[str:List[str]] = dict()
-    name_to_files["ArangoDB"] = get_java_files(os.path.join(cwd, "src", "sqlancer", "arangodb"))
     name_to_files["Citus"] = get_java_files(os.path.join(cwd, "src", "sqlancer", "citus"))
     name_to_files["ClickHouse"] = get_java_files(os.path.join(cwd, "src", "sqlancer", "clickhouse"))
     name_to_files["CnosDB"] = get_java_files(os.path.join(cwd, "src", "sqlancer", "cnosdb"))
     name_to_files["CockroachDB"] = get_java_files(os.path.join(cwd, "src", "sqlancer", "cockroachdb"))
-    name_to_files["Cosmos"] = get_java_files(os.path.join(cwd, "src", "sqlancer", "cosmos"))
     name_to_files["Databend"] = get_java_files(os.path.join(cwd, "src", "sqlancer", "databend"))
     name_to_files["DuckDB"] = get_java_files(os.path.join(cwd, "src", "sqlancer", "duckdb"))
     name_to_files["H2"] = get_java_files(os.path.join(cwd, "src", "sqlancer", "h2"))

diff --git a/src/sqlancer/Main.java b/src/sqlancer/Main.java
@@ -23,23  23,20 @@
 import com.beust.jcommander.JCommander;
 import com.beust.jcommander.JCommander.Builder;
 
-import sqlancer.arangodb.ArangoDBProvider;
 import sqlancer.citus.CitusProvider;
 import sqlancer.clickhouse.ClickHouseProvider;
 import sqlancer.cnosdb.CnosDBProvider;
 import sqlancer.cockroachdb.CockroachDBProvider;
 import sqlancer.common.log.Loggable;
 import sqlancer.common.query.Query;
 import sqlancer.common.query.SQLancerResultSet;
-import sqlancer.cosmos.CosmosProvider;
 import sqlancer.databend.DatabendProvider;
 import sqlancer.doris.DorisProvider;
 import sqlancer.duckdb.DuckDBProvider;
 import sqlancer.h2.H2Provider;
 import sqlancer.hsqldb.HSQLDBProvider;
 import sqlancer.mariadb.MariaDBProvider;
 import sqlancer.materialize.MaterializeProvider;
-import sqlancer.mongodb.MongoDBProvider;
 import sqlancer.mysql.MySQLProvider;
 import sqlancer.oceanbase.OceanBaseProvider;
 import sqlancer.postgres.PostgresProvider;
@@ -732,20  729,17 @@ private static void checkForIssue799(List<DatabaseProvider<?, ?, ?>> providers)
         if (providers.isEmpty()) {
             System.err.println(
                     "No DBMS implementations (i.e., instantiations of the DatabaseProvider class) were found. You likely ran into an issue described in https://github.com/sqlancer/sqlancer/issues/799. As a workaround, I now statically load all supported providers as of June 7, 2023.");
-            providers.add(new ArangoDBProvider());
             providers.add(new CitusProvider());
             providers.add(new ClickHouseProvider());
             providers.add(new CnosDBProvider());
             providers.add(new CockroachDBProvider());
-            providers.add(new CosmosProvider());
             providers.add(new DatabendProvider());
             providers.add(new DorisProvider());
             providers.add(new DuckDBProvider());
             providers.add(new H2Provider());
             providers.add(new HSQLDBProvider());
             providers.add(new MariaDBProvider());
             providers.add(new MaterializeProvider());
-            providers.add(new MongoDBProvider());
             providers.add(new MySQLProvider());
             providers.add(new OceanBaseProvider());
             providers.add(new PrestoProvider());

diff --git a/src/sqlancer/arangodb/ArangoDBComparatorHelper.java b/src/sqlancer/arangodb/ArangoDBComparatorHelper.java
diff --git a/src/sqlancer/arangodb/ArangoDBConnection.java b/src/sqlancer/arangodb/ArangoDBConnection.java
diff --git a/src/sqlancer/arangodb/ArangoDBLoggableFactory.java b/src/sqlancer/arangodb/ArangoDBLoggableFactory.java
diff --git a/src/sqlancer/arangodb/ArangoDBOptions.java b/src/sqlancer/arangodb/ArangoDBOptions.java
diff --git a/src/sqlancer/arangodb/ArangoDBProvider.java b/src/sqlancer/arangodb/ArangoDBProvider.java