joeq.Compiler.Quad
Class DotGraph

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

All Implemented Interfaces:

ControlFlowGraphVisitor

public class DotGraph
extends Object
implements ControlFlowGraphVisitor

Version:

$Id: DotGraph.java 1931 2004-09-22 22:17:47Z joewhaley $

Author:

Godmar Back This class is a ControlFlowGraphVisitor. For each CFG, it produces a "dot" file in the output directory. See or change createMethodName to adapt how the filenames are formed.

See Also:

outputDir, dotFilePrefix, createMethodName(jq_Method)

Nested Class Summary

static class

DotGraph.dot 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 "

Nested classes/interfaces inherited from interface joeq.Compiler.Quad.ControlFlowGraphVisitor

ControlFlowGraphVisitor.CodeCacheVisitor

Field Summary

static String	dotFilePrefix Prefix that goes before the name.
static String	outputDir The output directory for the dot graph descriptions

Constructor Summary

DotGraph()

Method Summary

protected String	createMethodName(jq_Method mth) Adapt this method to create filenames the way you want them.
void	visitCFG(ControlFlowGraph cfg) Use the dot helper class to output this cfg as a Graph.

Methods inherited from class java.lang.Object

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

Field Detail

outputDir

public static String outputDir

The output directory for the dot graph descriptions

dotFilePrefix

public static String dotFilePrefix

Prefix that goes before the name.

Constructor Detail

DotGraph

public DotGraph()

Method Detail

createMethodName

protected String createMethodName(jq_Method mth)

Adapt this method to create filenames the way you want them.

visitCFG

public void visitCFG(ControlFlowGraph cfg)

Use the dot helper class to output this cfg as a Graph.

Specified by:

visitCFG in interface ControlFlowGraphVisitor