soot.jimple.toolkits.annotation
Class AvailExprTagger

java.lang.Object
  soot.Transformer
      soot.BodyTransformer
          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

AvailExprTagger

public AvailExprTagger(Singletons.Global g)

Method Detail

v

public static AvailExprTagger v()

internalTransform

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

Parameters:

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.