joeq.Compiler.Quad
Class DotGraph.dot

java.lang.Object
  joeq.Compiler.Quad.DotGraph.dot

Enclosing class:

DotGraph

public static class DotGraph.dot
extends Object

dot - helper class for outputting graphviz specifications for simple cfgs See http://www.research.att.com/sw/tools/graphviz/ Process with, for instance, "dot -Tgif -o graph.gif " or simply "dotgif "

Author:

Godmar Back

Constructor Summary

DotGraph.dot()

Method Summary

static void	addEdge(String from, String to)
static void	addEdge(String from, String to, String edge)
static void	addEntryEdge(String from, String to, String edge)
static void	addLeavingEdge(String from, String to, String edge)
static void	closeGraph()
static String	escape(String from)
static void	openGraph(String name)
static void	openGraph(String the_outputDir, String name) The first argument specifies what directory to use for output, the second is the file name.
static void	userDefined(String useroutput)

Methods inherited from class java.lang.Object

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

Constructor Detail

DotGraph.dot

public DotGraph.dot()

Method Detail

openGraph

public static void openGraph(String the_outputDir,
                             String name)

The first argument specifies what directory to use for output, the second is the file name.

openGraph

public static void openGraph(String name)

escape

public static String escape(String from)

userDefined

public static void userDefined(String useroutput)

addEntryEdge

public static void addEntryEdge(String from,
                                String to,
                                String edge)

addLeavingEdge

public static void addLeavingEdge(String from,
                                  String to,
                                  String edge)

addEdge

public static void addEdge(String from,
                           String to)

addEdge

public static void addEdge(String from,
                           String to,
                           String edge)

closeGraph

public static void closeGraph()