dk.brics.string.intermediate.operations
Class Intermediate2FlowGraph

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

public class Intermediate2FlowGraph
extends Object

Converter from intermediate representation to flow graphs.

See Also:

StringAnalysis

Constructor Summary

Intermediate2FlowGraph(Application app)
Constructs a new converter for the given application.

Method Summary

FlowGraph	convert(AliasAnalysis aa, ReachingDefinitions rd, OperationAssertionAnalysis ass) Converts the application.
Map<Statement,Node>	getTranslationMap() Returns map containing main node for each statement.

Methods inherited from class java.lang.Object

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

Constructor Detail

Intermediate2FlowGraph

public Intermediate2FlowGraph(Application app)

Constructs a new converter for the given application.

Method Detail

convert

public FlowGraph convert(AliasAnalysis aa,
                         ReachingDefinitions rd,
                         OperationAssertionAnalysis ass)

Converts the application.

getTranslationMap

public Map<Statement,Node> getTranslationMap()

Returns map containing main node for each statement. convert(AliasAnalysis, ReachingDefinitions, OperationAssertionAnalysis) must be called first.