forked from sqlancer/sqlancer
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathDatabendOptions.java
More file actions
159 lines (124 loc) · 6.99 KB
/
DatabendOptions.java
File metadata and controls
159 lines (124 loc) · 6.99 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
158
159
package sqlancer.databend;
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.databend.DatabendOptions.DatabendOracleFactory;
import sqlancer.databend.DatabendProvider.DatabendGlobalState;
import sqlancer.databend.test.DatabendNoRECOracle;
import sqlancer.databend.test.DatabendQueryPartitioningAggregateTester;
import sqlancer.databend.test.DatabendQueryPartitioningDistinctTester;
import sqlancer.databend.test.DatabendQueryPartitioningGroupByTester;
import sqlancer.databend.test.DatabendQueryPartitioningHavingTester;
import sqlancer.databend.test.DatabendQueryPartitioningWhereTester;
@Parameters(commandDescription = "Databend")
public class DatabendOptions implements DBMSSpecificOptions<DatabendOracleFactory> {
public static final String DEFAULT_HOST = "localhost";
public static final int DEFAULT_PORT = 3307;
@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<DatabendOracleFactory> oracles = Arrays.asList(DatabendOracleFactory.QUERY_PARTITIONING);
public enum DatabendOracleFactory implements OracleFactory<DatabendGlobalState> {
NOREC {
@Override
public TestOracle create(DatabendGlobalState globalState) throws SQLException {
return new DatabendNoRECOracle(globalState);
}
},
HAVING {
@Override
public TestOracle create(DatabendGlobalState globalState) throws SQLException {
return new DatabendQueryPartitioningHavingTester(globalState);
}
},
WHERE {
@Override
public TestOracle create(DatabendGlobalState globalState) throws SQLException {
return new DatabendQueryPartitioningWhereTester(globalState);
}
},
GROUP_BY {
@Override
public TestOracle create(DatabendGlobalState globalState) throws SQLException {
return new DatabendQueryPartitioningGroupByTester(globalState);
}
},
AGGREGATE {
@Override
public TestOracle create(DatabendGlobalState globalState) throws SQLException {
return new DatabendQueryPartitioningAggregateTester(globalState);
}
},
DISTINCT {
@Override
public TestOracle create(DatabendGlobalState globalState) throws SQLException {
return new DatabendQueryPartitioningDistinctTester(globalState);
}
},
QUERY_PARTITIONING {
@Override
public TestOracle create(DatabendGlobalState globalState) throws SQLException {
List<TestOracle> oracles = new ArrayList<>();
oracles.add(new DatabendQueryPartitioningWhereTester(globalState));
oracles.add(new DatabendQueryPartitioningHavingTester(globalState));
oracles.add(new DatabendQueryPartitioningAggregateTester(globalState));
oracles.add(new DatabendQueryPartitioningDistinctTester(globalState));
oracles.add(new DatabendQueryPartitioningGroupByTester(globalState));
return new CompositeTestOracle(oracles, globalState);
}
};
}
@Override
public List<DatabendOracleFactory> getTestOracleFactory() {
return oracles;
}
}