Package net.hydromatic.morel.util

Class Tracers.NullTracer

java.lang.Object

net.hydromatic.morel.util.Tracers.NullTracer

All Implemented Interfaces:

Unifier.Tracer

Enclosing class:

Tracers

private static class Tracers.NullTracer
extends Object
implements Unifier.Tracer

Implementation of Unifier.Tracer that does nothing.

Constructor Summary

Constructors

Modifier	Constructor	Description
private	NullTracer()

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)

Methods inherited from class java.lang.Object

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

Constructor Detail

NullTracer

private NullTracer()

Method Detail

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