soot.jimple.toolkits.annotation.arraycheck

Class ClassFieldAnalysis

java.lang.Object

soot.jimple.toolkits.annotation.arraycheck.ClassFieldAnalysis

public class ClassFieldAnalysis
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ClassFieldAnalysis(Singletons.Global g)

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.Object	getFieldInfo(SootField field)
protected void	internalTransform(SootClass c)
void	ScanMethod(SootMethod method, java.util.Set<SootField> candidates, java.util.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 java.lang.Object getFieldInfo(SootField field)

ScanMethod

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