edu.toronto.cs.yasm.abstractor
Class SymbolicExecutorUtil

java.lang.Object
  extended by edu.toronto.cs.yasm.abstractor.SymbolicExecutorUtil

public class SymbolicExecutorUtil
extends java.lang.Object


Constructor Summary
SymbolicExecutorUtil()
           
 
Method Summary
static ExprExecutor newExprExecutor(ExprFactory fac)
           
static SymbolicExecutor newSymbolicExecutor(ExprFactory fac)
           
static Expr parseBlockExpr(Block b, ExprFactory fac)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SymbolicExecutorUtil

public SymbolicExecutorUtil()
Method Detail

newSymbolicExecutor

public static SymbolicExecutor newSymbolicExecutor(ExprFactory fac)

newExprExecutor

public static ExprExecutor newExprExecutor(ExprFactory fac)

parseBlockExpr

public static Expr parseBlockExpr(Block b,
                                  ExprFactory fac)