dk.brics.string.intermediate.operations
Class Intermediate2Dot

java.lang.Object
  dk.brics.string.intermediate.operations.Intermediate2Dot

public class Intermediate2Dot
extends Object

Constructs Graphviz dot representation of intermediate representation.

Method Summary

static String	convert(Application app, ReachingDefinitions rd, AliasAnalysis aa, OperationAssertionAnalysis ass, Set<Statement> hotspots) Converts the given application.
static String	convert(Application app, ReachingDefinitions rd, AliasAnalysis aa, Set<Statement> hotspots) Converts the given application.
static String	convert(Collection<? extends Method> methods, ReachingDefinitions rd, AliasAnalysis aa, OperationAssertionAnalysis ass, Set<Statement> hotspots)

Methods inherited from class java.lang.Object

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

Method Detail

convert

public static String convert(Application app,
                             ReachingDefinitions rd,
                             AliasAnalysis aa,
                             OperationAssertionAnalysis ass,
                             Set<Statement> hotspots)

Converts the given application.

convert

public static String convert(Application app,
                             ReachingDefinitions rd,
                             AliasAnalysis aa,
                             Set<Statement> hotspots)

Converts the given application.

convert

public static String convert(Collection<? extends Method> methods,
                             ReachingDefinitions rd,
                             AliasAnalysis aa,
                             OperationAssertionAnalysis ass,
                             Set<Statement> hotspots)