📄 trace.cs
字号:
using System;
using System.IO;
namespace at.jku.ssw.Coco {
class Trace {
const string FILENAME = "trace.txt";
static StreamWriter trace;
public static void Init (String dir) {
FileStream s;
try {
s = new FileStream(dir + FILENAME, FileMode.Create); /* AW use FILENAME */
trace = new StreamWriter(s);
} catch (IOException) {
Errors.Exception("-- could not open trace file");
}
}
public static void Write (string s) { trace.Write(s); }
public static void Write (string s, params object[] args) {
trace.Write(s, args);
}
public static void WriteLine (string s) { trace.WriteLine(s); }
public static void WriteLine (string s, params object[] args) {
trace.WriteLine(s, args);
}
public static void WriteLine () { trace.WriteLine(); }
public static void Close () { trace.Close(); }
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -