heros.fieldsens

Interface FactMergeHandler<Fact>

public interface FactMergeHandler<Fact>

Method Summary

Modifier and Type	Method and Description
void	merge(Fact previousFact, Fact currentFact) Called when propagating a Fact to a statement at which an equal Fact was already propagated to.
void	restoreCallingContext(Fact factAtReturnSite, Fact factAtCallSite) Called on Facts being propagated over a return edge.

Method Detail

merge

void merge(Fact previousFact,
           Fact currentFact)

Called when propagating a Fact to a statement at which an equal Fact was already propagated to.

Parameters:

previousFact - The Fact instance that was propagated to the statement first.

currentFact - The Fact that was propagated to the statement last.

restoreCallingContext

void restoreCallingContext(Fact factAtReturnSite,
                           Fact factAtCallSite)

Called on Facts being propagated over a return edge. Via this method context can be restored that was abstracted when propagating over the call edge.

Parameters:

factAtReturnSite - The fact being propagated over the return edge.

factAtCallSite - The Fact that was present at the call site, i.e., the Fact used as input to the call flow function.