public final class DefaultPropertiesValues extends Object
Modifier and Type | Field and Description |
---|---|
static String |
DEFAULT_OUTPUT_DIR |
static String |
DEFAULT_WALA_REPORT_FILENAME |
Constructor and Description |
---|
DefaultPropertiesValues() |
public static final String DEFAULT_WALA_REPORT_FILENAME
public static final String DEFAULT_OUTPUT_DIR