dk.brics.xact.analysis.transformations
Class ArrayTransformer

java.lang.Object
  dk.brics.xact.analysis.transformations.ArrayTransformer

public class ArrayTransformer
extends Object

Flow graph transformation for linking array variables using weak updating. All assignments of a non-array value to an array is made into a weak update. All assignments between array variables cause variable aliasing. Aliased variables are joined. Arrays are classified as XML arrays and non-XML arrays. Concat statements whose argument is an XML array have their string source replaced by the empty language automaton.

Constructor Summary

ArrayTransformer()
Constructs a new ArrayTransformer.

Method Summary

void	run(FlowGraph graph) Transforms the given flow graph.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ArrayTransformer

public ArrayTransformer()

Constructs a new ArrayTransformer.

Method Detail

run

public void run(FlowGraph graph)

Transforms the given flow graph.