dk.brics.xact.analysis.transformations
Class AnnotationTransformer

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

public class AnnotationTransformer
extends Object

Flow graph transformation for @Type annotations. Transforms annotated writes into AnalyzeStms and annotated reads into ValidateStms. The input flow graph must be a def-use graph.

Constructor Summary

AnnotationTransformer()
Constructs a new AnnotationTransformer.

Method Summary

void	run(FlowGraph graph) Transforms the given def-use flow graph.

Methods inherited from class java.lang.Object

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

Constructor Detail

AnnotationTransformer

public AnnotationTransformer()

Constructs a new AnnotationTransformer.

Method Detail

run

public void run(FlowGraph graph)

Transforms the given def-use flow graph.