|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ModuleErrors
Error codes and messages for module package.
Field Summary | |
---|---|
static int |
LABEL_DEFINED_MORE_THAN_ONCE_CODE
Error (or warning) number for: Id or label defined more than once. |
static java.lang.String |
LABEL_DEFINED_MORE_THAN_ONCE_TEXT
Error (or warning) text for: Id or label defined more than once. |
static int |
MODULE_REFERENCE_NOT_FOUND_CODE
Error (or warning) number for: Module reference not found for. |
static java.lang.String |
MODULE_REFERENCE_NOT_FOUND_TEXT
Error (or warning) text for: Module reference not found for. |
static int |
NODE_REFERENCE_HAS_MORE_THAN_ONE_DOT_CODE
Error (or warning) number for: node reference has more than one dot. |
static java.lang.String |
NODE_REFERENCE_HAS_MORE_THAN_ONE_DOT_TEXT
Error (or warning) text for: Node reference not found for. |
static int |
NODE_REFERENCE_MUST_HAVE_ONLY_ONE_PROOF_LINE_REFERENCE_CODE
Error (or warning) number for: node reference must have only one proof line reference. |
static java.lang.String |
NODE_REFERENCE_MUST_HAVE_ONLY_ONE_PROOF_LINE_REFERENCE_TEXT
Error (or warning) text for: node reference must have only one sub reference. |
static int |
NODE_REFERENCE_MUST_HAVE_ONLY_ONE_SUB_REFERENCE_CODE
Error (or warning) number for: node reference must have only one sub reference. |
static java.lang.String |
NODE_REFERENCE_MUST_HAVE_ONLY_ONE_SUB_REFERENCE_TEXT
Error (or warning) text for: node reference must have only one sub reference. |
static int |
NODE_REFERENCE_NOT_FOUND_CODE
Error (or warning) number for: Node reference not found for. |
static java.lang.String |
NODE_REFERENCE_NOT_FOUND_TEXT
Error (or warning) text for: Node reference not found for. |
static int |
QEDEQ_MODULE_NOT_LOADED_CODE
Error code. |
static java.lang.String |
QEDEQ_MODULE_NOT_LOADED_TEXT
Error message. |
static int |
REFERENCE_CAN_NOT_CONTAIN_SUB_AND_LINE_REFERENCE_CODE
Error (or warning) number for: reference can not contain sub reference and proof line reference simultaneously. |
static java.lang.String |
REFERENCE_CAN_NOT_CONTAIN_SUB_AND_LINE_REFERENCE_TEXT
Error (or warning) text for: reference can not contain sub reference and proof line reference simultaneously. |
Field Detail |
---|
static final int QEDEQ_MODULE_NOT_LOADED_CODE
static final java.lang.String QEDEQ_MODULE_NOT_LOADED_TEXT
static final int NODE_REFERENCE_NOT_FOUND_CODE
static final java.lang.String NODE_REFERENCE_NOT_FOUND_TEXT
static final int NODE_REFERENCE_HAS_MORE_THAN_ONE_DOT_CODE
static final java.lang.String NODE_REFERENCE_HAS_MORE_THAN_ONE_DOT_TEXT
static final int NODE_REFERENCE_MUST_HAVE_ONLY_ONE_SUB_REFERENCE_CODE
static final java.lang.String NODE_REFERENCE_MUST_HAVE_ONLY_ONE_SUB_REFERENCE_TEXT
static final int NODE_REFERENCE_MUST_HAVE_ONLY_ONE_PROOF_LINE_REFERENCE_CODE
static final java.lang.String NODE_REFERENCE_MUST_HAVE_ONLY_ONE_PROOF_LINE_REFERENCE_TEXT
static final int MODULE_REFERENCE_NOT_FOUND_CODE
static final java.lang.String MODULE_REFERENCE_NOT_FOUND_TEXT
static final int REFERENCE_CAN_NOT_CONTAIN_SUB_AND_LINE_REFERENCE_CODE
static final java.lang.String REFERENCE_CAN_NOT_CONTAIN_SUB_AND_LINE_REFERENCE_TEXT
static final int LABEL_DEFINED_MORE_THAN_ONCE_CODE
static final java.lang.String LABEL_DEFINED_MORE_THAN_ONCE_TEXT
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |