forge.translate
Class SymbolicExecutor.CreateHook

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

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

Callback hook for execute(CreateStmt) method.


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