dk.brics.xact.analysis.soot
Class TranslationResult

java.lang.Object
  dk.brics.xact.analysis.soot.TranslationResult

public class TranslationResult
extends Object

The result of translating a soot program to XACT's flow graph representation. Contains the flow graph, and a map from hotspot expressions to their flow graph representations.

Author:

Asger

Constructor Summary

TranslationResult(FlowGraph graph, Map<ValueBox,AnalyzeStm> hotspots)

Method Summary

FlowGraph	getGraph()
Map<ValueBox,AnalyzeStm>	getHotspots()

Methods inherited from class java.lang.Object

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

Constructor Detail

TranslationResult

public TranslationResult(FlowGraph graph,
                         Map<ValueBox,AnalyzeStm> hotspots)

Method Detail

getGraph

public FlowGraph getGraph()

getHotspots

public Map<ValueBox,AnalyzeStm> getHotspots()