dk.brics.string.diagnostics
Interface DiagnosticsStrategy

All Known Implementing Classes:

NullDiagnosticsStrategy

public interface DiagnosticsStrategy

Receives notifications of the progress in StringAnalysis. A diagnostics strategy should not affect the results of the analysis in any way.

Method Summary

void	analysisStarted() Called when the analysis is about to start.
void	flowGraphCompleted(FlowGraph graph) Called when the flow graph has been completed.
void	intermediateCompleted(IntermediateCompletedEvent event) Called when the intermediate representation and liveness, alias, and reaching definitions analysis of it is complete.

Method Detail

analysisStarted

void analysisStarted()

Called when the analysis is about to start.

flowGraphCompleted

void flowGraphCompleted(FlowGraph graph)

Called when the flow graph has been completed.

Parameters:

graph - the flow graph. Must not be modified.

intermediateCompleted

void intermediateCompleted(IntermediateCompletedEvent event)

Called when the intermediate representation and liveness, alias, and reaching definitions analysis of it is complete. The arguments must not be modified.

Parameters:

event - contains the relevant information for the event.