/// <summary>Save to text file all data that was readed</summary> public new void Dispose() { File.WriteAllText( LookupLoader.GetFileUniqueName(this.Source, ".log", 0), String.Join(String.Empty, Array.ConvertAll(_map, delegate(Byte b) { return(_arr[b]); }))); base.Dispose(); }
/// <summary>Получить уникальное наименование файла</summary> /// <param name="path">Путь с наименованием файла</param> /// /// <param name="extension">Расширение, которое добавляется к файлу</param> /// <param name="index">Индекс наименования, если файл с таким наименованием уже существует</param> /// <returns>Уникальное наимеование файла</returns> private static String GetFileUniqueName(String path, String extension, UInt32 index) { String filePath = index > 0 ? String.Format("{0}[{1}]{2}", path, index, extension) : path + extension; return(File.Exists(filePath) ? LookupLoader.GetFileUniqueName(path, extension, checked (index + 1)) : filePath); }