dk.brics.string.intermediate.operations
Class Intermediate2FlowGraph

java.lang.Object
  extended by 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.



Copyright © 2003-2009 Anders Møller, Aske Simon Christensen, Asger Feldthaus.