soot.jimple.toolkits.annotation.arraycheck
Class ArrayBoundsChecker

java.lang.Object
  |
  +--soot.Transformer
        |
        +--soot.BodyTransformer
              |
              +--soot.jimple.toolkits.annotation.arraycheck.ArrayBoundsChecker

public class ArrayBoundsChecker
extends BodyTransformer


Field Summary
protected  boolean takeArrayRef
           
protected  boolean takeClassField
           
protected  boolean takeCSE
           
protected  boolean takeFieldRef
           
protected  boolean takeRectArray
           
 
Method Summary
 java.lang.String getDeclaredOptions()
           
 void internalTransform(Body body, java.lang.String phaseName, java.util.Map options)
          This method is called to perform the transformation itself.
static ArrayBoundsChecker v()
           
 
Methods inherited from class soot.BodyTransformer
getDefaultOptions, transform, transform, transform
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

takeClassField

protected boolean takeClassField

takeFieldRef

protected boolean takeFieldRef

takeArrayRef

protected boolean takeArrayRef

takeCSE

protected boolean takeCSE

takeRectArray

protected boolean takeRectArray
Method Detail

v

public static ArrayBoundsChecker v()

getDeclaredOptions

public java.lang.String getDeclaredOptions()
Overrides:
getDeclaredOptions in class BodyTransformer

internalTransform

public void internalTransform(Body body,
                              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
Following copied from class: soot.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.