src/sqlancer/duckdb/test/DuckDBQueryPartitioningHavingTester.java - master - NikolayIvkin/sqlancer2

src/sqlancer/duckdb/test/DuckDBQueryPartitioningHavingTester.java

62 строки2 KB

Kok Rui

Add canonicalization rule for DuckDB results

23 апр 2022, 03:39

23 апр 2022, 03:394a5724e

package sqlancer.duckdb.test;

import java.sql.SQLException;
import java.util.ArrayList;
import java.util.Arrays;
import java.util.List;

import sqlancer.ComparatorHelper;
import sqlancer.Randomly;
import sqlancer.common.ast.newast.Node;
import sqlancer.common.oracle.TestOracle;
import sqlancer.duckdb.DuckDBErrors;
import sqlancer.duckdb.DuckDBProvider.DuckDBGlobalState;
import sqlancer.duckdb.DuckDBToStringVisitor;
import sqlancer.duckdb.ast.DuckDBExpression;

public class DuckDBQueryPartitioningHavingTester extends DuckDBQueryPartitioningBase implements TestOracle {

    public DuckDBQueryPartitioningHavingTester(DuckDBGlobalState state) {
        super(state);
        DuckDBErrors.addGroupByErrors(errors);
    }

    @Override
    public void check() throws SQLException {
        super.check();
        if (Randomly.getBoolean()) {
            select.setWhereClause(gen.generateExpression());
        }
        boolean orderBy = Randomly.getBoolean();
        if (orderBy) {
            select.setOrderByExpressions(gen.generateOrderBys());
        }
        select.setGroupByExpressions(gen.generateExpressions(Randomly.smallNumber() + 1));
        select.setHavingClause(null);
        String originalQueryString = DuckDBToStringVisitor.asString(select);
        List<String> resultSet = ComparatorHelper.getResultSetFirstColumnAsString(originalQueryString, errors, state);

        select.setHavingClause(predicate);
        String firstQueryString = DuckDBToStringVisitor.asString(select);
        select.setHavingClause(negatedPredicate);
        String secondQueryString = DuckDBToStringVisitor.asString(select);
        select.setHavingClause(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);
    }

    @Override
    protected Node<DuckDBExpression> generatePredicate() {
        return gen.generateHavingClause();
    }

    @Override
    List<Node<DuckDBExpression>> generateFetchColumns() {
        return Arrays.asList(gen.generateHavingClause());
    }

}