Example #1
0
 public void print(UI.Module m, UI.PrintLevel level, string s)
 {
     if (showOutput || (showBenchmarkOutput && m == Module.BENCH))
     {
         Console.WriteLine(UI.formatOutput(m, level, s));
     }
     if (level == PrintLevel.ERROR)
     {
         throw new RuntimeException(s);
     }
 }
Example #2
0
 public void print(UI.Module m, UI.PrintLevel level, string s)
 {
     using (StreamWriter writer = new StreamWriter(Console.OpenStandardError()))
         writer.WriteLine(UI.formatOutput(m, level, s));
 }
Example #3
0
 public void print(UI.Module m, UI.PrintLevel level, string s)
 {
 }