/
NikolayIvkin
/
sqlancer2
Обзор
Документация
Войти
/
NikolayIvkin
/
sqlancer2
Код
Запросы
0
Задачи
Вики
Пакеты
0
Релизы
0
Аналитика
Безопасность
master
src/sqlancer/duckdb/test/DuckDBQueryPartitioningWhereTester.java
45 строк
2 KB
Kok Rui
Add canonicalization rule for DuckDB results
23 апр 2022, 03:39
23 апр 2022, 03:39
4a5724e
Код
Авторство
О чём код?
package sqlancer.duckdb.test; import java.sql.SQLException; import java.util.ArrayList; import java.util.List; import sqlancer.ComparatorHelper; import sqlancer.Randomly; import sqlancer.duckdb.DuckDBErrors; import sqlancer.duckdb.DuckDBProvider.DuckDBGlobalState; import sqlancer.duckdb.DuckDBToStringVisitor; public class DuckDBQueryPartitioningWhereTester extends DuckDBQueryPartitioningBase { public DuckDBQueryPartitioningWhereTester(DuckDBGlobalState state) { super(state); DuckDBErrors.addGroupByErrors(errors); } @Override public void check() throws SQLException { super.check(); select.setWhereClause(null); String originalQueryString = DuckDBToStringVisitor.asString(select); List<String> resultSet = ComparatorHelper.getResultSetFirstColumnAsString(originalQueryString, errors, state); boolean orderBy = Randomly.getBooleanWithRatherLowProbability(); if (orderBy) { select.setOrderByExpressions(gen.generateOrderBys()); } select.setWhereClause(predicate); String firstQueryString = DuckDBToStringVisitor.asString(select); select.setWhereClause(negatedPredicate); String secondQueryString = DuckDBToStringVisitor.asString(select); select.setWhereClause(isNullPredicate); String thirdQueryString = DuckDBToStringVisitor.asString(select); List<String> combinedString = new ArrayList<>(); List<String> secondResultSet = ComparatorHelper.getCombinedResultSet(firstQueryString, secondQueryString, thirdQueryString, combinedString, !orderBy, state, errors); ComparatorHelper.assumeResultSetsAreEqual(resultSet, secondResultSet, originalQueryString, combinedString, state, DuckDBQueryPartitioningBase::canonicalizeResultValue); } }