orc.trace
Class Terms

java.lang.Object
  orc.trace.Terms

public final class Terms
extends java.lang.Object

Method Summary

static void	indent(java.io.Writer out, int indent)
static <T extends Term> void	prettyPrintList(java.io.Writer out, int indent, java.lang.Iterable<T> list, java.lang.String separator)
static <T extends Term> void	prettyPrintMap(java.io.Writer out, int indent, java.lang.Iterable<java.util.Map.Entry<java.lang.String,T>> map)
static java.lang.String	printToString(Term term)

Methods inherited from class java.lang.Object

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

Method Detail

prettyPrintList

public static <T extends Term> void prettyPrintList(java.io.Writer out,
                                                    int indent,
                                                    java.lang.Iterable<T> list,
                                                    java.lang.String separator)
                            throws java.io.IOException

Throws:

java.io.IOException

prettyPrintMap

public static <T extends Term> void prettyPrintMap(java.io.Writer out,
                                                   int indent,
                                                   java.lang.Iterable<java.util.Map.Entry<java.lang.String,T>> map)
                           throws java.io.IOException

Throws:

java.io.IOException

indent

public static void indent(java.io.Writer out,
                          int indent)
                   throws java.io.IOException

Throws:

java.io.IOException

printToString

public static java.lang.String printToString(Term term)