forked from sqlancer/sqlancer
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathGlobalState.java
More file actions
84 lines (63 loc) · 1.71 KB
/
GlobalState.java
File metadata and controls
84 lines (63 loc) · 1.71 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
package sqlancer;
import java.sql.Connection;
import sqlancer.Main.QueryManager;
import sqlancer.Main.StateLogger;
public class GlobalState<O> {
private Connection con;
private Randomly r;
private MainOptions options;
private O dmbsSpecificOptions;
private StateLogger logger;
private StateToReproduce state;
private QueryManager manager;
private String databaseName;
public void setConnection(Connection con) {
this.con = con;
}
@SuppressWarnings("unchecked")
public void setDmbsSpecificOptions(Object dmbsSpecificOptions) {
this.dmbsSpecificOptions = (O) dmbsSpecificOptions;
}
public O getDmbsSpecificOptions() {
return dmbsSpecificOptions;
}
public Connection getConnection() {
return con;
}
public void setRandomly(Randomly r) {
this.r = r;
}
public Randomly getRandomly() {
return r;
}
public MainOptions getOptions() {
return options;
}
public void setMainOptions(MainOptions options) {
this.options = options;
}
public void setStateLogger(StateLogger logger) {
this.logger = logger;
}
public StateLogger getLogger() {
return logger;
}
public void setState(StateToReproduce state) {
this.state = state;
}
public StateToReproduce getState() {
return state;
}
public QueryManager getManager() {
return manager;
}
public void setManager(QueryManager manager) {
this.manager = manager;
}
public String getDatabaseName() {
return databaseName;
}
public void setDatabaseName(String databaseName) {
this.databaseName = databaseName;
}
}