soot.jimple.toolkits.annotation.arraycheck
Class ClassFieldAnalysis

java.lang.Object
  soot.jimple.toolkits.annotation.arraycheck.ClassFieldAnalysis

public class ClassFieldAnalysis
extends Object

Constructor Summary

ClassFieldAnalysis(Singletons.Global g)

Method Summary

Object	getFieldInfo(SootField field)
protected void	internalTransform(SootClass c)
void	ScanMethod(SootMethod method, Set<SootField> candidates, Hashtable<SootField,soot.jimple.toolkits.annotation.arraycheck.IntValueContainer> fieldinfo)
static ClassFieldAnalysis	v()

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassFieldAnalysis

public ClassFieldAnalysis(Singletons.Global g)

Method Detail

v

public static ClassFieldAnalysis v()

internalTransform

protected void internalTransform(SootClass c)

getFieldInfo

public Object getFieldInfo(SootField field)

ScanMethod

public void ScanMethod(SootMethod method,
                       Set<SootField> candidates,
                       Hashtable<SootField,soot.jimple.toolkits.annotation.arraycheck.IntValueContainer> fieldinfo)