de.tud.cs.peaks.sootconfig

Class PhaseOptions

java.lang.Object

de.tud.cs.peaks.sootconfig.PhaseOptions

Direct Known Subclasses:

CallGraphPhaseOptions, JimpleBodyCreationPhaseOptions, TagAggregatorOptions

public abstract class PhaseOptions
extends Object

Constructor Summary

Constructors

Constructor and Description
PhaseOptions(String phase)

Method Summary

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)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PhaseOptions

public PhaseOptions(String phase)

Method Detail

apply

public soot.options.Options apply(soot.options.Options o)

pushSubOption

protected void pushSubOption(PhaseSubOptions pso)

pushToOptionSet

protected abstract void pushToOptionSet()

addOption

protected void addOption(String key,
                         String value)

removeOption

protected void removeOption(String key)

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object