public class Options
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
Options.PR |
Modifier and Type | Field and Description |
---|---|
static int |
BODY_INDENT |
private static java.util.EnumSet<Options.PR> |
CODE |
private static java.util.EnumSet<Options.PR> |
JASM |
private static java.util.EnumSet<Options.PR> |
printOptions |
private static Options |
ref |
Modifier | Constructor and Description |
---|---|
private |
Options() |
Modifier and Type | Method and Description |
---|---|
boolean |
contains(Options.PR val) |
boolean |
debug() |
static Options |
OptionObject() |
void |
set(Options.PR val) |
void |
setCodeOptions() |
java.lang.String |
toString() |
public static final int BODY_INDENT
private static Options ref
private static final java.util.EnumSet<Options.PR> JASM
private static final java.util.EnumSet<Options.PR> CODE
private static java.util.EnumSet<Options.PR> printOptions
public static Options OptionObject()
public void set(Options.PR val)
public void setCodeOptions()
public boolean contains(Options.PR val)
public boolean debug()
public java.lang.String toString()
toString
in class java.lang.Object