public final class ErrorId
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
ARRAY_INDEX_OUT_OF_BOUND |
static int |
ARRAY_STORE_TYPE_EXCEPTION |
static int |
EMPTY_CODE_ATTRIBUTE |
static int |
EXCESSIVE_COMPLEXITY |
static int |
EXPECTED_ARRAY |
static int |
INCOMPLETE_CLASS_HIERARCHY |
static int |
NEGATIVE_STACK_SIZE |
static int |
STACK_CATEGORY_ONE |
static int |
STACK_GENERALIZATION |
static int |
STACK_TYPE |
static int |
TEST_ID |
static int |
VARIABLE_EMPTY_SLOT |
static int |
VARIABLE_GENERALIZATION |
static int |
VARIABLE_INDEX_OUT_OF_BOUND |
static int |
VARIABLE_TYPE |
public static int TEST_ID
public static int VARIABLE_EMPTY_SLOT
public static int VARIABLE_INDEX_OUT_OF_BOUND
public static int VARIABLE_TYPE
public static int EXCESSIVE_COMPLEXITY
public static int INCOMPLETE_CLASS_HIERARCHY
public static int EMPTY_CODE_ATTRIBUTE
public static int STACK_TYPE
public static int STACK_CATEGORY_ONE
public static int ARRAY_INDEX_OUT_OF_BOUND
public static int EXPECTED_ARRAY
public static int VARIABLE_GENERALIZATION
public static int STACK_GENERALIZATION
public static int ARRAY_STORE_TYPE_EXCEPTION
public static int NEGATIVE_STACK_SIZE