Package net.hydromatic.morel.util

Class Tracers.ConfigurableTracerImpl

java.lang.Object

net.hydromatic.morel.util.Tracers.ConfigurableTracerImpl

All Implemented Interfaces:

Tracers.ConfigurableTracer, Unifier.Tracer

Enclosing class:

Tracers

private static class Tracers.ConfigurableTracerImpl
extends Object
implements Tracers.ConfigurableTracer

Implementation of Tracers.ConfigurableTracer that has a field for each handler.

Field Summary

Fields

Modifier and Type	Field	Description
private final BiConsumer<Unifier.Sequence,Unifier.Sequence>	conflictHandler
private final BiConsumer<Unifier.Variable,Unifier.Term>	cycleHandler
private final BiConsumer<Unifier.Term,Unifier.Term>	deleteHandler
(package private) static final Tracers.ConfigurableTracerImpl	INITIAL
private final BiConsumer<Unifier.Sequence,Unifier.Sequence>	sequenceHandler
private final Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term>	substituteHandler
private final BiConsumer<Unifier.Term,Unifier.Term>	swapHandler
private final BiConsumer<Unifier.Variable,Unifier.Term>	variableHandler

Constructor Summary

Constructors

Modifier	Constructor	Description
private	ConfigurableTracerImpl(BiConsumer<Unifier.Term,Unifier.Term> deleteHandler, BiConsumer<Unifier.Sequence,Unifier.Sequence> conflictHandler, BiConsumer<Unifier.Sequence,Unifier.Sequence> sequenceHandler, BiConsumer<Unifier.Term,Unifier.Term> swapHandler, BiConsumer<Unifier.Variable,Unifier.Term> cycleHandler, BiConsumer<Unifier.Variable,Unifier.Term> variableHandler, Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term> substituteHandler)

Method Summary

Modifier and Type	Method	Description
void	onConflict(Unifier.Sequence left, Unifier.Sequence right)
void	onCycle(Unifier.Variable variable, Unifier.Term term)
void	onDelete(Unifier.Term left, Unifier.Term right)
void	onSequence(Unifier.Sequence left, Unifier.Sequence right)
void	onSubstitute(Unifier.Term left, Unifier.Term right, Unifier.Term left2, Unifier.Term right2)
void	onSwap(Unifier.Term left, Unifier.Term right)
void	onVariable(Unifier.Variable variable, Unifier.Term term)
Tracers.ConfigurableTracer	withConflictHandler(BiConsumer<Unifier.Sequence,Unifier.Sequence> conflictHandler)	Sets handler for Unifier.Tracer.onConflict(Sequence, Sequence).
Tracers.ConfigurableTracer	withCycleHandler(BiConsumer<Unifier.Variable,Unifier.Term> cycleHandler)	Sets handler for Unifier.Tracer.onCycle(Variable, Term).
Tracers.ConfigurableTracer	withDeleteHandler(BiConsumer<Unifier.Term,Unifier.Term> deleteHandler)	Sets handler for Unifier.Tracer.onDelete(Term, Term).
Tracers.ConfigurableTracer	withSequenceHandler(BiConsumer<Unifier.Sequence,Unifier.Sequence> sequenceHandler)	Sets handler for Unifier.Tracer.onSequence(Sequence, Sequence).
Tracers.ConfigurableTracer	withSubstituteHandler(Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term> substituteHandler)	Sets handler for Unifier.Tracer.onSubstitute(Term, Term, Term, Term).
Tracers.ConfigurableTracer	withSwapHandler(BiConsumer<Unifier.Term,Unifier.Term> swapHandler)	Sets handler for Unifier.Tracer.onSwap(Term, Term).
Tracers.ConfigurableTracer	withVariableHandler(BiConsumer<Unifier.Variable,Unifier.Term> variableHandler)	Sets handler for Unifier.Tracer.onVariable(Variable, Term).

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

INITIAL

static final Tracers.ConfigurableTracerImpl INITIAL

deleteHandler

private final BiConsumer<Unifier.Term,Unifier.Term> deleteHandler

conflictHandler

private final BiConsumer<Unifier.Sequence,Unifier.Sequence> conflictHandler

sequenceHandler

private final BiConsumer<Unifier.Sequence,Unifier.Sequence> sequenceHandler

swapHandler

private final BiConsumer<Unifier.Term,Unifier.Term> swapHandler

cycleHandler

private final BiConsumer<Unifier.Variable,Unifier.Term> cycleHandler

variableHandler

private final BiConsumer<Unifier.Variable,Unifier.Term> variableHandler

substituteHandler

private final Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term> substituteHandler

Constructor Details

ConfigurableTracerImpl

private ConfigurableTracerImpl(BiConsumer<Unifier.Term,Unifier.Term> deleteHandler,
 BiConsumer<Unifier.Sequence,Unifier.Sequence> conflictHandler,
 BiConsumer<Unifier.Sequence,Unifier.Sequence> sequenceHandler,
 BiConsumer<Unifier.Term,Unifier.Term> swapHandler,
 BiConsumer<Unifier.Variable,Unifier.Term> cycleHandler,
 BiConsumer<Unifier.Variable,Unifier.Term> variableHandler,
 Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term> substituteHandler)

Method Details

withDeleteHandler

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

Description copied from interface: Tracers.ConfigurableTracer

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

Specified by:

withDeleteHandler in interface Tracers.ConfigurableTracer

withConflictHandler

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

Description copied from interface: Tracers.ConfigurableTracer

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

Specified by:

withConflictHandler in interface Tracers.ConfigurableTracer

withSequenceHandler

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

Description copied from interface: Tracers.ConfigurableTracer

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

Specified by:

withSequenceHandler in interface Tracers.ConfigurableTracer

withSwapHandler

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

Description copied from interface: Tracers.ConfigurableTracer

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

Specified by:

withSwapHandler in interface Tracers.ConfigurableTracer

withCycleHandler

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

Description copied from interface: Tracers.ConfigurableTracer

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

Specified by:

withCycleHandler in interface Tracers.ConfigurableTracer

withVariableHandler

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

Description copied from interface: Tracers.ConfigurableTracer

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

Specified by:

withVariableHandler in interface Tracers.ConfigurableTracer

withSubstituteHandler

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

Description copied from interface: Tracers.ConfigurableTracer

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

Specified by:

withSubstituteHandler in interface Tracers.ConfigurableTracer

onDelete

public void onDelete(Unifier.Term left,
 Unifier.Term right)

Specified by:

onDelete in interface Unifier.Tracer

onConflict

public void onConflict(Unifier.Sequence left,
 Unifier.Sequence right)

Specified by:

onConflict in interface Unifier.Tracer

onSequence

public void onSequence(Unifier.Sequence left,
 Unifier.Sequence right)

Specified by:

onSequence in interface Unifier.Tracer

onSwap

public void onSwap(Unifier.Term left,
 Unifier.Term right)

Specified by:

onSwap in interface Unifier.Tracer

onCycle

public void onCycle(Unifier.Variable variable,
 Unifier.Term term)

Specified by:

onCycle in interface Unifier.Tracer

onVariable

public void onVariable(Unifier.Variable variable,
 Unifier.Term term)

Specified by:

onVariable in interface Unifier.Tracer

onSubstitute

public void onSubstitute(Unifier.Term left,
 Unifier.Term right,
 Unifier.Term left2,
 Unifier.Term right2)

Specified by:

onSubstitute in interface Unifier.Tracer