Package net.hydromatic.morel.util

Interface Tracers.ConfigurableTracer

All Superinterfaces:

Unifier.Tracer

All Known Implementing Classes:

Tracers.ConfigurableTracerImpl

Enclosing class:

Tracers

public static interface Tracers.ConfigurableTracer
extends Unifier.Tracer

Tracer that allows each of its methods to be modified using a handler.

Method Summary

Modifier and Type	Method	Description
Tracers.ConfigurableTracer	withConflictHandler(BiConsumer<Unifier.Sequence,Unifier.Sequence> handler)	Sets handler for Unifier.Tracer.onConflict(Sequence, Sequence).
Tracers.ConfigurableTracer	withCycleHandler(BiConsumer<Unifier.Variable,Unifier.Term> handler)	Sets handler for Unifier.Tracer.onCycle(Variable, Term).
Tracers.ConfigurableTracer	withDeleteHandler(BiConsumer<Unifier.Term,Unifier.Term> handler)	Sets handler for Unifier.Tracer.onDelete(Term, Term).
Tracers.ConfigurableTracer	withSequenceHandler(BiConsumer<Unifier.Sequence,Unifier.Sequence> handler)	Sets handler for Unifier.Tracer.onSequence(Sequence, Sequence).
Tracers.ConfigurableTracer	withSubstituteHandler(Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term> handler)	Sets handler for Unifier.Tracer.onSubstitute(Term, Term, Term, Term).
Tracers.ConfigurableTracer	withSwapHandler(BiConsumer<Unifier.Term,Unifier.Term> handler)	Sets handler for Unifier.Tracer.onSwap(Term, Term).
Tracers.ConfigurableTracer	withVariableHandler(BiConsumer<Unifier.Variable,Unifier.Term> handler)	Sets handler for Unifier.Tracer.onVariable(Variable, Term).

Methods inherited from interface net.hydromatic.morel.util.Unifier.Tracer

onConflict, onCycle, onDelete, onSequence, onSubstitute, onSwap, onVariable

Method Details

withDeleteHandler

Tracers.ConfigurableTracer withDeleteHandler(BiConsumer<Unifier.Term,Unifier.Term> handler)

Sets handler for Unifier.Tracer.onDelete(Term, Term).

withConflictHandler

Tracers.ConfigurableTracer withConflictHandler(BiConsumer<Unifier.Sequence,Unifier.Sequence> handler)

Sets handler for Unifier.Tracer.onConflict(Sequence, Sequence).

withSequenceHandler

Tracers.ConfigurableTracer withSequenceHandler(BiConsumer<Unifier.Sequence,Unifier.Sequence> handler)

Sets handler for Unifier.Tracer.onSequence(Sequence, Sequence).

withSwapHandler

Tracers.ConfigurableTracer withSwapHandler(BiConsumer<Unifier.Term,Unifier.Term> handler)

Sets handler for Unifier.Tracer.onSwap(Term, Term).

withCycleHandler

Tracers.ConfigurableTracer withCycleHandler(BiConsumer<Unifier.Variable,Unifier.Term> handler)

Sets handler for Unifier.Tracer.onCycle(Variable, Term).

withVariableHandler

Tracers.ConfigurableTracer withVariableHandler(BiConsumer<Unifier.Variable,Unifier.Term> handler)

Sets handler for Unifier.Tracer.onVariable(Variable, Term).

withSubstituteHandler

Tracers.ConfigurableTracer withSubstituteHandler(Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term> handler)

Sets handler for Unifier.Tracer.onSubstitute(Term, Term, Term, Term).