Class Tracers

    • Constructor Detail

      • Tracers

        private Tracers()
    • Method Detail

      • nullTracer

        public static Unifier.Tracer nullTracer()
        Returns a tracer that does nothing.
      • printTracer

        public static Unifier.Tracer printTracer​(PrintWriter w)
        Returns a tracer that writes debugging messages to a writer.
      • printTracer

        public static Unifier.Tracer printTracer​(OutputStream stream)
        Returns a tracer that writes debugging messages to a stream.