-
Notifications
You must be signed in to change notification settings - Fork 397
Expand file tree
/
Copy pathHSQLDBSchema.java
More file actions
159 lines (135 loc) · 5.65 KB
/
HSQLDBSchema.java
File metadata and controls
159 lines (135 loc) · 5.65 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.hsqldb;
import java.sql.ResultSet;
import java.sql.SQLException;
import java.sql.Statement;
import java.util.ArrayList;
import java.util.Collections;
import java.util.List;
import sqlancer.Randomly;
import sqlancer.SQLConnection;
import sqlancer.common.DBMSCommon;
import sqlancer.common.schema.AbstractRelationalTable;
import sqlancer.common.schema.AbstractSchema;
import sqlancer.common.schema.AbstractTableColumn;
import sqlancer.common.schema.TableIndex;
public class HSQLDBSchema extends AbstractSchema<HSQLDBProvider.HSQLDBGlobalState, HSQLDBSchema.HSQLDBTable> {
public HSQLDBSchema(List<HSQLDBTable> databaseTables) {
super(databaseTables);
}
public static HSQLDBSchema fromConnection(SQLConnection connection, String databaseName) throws SQLException {
List<HSQLDBSchema.HSQLDBTable> databaseTables = new ArrayList<>();
List<String> tableNames = getTableNames(connection);
for (String tableName : tableNames) {
if (DBMSCommon.matchesIndexName(tableName)) {
continue; // TODO: unexpected?
}
List<HSQLDBSchema.HSQLDBColumn> databaseColumns = getTableColumns(connection, tableName);
boolean isView = tableName.startsWith("v");
HSQLDBSchema.HSQLDBTable t = new HSQLDBSchema.HSQLDBTable(tableName, databaseColumns, isView);
for (HSQLDBSchema.HSQLDBColumn c : databaseColumns) {
c.setTable(t);
}
databaseTables.add(t);
}
return new HSQLDBSchema(databaseTables);
}
private static List<String> getTableNames(SQLConnection con) throws SQLException {
List<String> tableNames = new ArrayList<>();
try (Statement s = con.createStatement()) {
try (ResultSet rs = s
.executeQuery("SELECT TABLE_NAME FROM INFORMATION_SCHEMA.TABLES WHERE TABLE_SCHEMA = 'PUBLIC';")) {
while (rs.next()) {
tableNames.add(rs.getString("TABLE_NAME"));
}
}
}
return tableNames;
}
private static List<HSQLDBColumn> getTableColumns(SQLConnection con, String tableName) throws SQLException {
List<HSQLDBColumn> tableNames = new ArrayList<>();
try (Statement s = con.createStatement()) {
String sql = "SELECT COLUMN_NAME, DATA_TYPE, TYPE_NAME, COLUMN_SIZE FROM INFORMATION_SCHEMA.SYSTEM_COLUMNS WHERE TABLE_NAME = '%s';";
try (ResultSet rs = s.executeQuery(String.format(sql, tableName))) {
while (rs.next()) {
HSQLDBDataType dataType = HSQLDBDataType.from(rs.getString("TYPE_NAME"));
HSQLDBCompositeDataType compositeDataType = new HSQLDBCompositeDataType(dataType,
rs.getInt("COLUMN_SIZE"));
HSQLDBColumn column = new HSQLDBColumn(rs.getString("COLUMN_NAME"), null, compositeDataType);
tableNames.add(column);
}
}
}
return tableNames;
}
public static class HSQLDBTable
extends AbstractRelationalTable<HSQLDBSchema.HSQLDBColumn, TableIndex, HSQLDBProvider.HSQLDBGlobalState> {
public HSQLDBTable(String tableName, List<HSQLDBSchema.HSQLDBColumn> columns, boolean isView) {
super(tableName, columns, Collections.emptyList(), isView);
}
}
public static class HSQLDBColumn
extends AbstractTableColumn<HSQLDBSchema.HSQLDBTable, HSQLDBSchema.HSQLDBCompositeDataType> {
public HSQLDBColumn(String name, HSQLDBTable table, HSQLDBCompositeDataType type) {
super(name, table, type);
}
}
public enum HSQLDBDataType {
INTEGER, DOUBLE, BOOLEAN, CHAR, VARCHAR, BINARY, TIME, DATE, TIMESTAMP, NULL;
public static HSQLDBSchema.HSQLDBDataType getRandomWithoutNull() {
HSQLDBSchema.HSQLDBDataType dt;
do {
dt = Randomly.fromOptions(values());
} while (dt == HSQLDBSchema.HSQLDBDataType.NULL);
return dt;
}
public static HSQLDBDataType from(String typeName) {
for (HSQLDBDataType value : HSQLDBDataType.values()) {
if (value.name().equals(typeName)) {
return value;
}
}
return NULL;
}
}
public static class HSQLDBCompositeDataType {
private final int size;
private final HSQLDBDataType type;
public HSQLDBCompositeDataType(HSQLDBDataType type, int size) {
this.type = type;
this.size = size;
}
public static HSQLDBCompositeDataType getRandomWithoutNull() {
HSQLDBSchema.HSQLDBDataType type = HSQLDBSchema.HSQLDBDataType.getRandomWithoutNull();
return getRandomWithType(type);
}
public static HSQLDBCompositeDataType getRandomWithType(HSQLDBSchema.HSQLDBDataType type) {
int size;
switch (type) {
case VARCHAR:
case CHAR:
case TIME:
case BINARY:
case TIMESTAMP:
size = Randomly.fromOptions(4, 6, 8);
break;
case BOOLEAN:
case INTEGER:
case DOUBLE:
// case UUID:
// case OTHER:
case DATE:
size = 0;
break;
default:
throw new AssertionError(type);
}
return new HSQLDBSchema.HSQLDBCompositeDataType(type, size);
}
public HSQLDBDataType getType() {
return type;
}
public int getSize() {
return size;
}
}
}