tom.library.utils
Class Viewer

java.lang.Object
  tom.library.utils.Viewer

public class Viewer
extends Object

Provide tools to view terms, with a graphical browser or with GraphViz.

Nested Class Summary

static class

Viewer.RemoveMu

Constructor Summary

Viewer()

Method Summary

static void	display(Visitable vv) Give a GUI display to visualize a visitable term
static void	toDot(Visitable v) Give a dot representation of a visitable term on the standard output stream
static void	toDot(Visitable v, Writer w) Give a dot representation of a visitable term on the writer stream
static void	toTree(Visitable v) Give a pstree-like representation of a visitable term on the standard output stream
static void	toTree(Visitable v, Writer w) Give a pstree-like representation of a visitable term on the writer stream

Methods inherited from class java.lang.Object

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

Constructor Detail

Viewer

public Viewer()

Method Detail

toDot

public static void toDot(Visitable v,
                         Writer w)
                  throws IOException

Give a dot representation of a visitable term on the writer stream

Parameters:

v - the visitable term to visualize

w - the writer stream

Throws:

RuntimeException - in case of visit failure

IOException

toDot

public static void toDot(Visitable v)

Give a dot representation of a visitable term on the standard output stream

Parameters:

v - the visitable term to visualize

Throws:

RuntimeException - in case of visit failure

display

public static void display(Visitable vv)

Give a GUI display to visualize a visitable term

Parameters:

vv - the visitable term to visualize

toTree

public static void toTree(Visitable v)

Give a pstree-like representation of a visitable term on the standard output stream

Parameters:

v - the visitable term to visualize

Throws:

RuntimeException - in case of visit failure

toTree

public static void toTree(Visitable v,
                          Writer w)
                   throws IOException

Give a pstree-like representation of a visitable term on the writer stream

Parameters:

v - the visitable term to visualize

w - the writer stream

Throws:

RuntimeException - in case of visit failure

IOException