public class JBOptions extends Object
Modifier and Type | Method and Description |
---|---|
boolean |
enabled()
Enabled --
.
|
boolean |
preserve_source_annotations()
Preserve source-level annotations --
.
|
boolean |
stabilize_local_names()
Stabilize local names --
.
|
boolean |
use_original_names()
Use Original Names --
.
|
public boolean enabled()
public boolean use_original_names()
public boolean preserve_source_annotations()
public boolean stabilize_local_names()