Package harpoon.IR.Properties

This package contains interfaces defining various properties of an intermediate representation.

See:
Description

Interface Summary

CFGraphable<CFG extends CFGraphable<CFG,E>,E extends CFGEdge<CFG,E>>	CFGraphable defines an interface for intermediate representations that are inherently interconnected in a directed control-flow graphs.
UseDefable	UseDefable defines an interface for intermediate representations that keep use/def information.

Class Summary

CFGEdge<CFG extends CFGraphable<CFG,E>,E extends CFGEdge<CFG,E>>	An CFGEdge connects two CFGraphables in a graph structure.
CFGrapher<HCE extends HCodeElement>	CFGrapher provides a means to externally associate control-flow graph information with elements of an intermediate representation.
UseDefer<HCE extends HCodeElement>	UseDefer provides a means to externally associate use and def information with elements of an intermediate representation.

Package harpoon.IR.Properties Description

This package contains interfaces defining various properties of an intermediate representation.

The design concept here is to keep the basic IR simple, and only implement the properties relevant to the IR. The analyses in harpoon.Analysis will work with any IR, as long as it implements the properties which the analysis requires.

Author:

C. Scott Ananian <cananian@alumni.princeton.edu>