Package dk.brics.xact.analysis.transformations

Various flow graph transformations.

See:
Description

Class Summary

AnnotationTransformer	Flow graph transformation for @Type annotations.
ArrayTransformer	Flow graph transformation for linking array variables using weak updating.
DefUseTransformer	Reaching definitions analysis and copy propagation.
FieldTransformer	Flow graph transformation for globally linking field variables.
FlowGraph2Dot	Graphviz dot printer for flow graphs.
ReachingDefinitionsAnalysis	Lattice and transfer functions for reaching definitions analysis.
UnreachableTransformer	Removes all nodes that are not reachable from an entry node.

Package dk.brics.xact.analysis.transformations Description

Various flow graph transformations.

Author:

Christian Kirkegaard <ck@cs.au.dk>, Aske Simon Christensen <aske@cs.au.dk>, Anders Møller <amoeller@cs.au.dk>