Class Debug


  • public class Debug
    extends Object
    • Field Detail

      • 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 Detail

      • Debug

        public Debug()