Package net.hydromatic.morel.util

Class Tracers.PrintTracer

java.lang.Object

net.hydromatic.morel.util.Tracers.PrintTracer

All Implemented Interfaces:

Unifier.Tracer

Enclosing class:

Tracers

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

Implementation of Unifier.Tracer that writes to a given PrintWriter.

Field Summary

Fields

Modifier and Type	Field	Description
private StringBuilder	b
private PrintWriter	w

Constructor Summary

Constructors

Constructor	Description
PrintTracer(PrintWriter w)

Method Summary

Modifier and Type	Method	Description
private void	flush()
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

Field Detail

b

private final StringBuilder b

w

private final PrintWriter w

Constructor Detail

PrintTracer

PrintTracer(PrintWriter w)

Method Detail

flush

private void flush()

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