Uses of Interface
net.hydromatic.morel.util.Tracers.ConfigurableTracer
Packages that use Tracers.ConfigurableTracer
-
Uses of Tracers.ConfigurableTracer in net.hydromatic.morel.util
Classes in net.hydromatic.morel.util that implement Tracers.ConfigurableTracerModifier and TypeClassDescriptionprivate static classImplementation ofTracers.ConfigurableTracerthat has a field for each handler.Methods in net.hydromatic.morel.util that return Tracers.ConfigurableTracerModifier and TypeMethodDescriptionstatic Tracers.ConfigurableTracerTracers.nullTracer()Returns a tracer that does nothing.static Tracers.ConfigurableTracerTracers.printTracer(OutputStream stream) Returns a tracer that writes debugging messages to a stream.static Tracers.ConfigurableTracerTracers.printTracer(PrintWriter w) Returns a tracer that writes debugging messages to a writer.Tracers.ConfigurableTracer.withConflictHandler(BiConsumer<Unifier.Sequence, Unifier.Sequence> handler) Sets handler forUnifier.Tracer.onConflict(Sequence, Sequence).Tracers.ConfigurableTracerImpl.withConflictHandler(BiConsumer<Unifier.Sequence, Unifier.Sequence> conflictHandler) Tracers.ConfigurableTracer.withCycleHandler(BiConsumer<Unifier.Variable, Unifier.Term> handler) Sets handler forUnifier.Tracer.onCycle(Variable, Term).Tracers.ConfigurableTracerImpl.withCycleHandler(BiConsumer<Unifier.Variable, Unifier.Term> cycleHandler) Tracers.ConfigurableTracer.withDeleteHandler(BiConsumer<Unifier.Term, Unifier.Term> handler) Sets handler forUnifier.Tracer.onDelete(Term, Term).Tracers.ConfigurableTracerImpl.withDeleteHandler(BiConsumer<Unifier.Term, Unifier.Term> deleteHandler) Tracers.ConfigurableTracer.withSequenceHandler(BiConsumer<Unifier.Sequence, Unifier.Sequence> handler) Sets handler forUnifier.Tracer.onSequence(Sequence, Sequence).Tracers.ConfigurableTracerImpl.withSequenceHandler(BiConsumer<Unifier.Sequence, Unifier.Sequence> sequenceHandler) Tracers.ConfigurableTracer.withSubstituteHandler(Tracers.QuadConsumer<Unifier.Term, Unifier.Term, Unifier.Term, Unifier.Term> handler) Sets handler forUnifier.Tracer.onSubstitute(Term, Term, Term, Term).Tracers.ConfigurableTracerImpl.withSubstituteHandler(Tracers.QuadConsumer<Unifier.Term, Unifier.Term, Unifier.Term, Unifier.Term> substituteHandler) Tracers.ConfigurableTracer.withSwapHandler(BiConsumer<Unifier.Term, Unifier.Term> handler) Sets handler forUnifier.Tracer.onSwap(Term, Term).Tracers.ConfigurableTracerImpl.withSwapHandler(BiConsumer<Unifier.Term, Unifier.Term> swapHandler) Tracers.ConfigurableTracer.withVariableHandler(BiConsumer<Unifier.Variable, Unifier.Term> handler) Sets handler forUnifier.Tracer.onVariable(Variable, Term).Tracers.ConfigurableTracerImpl.withVariableHandler(BiConsumer<Unifier.Variable, Unifier.Term> variableHandler)