public class WatchDogTimer
extends soot.SceneTransformer
implements soot.HasPhaseOptions
| Red (cxh) |
| Red (cxh) |
| Modifier and Type | Method and Description |
|---|---|
void |
cancel() |
java.lang.String |
getDeclaredOptions() |
java.lang.String |
getDefaultOptions() |
java.lang.String |
getPhaseName() |
protected void |
internalTransform(java.lang.String phaseName,
java.util.Map options)
Start up a watch dog timer that will call System.exit().
|
static WatchDogTimer |
v() |
public static WatchDogTimer v()
public void cancel()
public java.lang.String getPhaseName()
getPhaseName in interface soot.HasPhaseOptionspublic java.lang.String getDefaultOptions()
getDefaultOptions in interface soot.HasPhaseOptionspublic java.lang.String getDeclaredOptions()
getDeclaredOptions in interface soot.HasPhaseOptionsprotected void internalTransform(java.lang.String phaseName,
java.util.Map options)
-p wjtp.watchDogTimer time:10000
means that exit will be called in 10,000 ms, or 10 secondsinternalTransform in class soot.SceneTransformerphaseName - The name of the phase, for example
wjtp.watchDogTimer.options - The options Map. This method uses the
time option to specify the number of milliseconds
until System.exit() should be called.