Uses of Class
de.tud.cs.peaks.sootconfig.JimpleBodyCreationPhaseOptions

Packages that use JimpleBodyCreationPhaseOptions

Package	Description
de.tud.cs.peaks.sootconfig

Uses of JimpleBodyCreationPhaseOptions in de.tud.cs.peaks.sootconfig

Methods in de.tud.cs.peaks.sootconfig that return JimpleBodyCreationPhaseOptions

Modifier and Type	Method and Description
JimpleBodyCreationPhaseOptions	JimpleBodyCreationPhaseOptions.doNotUseOriginalNames()
JimpleBodyCreationPhaseOptions	JimpleBodyCreationPhaseOptions.useOriginalNames()