forked from sqlancer/sqlancer
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathDuckDBOptions.java
More file actions
157 lines (122 loc) · 6.76 KB
/
DuckDBOptions.java
File metadata and controls
157 lines (122 loc) · 6.76 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
package sqlancer.duckdb;
import java.sql.SQLException;
import java.util.ArrayList;
import java.util.Arrays;
import java.util.List;
import com.beust.jcommander.Parameter;
import com.beust.jcommander.Parameters;
import sqlancer.DBMSSpecificOptions;
import sqlancer.OracleFactory;
import sqlancer.common.oracle.CompositeTestOracle;
import sqlancer.common.oracle.TestOracle;
import sqlancer.duckdb.DuckDBOptions.DuckDBOracleFactory;
import sqlancer.duckdb.DuckDBProvider.DuckDBGlobalState;
import sqlancer.duckdb.test.DuckDBNoRECOracle;
import sqlancer.duckdb.test.DuckDBQueryPartitioningAggregateTester;
import sqlancer.duckdb.test.DuckDBQueryPartitioningDistinctTester;
import sqlancer.duckdb.test.DuckDBQueryPartitioningGroupByTester;
import sqlancer.duckdb.test.DuckDBQueryPartitioningHavingTester;
import sqlancer.duckdb.test.DuckDBQueryPartitioningWhereTester;
@Parameters
public class DuckDBOptions implements DBMSSpecificOptions<DuckDBOracleFactory> {
@Parameter(names = "--test-collate", arity = 1)
public boolean testCollate = true;
@Parameter(names = "--test-check", description = "Allow generating CHECK constraints in tables", arity = 1)
public boolean testCheckConstraints = true;
@Parameter(names = "--test-default-values", description = "Allow generating DEFAULT values in tables", arity = 1)
public boolean testDefaultValues = true;
@Parameter(names = "--test-not-null", description = "Allow generating NOT NULL constraints in tables", arity = 1)
public boolean testNotNullConstraints = true;
@Parameter(names = "--test-functions", description = "Allow generating functions in expressions", arity = 1)
public boolean testFunctions = true;
@Parameter(names = "--test-casts", description = "Allow generating casts in expressions", arity = 1)
public boolean testCasts = true;
@Parameter(names = "--test-between", description = "Allow generating the BETWEEN operator in expressions", arity = 1)
public boolean testBetween = true;
@Parameter(names = "--test-in", description = "Allow generating the IN operator in expressions", arity = 1)
public boolean testIn = true;
@Parameter(names = "--test-case", description = "Allow generating the CASE operator in expressions", arity = 1)
public boolean testCase = true;
@Parameter(names = "--test-binary-logicals", description = "Allow generating AND and OR in expressions", arity = 1)
public boolean testBinaryLogicals = true;
@Parameter(names = "--test-int-constants", description = "Allow generating INTEGER constants", arity = 1)
public boolean testIntConstants = true;
@Parameter(names = "--test-varchar-constants", description = "Allow generating VARCHAR constants", arity = 1)
public boolean testStringConstants = true;
@Parameter(names = "--test-date-constants", description = "Allow generating DATE constants", arity = 1)
public boolean testDateConstants = true;
@Parameter(names = "--test-timestamp-constants", description = "Allow generating TIMESTAMP constants", arity = 1)
public boolean testTimestampConstants = true;
@Parameter(names = "--test-float-constants", description = "Allow generating floating-point constants", arity = 1)
public boolean testFloatConstants = true;
@Parameter(names = "--test-boolean-constants", description = "Allow generating boolean constants", arity = 1)
public boolean testBooleanConstants = true;
@Parameter(names = "--test-binary-comparisons", description = "Allow generating binary comparison operators (e.g., >= or LIKE)", arity = 1)
public boolean testBinaryComparisons = true;
@Parameter(names = "--test-indexes", description = "Allow explicit (i.e. CREATE INDEX) and implicit (i.e., UNIQUE and PRIMARY KEY) indexes", arity = 1)
public boolean testIndexes = true;
@Parameter(names = "--test-rowid", description = "Test tables' rowid columns", arity = 1)
public boolean testRowid = true;
@Parameter(names = "--max-num-views", description = "The maximum number of views that can be generated for a database", arity = 1)
public int maxNumViews = 1;
@Parameter(names = "--max-num-deletes", description = "The maximum number of DELETE statements that are issued for a database", arity = 1)
public int maxNumDeletes = 1;
@Parameter(names = "--max-num-updates", description = "The maximum number of UPDATE statements that are issued for a database", arity = 1)
public int maxNumUpdates = 5;
@Parameter(names = "--oracle")
public List<DuckDBOracleFactory> oracles = Arrays.asList(DuckDBOracleFactory.QUERY_PARTITIONING);
public enum DuckDBOracleFactory implements OracleFactory<DuckDBGlobalState> {
NOREC {
@Override
public TestOracle create(DuckDBGlobalState globalState) throws SQLException {
return new DuckDBNoRECOracle(globalState);
}
},
HAVING {
@Override
public TestOracle create(DuckDBGlobalState globalState) throws SQLException {
return new DuckDBQueryPartitioningHavingTester(globalState);
}
},
WHERE {
@Override
public TestOracle create(DuckDBGlobalState globalState) throws SQLException {
return new DuckDBQueryPartitioningWhereTester(globalState);
}
},
GROUP_BY {
@Override
public TestOracle create(DuckDBGlobalState globalState) throws SQLException {
return new DuckDBQueryPartitioningGroupByTester(globalState);
}
},
AGGREGATE {
@Override
public TestOracle create(DuckDBGlobalState globalState) throws SQLException {
return new DuckDBQueryPartitioningAggregateTester(globalState);
}
},
DISTINCT {
@Override
public TestOracle create(DuckDBGlobalState globalState) throws SQLException {
return new DuckDBQueryPartitioningDistinctTester(globalState);
}
},
QUERY_PARTITIONING {
@Override
public TestOracle create(DuckDBGlobalState globalState) throws SQLException {
List<TestOracle> oracles = new ArrayList<>();
oracles.add(new DuckDBQueryPartitioningWhereTester(globalState));
oracles.add(new DuckDBQueryPartitioningHavingTester(globalState));
oracles.add(new DuckDBQueryPartitioningAggregateTester(globalState));
oracles.add(new DuckDBQueryPartitioningDistinctTester(globalState));
oracles.add(new DuckDBQueryPartitioningGroupByTester(globalState));
return new CompositeTestOracle(oracles, globalState);
}
};
}
@Override
public List<DuckDBOracleFactory> getTestOracleFactory() {
return oracles;
}
}