de.tud.cs.peaks.sootconfig

Class JimpleBodyCreationPhaseOptions

java.lang.Object

de.tud.cs.peaks.sootconfig.PhaseOptions

de.tud.cs.peaks.sootconfig.JimpleBodyCreationPhaseOptions

public class JimpleBodyCreationPhaseOptions
extends PhaseOptions

Constructor Summary

Constructors

Constructor and Description
JimpleBodyCreationPhaseOptions()

Method Summary

Modifier and Type	Method and Description
JimpleBodyCreationPhaseOptions	doNotUseOriginalNames()
boolean	equals(Object o)
int	hashCode()
protected void	pushToOptionSet()
JimpleBodyCreationPhaseOptions	useOriginalNames()

Methods inherited from class de.tud.cs.peaks.sootconfig.PhaseOptions

addOption, apply, pushSubOption, removeOption

Methods inherited from class java.lang.Object

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

Constructor Detail

JimpleBodyCreationPhaseOptions

public JimpleBodyCreationPhaseOptions()

Method Detail

useOriginalNames

public JimpleBodyCreationPhaseOptions useOriginalNames()

doNotUseOriginalNames

public JimpleBodyCreationPhaseOptions doNotUseOriginalNames()

pushToOptionSet

protected void pushToOptionSet()

Specified by:

pushToOptionSet in class PhaseOptions

equals

public boolean equals(Object o)

Overrides:

equals in class PhaseOptions

hashCode

public int hashCode()

Overrides:

hashCode in class PhaseOptions