throw new XMLDBException(ErrorCodes.NO_SUCH_DATABASE,
"Unknown database (must be '" + database.getName() + "'): " + uri);
}
try {
return new CollectionImpl(database, colName);
} catch (XMLDBException xmldbe) {
if (xmldbe.errorCode == ErrorCodes.NO_SUCH_COLLECTION) {
// per getCollection contract, return null if not found
return null;
} else {