public class WatchDogTimer
extends soot.SceneTransformer
implements soot.HasPhaseOptions
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.HasPhaseOptions
public java.lang.String getDefaultOptions()
getDefaultOptions
in interface soot.HasPhaseOptions
public java.lang.String getDeclaredOptions()
getDeclaredOptions
in interface soot.HasPhaseOptions
protected void internalTransform(java.lang.String phaseName, java.util.Map options)
-p wjtp.watchDogTimer time:10000means that exit will be called in 10,000 ms, or 10 seconds
internalTransform
in class soot.SceneTransformer
phaseName
- 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.