forge.translate
Class SymbolicExecutor.AssignHook

java.lang.Object
  extended by forge.translate.SymbolicExecutor.AssignHook
Enclosing class:
SymbolicExecutor

public final class SymbolicExecutor.AssignHook
extends java.lang.Object

Callback hook for execute(AssignStmt) method.


Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait