Package net.hydromatic.morel.util

Class Unifiers.Dumper

java.lang.Object

net.hydromatic.morel.util.Unifiers.Dumper

Enclosing class:

Unifiers

private static class Unifiers.Dumper
extends Object

Work space for Unifiers.dump(PrintWriter, Iterable).

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final Set<String>	names
(package private) final PrintWriter	pw
(package private) final Map<Unifier.Term,String>	terms

Constructor Summary

Constructors

Constructor	Description
Dumper(PrintWriter pw)

Method Summary

Modifier and Type	Method	Description
(package private) void	dumpAll(Iterable<? extends Unifier.TermTerm> pairs)
(package private) String	lookup(Unifier.Term term)	Looks up the variable holding a term, registering it if new.
private String	register(Unifier.Term term)	Registers a term and returns a unique variable name for it.
(package private) String	var(String v)	Registers a variable name, ensuring that it is valid and unique.

Methods inherited from class java.lang.Object

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

Field Details

terms

final Map<Unifier.Term,String> terms

names

final Set<String> names

pw

final PrintWriter pw

Constructor Details

Dumper

Dumper(PrintWriter pw)

Method Details

dumpAll

void dumpAll(Iterable<? extends Unifier.TermTerm> pairs)

var

String var(String v)

Registers a variable name, ensuring that it is valid and unique.

lookup

String lookup(Unifier.Term term)

Looks up the variable holding a term, registering it if new.

register

private String register(Unifier.Term term)

Registers a term and returns a unique variable name for it.