public class EnvironmentConstants
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
EXPECTED_SIGNALTOOLBOX |
static java.lang.String |
LIBRARY_PATH |
static java.lang.String |
POP_SIGNALTOOLBOX_PREF |
static java.lang.String |
SSME_VERSION |
static java.lang.String |
STRING_MEMORY_SIZE |
static int |
STRING_MEMORY_SIZE_DEFAULT_VALUE |
static java.lang.String |
TREE_MEMORY_SIZE |
static int |
TREE_MEMORY_SIZE_DEFAULT_VALUE |
static java.lang.String |
TYPE_TABLE_SIZE |
static int |
TYPE_TABLE_SIZE_DEFAULT_VALUE |
Constructor and Description |
---|
EnvironmentConstants() |
public static final java.lang.String EXPECTED_SIGNALTOOLBOX
public static final java.lang.String SSME_VERSION
public static final java.lang.String LIBRARY_PATH
public static final java.lang.String TYPE_TABLE_SIZE
public static final int TYPE_TABLE_SIZE_DEFAULT_VALUE
public static final java.lang.String TREE_MEMORY_SIZE
public static final int TREE_MEMORY_SIZE_DEFAULT_VALUE
public static final java.lang.String STRING_MEMORY_SIZE
public static final int STRING_MEMORY_SIZE_DEFAULT_VALUE
public static final java.lang.String POP_SIGNALTOOLBOX_PREF