-
Notifications
You must be signed in to change notification settings - Fork 397
Expand file tree
/
Copy pathClickHouseOptions.java
More file actions
71 lines (62 loc) · 2.81 KB
/
ClickHouseOptions.java
File metadata and controls
71 lines (62 loc) · 2.81 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
package sqlancer.clickhouse;
import java.sql.SQLException;
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.clickhouse.ClickHouseOptions.ClickHouseOracleFactory;
import sqlancer.clickhouse.ClickHouseProvider.ClickHouseGlobalState;
import sqlancer.clickhouse.oracle.tlp.ClickHouseTLPAggregateOracle;
import sqlancer.clickhouse.oracle.tlp.ClickHouseTLPDistinctOracle;
import sqlancer.clickhouse.oracle.tlp.ClickHouseTLPGroupByOracle;
import sqlancer.clickhouse.oracle.tlp.ClickHouseTLPHavingOracle;
import sqlancer.clickhouse.oracle.tlp.ClickHouseTLPWhereOracle;
import sqlancer.common.oracle.TestOracle;
@Parameters(separators = "=", commandDescription = "ClickHouse (default port: " + ClickHouseOptions.DEFAULT_PORT
+ ", default host: " + ClickHouseOptions.DEFAULT_HOST)
public class ClickHouseOptions implements DBMSSpecificOptions<ClickHouseOracleFactory> {
public static final String DEFAULT_HOST = "localhost";
public static final int DEFAULT_PORT = 8123;
@Parameter(names = "--oracle")
public List<ClickHouseOracleFactory> oracle = Arrays.asList(ClickHouseOracleFactory.TLPWhere);
@Parameter(names = { "--test-joins" }, description = "Allow the generation of JOIN clauses", arity = 1)
public boolean testJoins = true;
public enum ClickHouseOracleFactory implements OracleFactory<ClickHouseGlobalState> {
TLPWhere {
@Override
public TestOracle create(ClickHouseProvider.ClickHouseGlobalState globalState) throws SQLException {
return new ClickHouseTLPWhereOracle(globalState);
}
},
TLPDistinct {
@Override
public TestOracle create(ClickHouseProvider.ClickHouseGlobalState globalState) throws SQLException {
return new ClickHouseTLPDistinctOracle(globalState);
}
},
TLPGroupBy {
@Override
public TestOracle create(ClickHouseProvider.ClickHouseGlobalState globalState) throws SQLException {
return new ClickHouseTLPGroupByOracle(globalState);
}
},
TLPAggregate {
@Override
public TestOracle create(ClickHouseProvider.ClickHouseGlobalState globalState) throws SQLException {
return new ClickHouseTLPAggregateOracle(globalState);
}
},
TLPHaving {
@Override
public TestOracle create(ClickHouseProvider.ClickHouseGlobalState globalState) throws SQLException {
return new ClickHouseTLPHavingOracle(globalState);
}
};
}
@Override
public List<ClickHouseOracleFactory> getTestOracleFactory() {
return oracle;
}
}