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
Implementation of
Unifier.Tracer that writes to a given
PrintWriter.-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprivate voidflush()voidonConflict(Unifier.Sequence left, Unifier.Sequence right) voidonCycle(Unifier.Variable variable, Unifier.Term term) voidonDelete(Unifier.Term left, Unifier.Term right) voidonSequence(Unifier.Sequence left, Unifier.Sequence right) voidonSubstitute(Unifier.Term left, Unifier.Term right, Unifier.Term left2, Unifier.Term right2) voidonSwap(Unifier.Term left, Unifier.Term right) voidonVariable(Unifier.Variable variable, Unifier.Term term)
-
Field Details
-
b
-
w
-
-
Constructor Details
-
PrintTracer
PrintTracer(PrintWriter w)
-
-
Method Details
-
flush
private void flush() -
onDelete
- Specified by:
onDeletein interfaceUnifier.Tracer
-
onConflict
- Specified by:
onConflictin interfaceUnifier.Tracer
-
onSequence
- Specified by:
onSequencein interfaceUnifier.Tracer
-
onSwap
- Specified by:
onSwapin interfaceUnifier.Tracer
-
onCycle
- Specified by:
onCyclein interfaceUnifier.Tracer
-
onVariable
- Specified by:
onVariablein interfaceUnifier.Tracer
-
onSubstitute
public void onSubstitute(Unifier.Term left, Unifier.Term right, Unifier.Term left2, Unifier.Term right2) - Specified by:
onSubstitutein interfaceUnifier.Tracer
-