Class Debug

java.lang.Object
gnu.xquery.util.Debug

public class Debug extends Object
  • Field Details

    • tracePrefix

      public static String tracePrefix
    • tracePort

      public static gnu.kawa.io.OutPort tracePort
    • traceFilename

      public static String traceFilename
    • traceShouldFlush

      public static boolean traceShouldFlush
    • traceShouldAppend

      public static boolean traceShouldAppend
  • Constructor Details

    • Debug

      public Debug()
  • Method Details