private static synchronized Database getDatabaseObject(String type,
String path, HsqlProperties props) {
Database db;
String key = path;
HashMap databaseMap;
if (type == DatabaseURL.S_FILE) {
databaseMap = fileDatabaseMap;
key = filePathToKey(path);
db = (Database) databaseMap.get(key);
if (db == null) {
if (databaseMap.size() > 0) {
Iterator it = databaseMap.keySet().iterator();
while (it.hasNext()) {
String current = (String) it.next();
if (key.equalsIgnoreCase(current)) {
key = current;
break;
}
}
}
}
} else if (type == DatabaseURL.S_RES) {
databaseMap = resDatabaseMap;
} else if (type == DatabaseURL.S_MEM) {
databaseMap = memDatabaseMap;
} else {
throw Error.runtimeError(ErrorCode.U_S0500, "DatabaseManager");
}
db = (Database) databaseMap.get(key);
if (db == null) {
db = new Database(type, path, key, props);
db.databaseID = dbIDCounter;
databaseIDMap.put(dbIDCounter, db);
dbIDCounter++;
databaseMap.put(key, db);
}
return db;
}