Package dk.brics.xact.analysis.transformations

Various flow graph transformations.

See:
          Description

Class Summary
ArrayTransformer Flow graph transformation for linking array variables using weak updating.
CallTransformer Removes all call statements and inserts assignments and interprocedural edges instead.
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.
SchemaTypeLinking Loads all XML schemas used by the program and then builds an XML graph containing: All types defined in loaded XML schemas.
Splitter Finds disjoint components in the flow graph and creates a new flow graph for each component.
UnreachableTransformer Removes all nodes that are not reachable from an entry node.
 

Enum Summary
SchemaTypeLinking.Quantifier  
 

Package dk.brics.xact.analysis.transformations Description

Various flow graph transformations.

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


Copyright © 2005-2011 Aarhus University.