envgen.spec
Class SEManager

java.lang.Object
  |
  +--envgen.spec.SEManager

public class SEManager

extends java.lang.Object

Stores se-specs as Java bodies into env methods.

Field Summary

(package private) java.util.HashMap

envTable

Constructor Summary

SEManager()

Method Summary

soot.SootMethod	checkMethod(java.lang.String className, java.lang.String methodName)
void	setEnvTable(java.util.HashMap envTable)

Methods inherited from class java.lang.Object

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

Field Detail

envTable

java.util.HashMap envTable

Constructor Detail

SEManager

public SEManager()

Method Detail

setEnvTable

public void setEnvTable(java.util.HashMap envTable)

checkMethod

public soot.SootMethod checkMethod(java.lang.String className,
                                   java.lang.String methodName)