private void RequireLocked(LockFile tmp) { if (_liveFile == null) { throw new InvalidOperationException("DirCache is not locked"); } if (tmp == null) { throw new InvalidOperationException("DirCache " + _liveFile.FullName + " not locked."); } }