dk.brics.xact.analysis.dataflow
Interface AnalysisInterface<ElementType>

All Known Implementing Classes:

ReachingDefinitionsAnalysis, VariableAnalysis

public interface AnalysisInterface<ElementType>

Lattice and transfer functions for a dataflow analysis.

Method Summary

boolean	merge(ElementType source, VariableFilter filter, ElementType dest) Computes the least upper bound of two lattice elements.
ElementType	newBottomElement() Constructs a new lattice bottom element.
boolean	transfer(ElementType in, Statement s, ElementType out) Computes the lattice element resulting from flowing through the given statement.

Method Detail

merge

boolean merge(ElementType source,
              VariableFilter filter,
              ElementType dest)

Computes the least upper bound of two lattice elements.

Parameters:

source - the first element

filter - the filter to merge through

dest - the second element and destination for the result

Returns:

true if the new value of dest is changed

newBottomElement

ElementType newBottomElement()

Constructs a new lattice bottom element.

transfer

boolean transfer(ElementType in,
                 Statement s,
                 ElementType out)

Computes the lattice element resulting from flowing through the given statement.

Parameters:

in - the flow before the statement

out - destination for the result

Returns:

true if the new value of out is changed