jbet
Class DataFlow

java.lang.Object
  extended by jbet.DataFlow

public class DataFlow
extends java.lang.Object


Nested Class Summary
 class DataFlow.ProcState
           
 
Field Summary
static java.lang.String JbetLogFacility
           
 int maxLocalsDetected
           
 int maxStackDetected
           
 LineWriter out
           
 
Constructor Summary
DataFlow(MethodInfo mi)
           
DataFlow(java.lang.String t, java.lang.String s, MethodInfo m)
           
 
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
 

Field Detail

maxStackDetected

public int maxStackDetected

maxLocalsDetected

public int maxLocalsDetected

out

public LineWriter out

JbetLogFacility

public static java.lang.String JbetLogFacility
Constructor Detail

DataFlow

public DataFlow(java.lang.String t,
                java.lang.String s,
                MethodInfo m)

DataFlow

public DataFlow(MethodInfo mi)
Method Detail

run

public void run()
         throws DataFlowException,
                ClassFileException
Throws:
DataFlowException
ClassFileException

run

public void run(boolean only_one_round)
         throws DataFlowException,
                ClassFileException
Throws:
DataFlowException
ClassFileException