Esempio n. 1
0
 /// <summary>
 /// Journal 클래스 엔트리를 텍스트 파일로 출력
 /// </summary>
 /// <example>
 /// <code>
 /// var jnl = new Journal();
 /// var p = new Persistence();
 /// p.SaveToFile(jnl, @"/tmp/entries.txt")
 /// </code>
 /// </example>
 /// <exception cref="System.AccessViolationException">Thrown when .... </exception>
 /// <param name="journal"></param>
 /// <param name="filename">DeePattern.SLID.SRP.Correctness.Journal</param>
 /// <param name="overwrite"></param>
 public void SaveToFile(DeePattern.SLID.SRP.Correctness.Journal journal,
                        string filename,
                        bool overwrite = false)
 {
     if (overwrite || !File.Exists(filename))
     {
         File.WriteAllText(filename, journal.ToString());
     }
 }