public abstract class PhaseOptions extends Object
| Constructor and Description |
|---|
PhaseOptions(String phase) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
addOption(String key,
String value) |
soot.options.Options |
apply(soot.options.Options o) |
boolean |
equals(Object o) |
int |
hashCode() |
protected void |
pushSubOption(PhaseSubOptions pso) |
protected abstract void |
pushToOptionSet() |
protected void |
removeOption(String key) |
public PhaseOptions(String phase)
public soot.options.Options apply(soot.options.Options o)
protected void pushSubOption(PhaseSubOptions pso)
protected abstract void pushToOptionSet()
protected void removeOption(String key)
Copyright © 2017. All rights reserved.