Class AvailExprTagger

  extended by soot.Transformer
      extended by soot.BodyTransformer
          extended by soot.jimple.toolkits.annotation.AvailExprTagger

public class AvailExprTagger
extends BodyTransformer

A body transformer that records avail expression information in tags. - both pessimistic and optimistic options

Constructor Summary
AvailExprTagger(Singletons.Global g)
Method Summary
protected  void internalTransform(Body b, String phaseName, Map opts)
          This method is called to perform the transformation itself.
static AvailExprTagger v()
Methods inherited from class soot.BodyTransformer
transform, transform, transform
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail


public AvailExprTagger(Singletons.Global g)
Method Detail


public static AvailExprTagger v()


protected void internalTransform(Body b,
                                 String phaseName,
                                 Map opts)
Description copied from class: BodyTransformer
This method is called to perform the transformation itself. It is declared abstract; subclasses must implement this method by making it the entry point to their actual Body transformation.

Specified by:
internalTransform in class BodyTransformer
b - the body on which to apply the transformation
phaseName - the phasename for this transform; not typically used by implementations.
opts - the actual computed options; a combination of default options and Scene specified options.