public class DataFlow
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
class |
DataFlow.ProcState |
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
JbetLogFacility |
int |
maxLocalsDetected |
int |
maxStackDetected |
LineWriter |
out |
Constructor and Description |
---|
DataFlow(MethodInfo mi) |
DataFlow(java.lang.String t,
java.lang.String s,
MethodInfo m) |
public int maxStackDetected
public int maxLocalsDetected
public LineWriter out
public static java.lang.String JbetLogFacility
public DataFlow(java.lang.String t, java.lang.String s, MethodInfo m)
public DataFlow(MethodInfo mi)
public void run() throws DataFlowException, ClassFileException
DataFlowException
ClassFileException
public void run(boolean only_one_round) throws DataFlowException, ClassFileException
DataFlowException
ClassFileException