public void deleteBuffer(int id) throws IOException {
		synchronized (snapshotLock) {
			synchronized (this) {
				if (corruptedState) {
					throw new IOException("Corrupted BufferMgr state");
				}
				try {
					DataBuffer buf = getBuffer(id);
					buf.setEmpty(true);
					buf.setDirty(true);
					releaseBuffer(buf);
				}
				catch (Exception e) {
					handleCorruptionException(e, "BufferMgr buffer delete failed");
				}
			}
		}
	}
Delete buffer.
DataBuffer is added to the free list for reuse.
@param id buffer id
@throws IOException if source or cache file access error occurs
Ghidra/Framework/DB/src/main/java/db/buffers/BufferMgr.java