📄 debug.java
字号:
package gnu.xquery.util;import gnu.mapping.*;import gnu.xml.XMLPrinter;public class Debug{ public static String tracePrefix = "XQuery-trace: "; public static OutPort tracePort = null; public static String traceFilename = "XQuery-trace.log"; public static boolean traceShouldFlush = true; public static boolean traceShouldAppend = false; public static synchronized Object trace (Object value, Object message) { OutPort out = tracePort; if (out == null) { try { out = new OutPort(new java.io.FileOutputStream(traceFilename, traceShouldAppend)); } catch (Throwable ex) { new WrappedException("Could not open '"+traceFilename +"' for fn:trace output", ex); } tracePort = out; } out.print(tracePrefix); out.print(message); out.print(' '); XMLPrinter xout = new XMLPrinter(out, false); xout.writeObject(value); out.println(); if (traceShouldFlush) out.flush(); return value; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -