jbet
Class DataFlow
java.lang.Object
jbet.DataFlow
public class DataFlow
- extends java.lang.Object
Method Summary |
void |
run()
|
void |
run(boolean only_one_round)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
maxStackDetected
public int maxStackDetected
maxLocalsDetected
public int maxLocalsDetected
out
public LineWriter out
JbetLogFacility
public static java.lang.String JbetLogFacility
DataFlow
public DataFlow(java.lang.String t,
java.lang.String s,
MethodInfo m)
DataFlow
public DataFlow(MethodInfo mi)
run
public void run()
throws DataFlowException,
ClassFileException
- Throws:
DataFlowException
ClassFileException
run
public void run(boolean only_one_round)
throws DataFlowException,
ClassFileException
- Throws:
DataFlowException
ClassFileException