soot.jimple.toolkits.annotation.nullcheck
Class NullPointerColorer

java.lang.Object
  |
  +--soot.Transformer
        |
        +--soot.BodyTransformer
              |
              +--soot.jimple.toolkits.annotation.nullcheck.NullPointerColorer

public class NullPointerColorer
extends BodyTransformer


Constructor Summary
NullPointerColorer(Singletons.Global g)
           
 
Method Summary
protected  void internalTransform(Body b, java.lang.String phaseName, java.util.Map options)
          This method is called to perform the transformation itself.
static NullPointerColorer 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

NullPointerColorer

public NullPointerColorer(Singletons.Global g)
Method Detail

v

public static NullPointerColorer v()

internalTransform

protected void internalTransform(Body b,
                                 java.lang.String phaseName,
                                 java.util.Map options)
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.
Overrides:
internalTransform in class BodyTransformer
Tags copied from class: BodyTransformer
Parameters:
b - the body on which to apply the transformation
phaseName - the phasename for this transform; not typically used by implementations.
options - the actual computed options; a combination of default options and Scene specified options.