dk.brics.string.diagnostics
Class IntermediateCompletedEvent

java.lang.Object
  dk.brics.string.diagnostics.IntermediateCompletedEvent

public class IntermediateCompletedEvent
extends Object

Contains information about the intermediate representation. This is a "parameter object", so the signature to DiagnosticsStrategy.intermediateCompleted(dk.brics.string.diagnostics.IntermediateCompletedEvent) does not change when we add more information here.

Constructor Summary

IntermediateCompletedEvent(Application application, LivenessAnalysis liveness, AliasAnalysis alias, ReachingDefinitions reaching, OperationAssertionAnalysis assertions, Set<Statement> hotspots)

Method Summary

AliasAnalysis	getAlias()
Application	getApplication()
OperationAssertionAnalysis	getAssertions()
Set<Statement>	getHotspots()
LivenessAnalysis	getLiveness()
ReachingDefinitions	getReachingDefinitions()

Methods inherited from class java.lang.Object

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

Constructor Detail

IntermediateCompletedEvent

public IntermediateCompletedEvent(Application application,
                                  LivenessAnalysis liveness,
                                  AliasAnalysis alias,
                                  ReachingDefinitions reaching,
                                  OperationAssertionAnalysis assertions,
                                  Set<Statement> hotspots)

Method Detail

getAlias

public AliasAnalysis getAlias()

getApplication

public Application getApplication()

getAssertions

public OperationAssertionAnalysis getAssertions()

getHotspots

public Set<Statement> getHotspots()

getLiveness

public LivenessAnalysis getLiveness()

getReachingDefinitions

public ReachingDefinitions getReachingDefinitions()