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); } }
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)); }
public void print(UI.Module m, UI.PrintLevel level, string s) { }