joeq.Compiler.Analysis.IPSSA.Utils
Class SSAGraphPrinter

java.lang.Object
  joeq.Compiler.Analysis.IPSSA.Utils.SSAGraphPrinter

public class SSAGraphPrinter
extends java.lang.Object

Version:

$Id: SSAGraphPrinter.java,v 1.8 2004/09/22 22:17:25 joewhaley Exp $ This class provides utilities for printing a SSA connectivity graph.

Author:

V.Benjamin Livshits

Constructor Summary

SSAGraphPrinter()

Method Summary

static void	printAllToDot(java.io.PrintStream out) Print the complete graph on all definitions.
static void	printToDot(DefinitionSet defs, java.io.PrintStream out)
static void	printToDot(SSADefinition def, java.io.PrintStream out) Print everything reachable from definition def.

Methods inherited from class java.lang.Object

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

Constructor Detail

SSAGraphPrinter

public SSAGraphPrinter()

Method Detail

printToDot

public static void printToDot(DefinitionSet defs,
                              java.io.PrintStream out)

printToDot

public static void printToDot(SSADefinition def,
                              java.io.PrintStream out)

Print everything reachable from definition def.

printAllToDot

public static void printAllToDot(java.io.PrintStream out)

Print the complete graph on all definitions.