public void checkIsClosed() throws ClosedException {
		if (isClosed()) {
			throw new ClosedException();
		}
	}
Check if the database is closed.
@throws ClosedException if database is closed and further operations are unsupported
Ghidra/Framework/DB/src/main/java/db/DBHandle.java