Package it.unive.lisa.analysis.dataflow

Interface Summary

Interface	Description
DataflowElement<D extends DataflowDomain<D,E>,E extends DataflowElement<D,E>>	An element of the dataflow domain, that contains a collection of Identifiers in its definition.

Class Summary

Class	Description
DataflowDomain<D extends DataflowDomain<D,E>,E extends DataflowElement<D,E>>	A dataflow domain that collects instances of DataflowElement.
DefiniteForwardDataflowDomain<E extends DataflowElement<DefiniteForwardDataflowDomain<E>,E>>	A DataflowDomain for forward and definite dataflow analysis.
PossibleForwardDataflowDomain<E extends DataflowElement<PossibleForwardDataflowDomain<E>,E>>	A DataflowDomain for forward and possible dataflow analysis.