public class SearchOptionsConstants
extends java.lang.Object
Constructor and Description |
---|
SearchOptionsConstants() |
Modifier and Type | Method and Description |
---|---|
static void |
CHECK_SEARCH_ARGS_FIELD_IDS(SearchArgs args) |
static void |
CHECK_SEARCH_OPTIONS_BUTTON_ATTR_IDS() |
static void |
CHECK_SEARCH_OPTIONS_FIELD_ATTR_IDS() |
public static final java.lang.String SEARCH_CONTROLS_LABEL_TEXT
public static final java.lang.String SEARCH_DATA_LABEL_TEXT
public static final java.lang.String EXCLUSION_LABEL_TEXT
public static final java.lang.String EXCLUSION_LABEL_TOOL_TIP
public static final java.lang.String EXT_SEARCH_LABEL_TEXT
public static final java.lang.String EXT_SEARCH_LABEL_TOOL_TIP
public static final java.lang.String OUTPUT_LABEL_TEXT
public static final java.lang.String OUTPUT_LABEL_TOOL_TIP
public static final java.lang.String TEXT_SEPARATORS_LABEL_TEXT
public static final int NBR_SEARCH_DATA_ROWS
public static final java.lang.String IN_WHAT_VALUE_AEP
public static final java.lang.String IN_WHAT_VALUE_AE
public static final java.lang.String IN_WHAT_VALUE_AP
public static final java.lang.String IN_WHAT_VALUE_EP
public static final java.lang.String IN_WHAT_VALUE_A
public static final java.lang.String IN_WHAT_VALUE_E
public static final java.lang.String IN_WHAT_VALUE_P
public static final java.lang.String IN_WHAT_VALUE_EQ
public static final int IN_WHAT_TYPE_STATEMENT
public static final int IN_WHAT_TYPE_HYP
public static final int IN_WHAT_TYPE_SUB_STATEMENT
public static final int IN_WHAT_AEP_ID
public static final int IN_WHAT_AE_ID
public static final int IN_WHAT_AP_ID
public static final int IN_WHAT_EP_ID
public static final int IN_WHAT_A_ID
public static final int IN_WHAT_E_ID
public static final int IN_WHAT_P_ID
public static final int IN_WHAT_EQ_ID
public static final java.lang.String[] IN_WHAT_VALUES
public static final int[] IN_WHAT_TYPE
public static final java.lang.String PART_VALUE_FORMULAS
public static final java.lang.String PART_VALUE_COMMENTS
public static final java.lang.String PART_VALUE_LABELS
public static final java.lang.String PART_VALUE_LABELS_RPN
public static final int PART_TYPE_FORMULA
public static final int PART_TYPE_NOT_FORMULA
public static final int PART_FORMULAS_ID
public static final int PART_COMMENTS_ID
public static final int PART_LABELS_ID
public static final int PART_LABELS_RPN_ID
public static final java.lang.String[] PART_VALUES
public static final int[] PART_TYPE
public static final java.lang.String[] PART_VALUES_STATEMENT
public static final java.lang.String[] PART_VALUES_HYP
public static final java.lang.String[] PART_VALUES_SUB_STATEMENT
public static final int FORMAT_TYPE_TREE
public static final int FORMAT_TYPE_SUB_TREE
public static final int FORMAT_TYPE_NOT_TREE
public static final int FORMAT_METAMATH_ID
public static final int FORMAT_REG_EXPR_ID
public static final int FORMAT_CHAR_STR_ID
public static final int FORMAT_PARSE_EXPR_ID
public static final int FORMAT_PARSE_STMT_ID
public static final java.lang.String FORMAT_VALUE_METAMATH
public static final java.lang.String FORMAT_VALUE_REG_EXPR
public static final java.lang.String FORMAT_VALUE_CHAR_STR
public static final java.lang.String FORMAT_VALUE_PARSE_EXPR
public static final java.lang.String FORMAT_VALUE_PARSE_STMT
public static final java.lang.String[] FORMAT_VALUES
public static final int[] FORMAT_ID
public static final int[] FORMAT_TYPE
public static final java.lang.String[] FORMAT_VALUES_TREE
public static final java.lang.String[] FORMAT_VALUES_NOT_TREE
public static final java.lang.String OPER_VALUE_EMPTY_STRING
public static final java.lang.String OPER_VALUE_NOT
public static final java.lang.String OPER_VALUE_LE
public static final java.lang.String OPER_VALUE_LT
public static final java.lang.String OPER_VALUE_EQ
public static final java.lang.String OPER_VALUE_EQ_EQ
public static final java.lang.String OPER_VALUE_GE
public static final java.lang.String OPER_VALUE_GT
public static final java.lang.String OPER_VALUE_LT_GT
public static final int OPER_TYPE_TREE
public static final int OPER_TYPE_SUB_TREE
public static final int OPER_TYPE_NOT_TREE
public static final int OPER_VALUE_EMPTY_STRING_ID
public static final int OPER_VALUE_NOT_ID
public static final int OPER_VALUE_LE_ID
public static final int OPER_VALUE_LT_ID
public static final int OPER_VALUE_EQ_ID
public static final int OPER_VALUE_EQ_EQ_ID
public static final int OPER_VALUE_GE_ID
public static final int OPER_VALUE_GT_ID
public static final int OPER_VALUE_LT_GT_ID
public static final java.lang.String[] OPER_VALUES
public static final int[] OPER_TYPE
public static final java.lang.String[] OPER_VALUES_NOT_TREE
public static final java.lang.String[] OPER_VALUES_TREE
public static final java.lang.String[] OPER_VALUES_SUB_TREE
public static final int MAX_FOR_WHAT_PRIOR_VALUES
public static final java.lang.String FOR_WHAT_VALUE_EMPTY_STRING
public static final java.lang.String[] FOR_WHAT_VALUES
public static final java.awt.Color FOR_WHAT_BORDER_COLOR
public static final int FOR_WHAT_BORDER_THICKNESS
public static final java.lang.String BOOL_VALUE_AND
public static final java.lang.String BOOL_VALUE_OR
public static final int BOOL_VALUE_AND_ID
public static final int BOOL_VALUE_OR_ID
public static final java.lang.String[] BOOL_VALUES
public static final java.lang.String CHAP_SEC_HIERARCHY_VALUE_EMPTY_STRING
public static final java.lang.String CHAP_SEC_HIERARCHY_VALUE_CHAP_DIRECT
public static final java.lang.String CHAP_SEC_HIERARCHY_VALUE_CHAP_INDIR
public static final java.lang.String CHAP_SEC_HIERARCHY_VALUE_SEC_DIRECT
public static final java.lang.String CHAP_SEC_HIERARCHY_VALUE_SEC_INDIR
public static final int CHAP_SEC_HIERARCHY_EMPTY_STRING_ID
public static final int CHAP_SEC_HIERARCHY_CHAP_DIRECT_ID
public static final int CHAP_SEC_HIERARCHY_CHAP_INDIR_ID
public static final int CHAP_SEC_HIERARCHY_SEC_DIRECT_ID
public static final int CHAP_SEC_HIERARCHY_SEC_INDIR_ID
public static final java.lang.String[] CHAP_SEC_HIERARCHY_VALUES
public static final int OR_SEPARATOR_FIELD_ID
public static final int SINGLE_QUOTE_FIELD_ID
public static final int DOUBLE_QUOTE_FIELD_ID
public static final int IN_WHAT_0_FIELD_ID
public static final int PART_0_FIELD_ID
public static final int FORMAT_0_FIELD_ID
public static final int OPER_0_FIELD_ID
public static final int FOR_WHAT_0_FIELD_ID
public static final int BOOL_0_FIELD_ID
public static final int IN_WHAT_1_FIELD_ID
public static final int PART_1_FIELD_ID
public static final int FORMAT_1_FIELD_ID
public static final int OPER_1_FIELD_ID
public static final int FOR_WHAT_1_FIELD_ID
public static final int BOOL_1_FIELD_ID
public static final int IN_WHAT_2_FIELD_ID
public static final int PART_2_FIELD_ID
public static final int FORMAT_2_FIELD_ID
public static final int OPER_2_FIELD_ID
public static final int FOR_WHAT_2_FIELD_ID
public static final int BOOL_2_FIELD_ID
public static final int IN_WHAT_3_FIELD_ID
public static final int PART_3_FIELD_ID
public static final int FORMAT_3_FIELD_ID
public static final int OPER_3_FIELD_ID
public static final int FOR_WHAT_3_FIELD_ID
public static final int BOOL_3_FIELD_ID
public static final int EXCL_LABELS_FIELD_ID
public static final int MIN_PROOF_REFS_FIELD_ID
public static final int RESULTS_CHECKED_FIELD_ID
public static final int MAX_TIME_FIELD_ID
public static final int MIN_HYPS_FIELD_ID
public static final int MAX_EXT_RESULTS_FIELD_ID
public static final int SUBSTITUTIONS_FIELD_ID
public static final int MAX_HYPS_FIELD_ID
public static final int MAX_INCOMP_HYPS_FIELD_ID
public static final int COMMENTS_FIELD_ID
public static final int MAX_RESULTS_FIELD_ID
public static final int PREV_STEPS_CHECKED_FIELD_ID
public static final int AUTO_SELECT_FIELD_ID
public static final int CHAP_SEC_HIERARCHY_FIELD_ID
public static final int REUSE_DERIV_STEPS_FIELD_ID
public static final int STATS_FIELD_ID
public static final int FROM_CHAP_FIELD_ID
public static final int FROM_SEC_FIELD_ID
public static final int THRU_CHAP_FIELD_ID
public static final int THRU_SEC_FIELD_ID
public static final int OUTPUT_SORT_FIELD_ID
public static final int[] IN_WHAT_FIELD_ID
public static final int[] PART_FIELD_ID
public static final int[] FORMAT_FIELD_ID
public static final int[] OPER_FIELD_ID
public static final int[] FOR_WHAT_FIELD_ID
public static final int[] BOOL_FIELD_ID
public static java.lang.String[] OUTPUT_SORT_VALUES
public static java.lang.String[] STATS_VALUES
public static final int STATS_0_ID
public static final int STATS_1_ID_SUMMARY_STATS
public static final int STATS_2_ID_DETAILED_STATS
public static final int STATS_3_ID_SEARCH_ARGS
public static final int STATS_4_ID_SEARCH_RESULTS
public static final int STATS_5_ID_CHAP_SEC_HIERARCHY
public static final java.lang.String TOOL_TIP_AUTO_SELECT
public static final java.lang.String TOOL_TIP_BOOL
public static final java.lang.String TOOL_TIP_CHAP_SEC_HIERARCHY
public static final java.lang.String TOOL_TIP_COMMENTS
public static final java.lang.String TOOL_TIP_DOUBLE_QUOTE
public static final java.lang.String TOOL_TIP_EXCL_LABELS
public static final java.lang.String TOOL_TIP_FOR_WHAT
public static final java.lang.String TOOL_TIP_FORMAT
public static final java.lang.String TOOL_TIP_FROM_CHAP
public static final java.lang.String TOOL_TIP_FROM_SEC
public static final java.lang.String TOOL_TIP_IN_WHAT
public static final java.lang.String TOOL_TIP_MAX_EXT_RESULTS
public static final java.lang.String TOOL_TIP_MAX_HYPS
public static final java.lang.String TOOL_TIP_MAX_INCOMP_HYPS
public static final java.lang.String TOOL_TIP_MAX_RESULTS
public static final java.lang.String TOOL_TIP_MAX_TIME
public static final java.lang.String TOOL_TIP_MIN_HYPS
public static final java.lang.String TOOL_TIP_MIN_PROOF_REFS
public static final java.lang.String TOOL_TIP_OPER
public static final java.lang.String TOOL_TIP_OR
public static final java.lang.String TOOL_TIP_OUTPUT_SORT
public static final java.lang.String TOOL_TIP_PART
public static final java.lang.String TOOL_TIP_PREV_STEPS_CHECKED
public static final java.lang.String TOOL_TIP_REUSE_DERIV_STEPS
public static final java.lang.String TOOL_TIP_RESULTS_CHECKED
public static final java.lang.String TOOL_TIP_SINGLE_QUOTE
public static final java.lang.String TOOL_TIP_STATS
public static final java.lang.String TOOL_TIP_SUBSTITUTIONS
public static final java.lang.String TOOL_TIP_THRU_CHAP
public static final java.lang.String TOOL_TIP_THRU_SEC
public static final SearchOptionsFieldAttr[] FIELD_ATTR
public static final int SEARCH_BUTTON_ID
public static final int CANCEL_BUTTON_ID
public static final int NEW_BUTTON_ID
public static final int REFINE_BUTTON_ID
public static final int SET_DEF_BUTTON_ID
public static final int PA_BUTTON_ID
public static final int SR_BUTTON_ID
public static final int HELP_BUTTON_ID
public static final int PLUS_BUTTON_ID
public static final int MINUS_BUTTON_ID
public static final int RESET_DATA_BUTTON_ID
public static final int RESET_CONTROLS_BUTTON_ID
public static final int NBR_BUTTONS
public static final java.lang.String TOOL_TIP_SEARCH
public static final java.lang.String TOOL_TIP_CANCEL
public static final java.lang.String TOOL_TIP_NEW
public static final java.lang.String TOOL_TIP_REFINE
public static final java.lang.String TOOL_TIP_SET_DEF
public static final java.lang.String TOOL_TIP_PA
public static final java.lang.String TOOL_TIP_SR
public static final java.lang.String TOOL_TIP_HELP
public static final java.lang.String TOOL_TIP_PLUS
public static final java.lang.String TOOL_TIP_MINUS
public static final java.lang.String TOOL_TIP_RESET_DATA
public static final java.lang.String TOOL_TIP_RESET_CONTROLS
public static final SearchOptionsButtonAttr[] BUTTON_ATTR
public static final java.lang.String GUI_EDIT_MENU_CUT_ITEM_TEXT
public static final java.lang.String GUI_EDIT_MENU_COPY_ITEM_TEXT
public static final java.lang.String GUI_EDIT_MENU_PASTE_ITEM_TEXT
public static final java.lang.String SEARCH_OPTIONS_ERROR_TITLE
public static final java.lang.String ERRMSG_FIELD_ATTR_TABLE_LOAD_ERROR
public static final java.lang.String ERRMSG_SEARCH_ARGS_TABLE_LOAD_ERROR
public static final java.lang.String ERRMSG_BUTTON_ATTR_TABLE_LOAD_ERROR
public static final java.lang.String ERRMSG_ARG_INTEGER_TEXT_INVALID
public static final java.lang.String ERRMSG_IN_WHAT_SEL_INVALID
public static final java.lang.String ERRMSG_PART_SEL_INVALID
public static final java.lang.String ERRMSG_FORMAT_SEL_INVALID
public static final java.lang.String ERRMSG_OPER_SEL_INVALID
public static final java.lang.String ERRMSG_FROM_CHAP_SEL_INVALID
public static final java.lang.String ERRMSG_THRU_CHAP_SEL_INVALID
public static final java.lang.String ERRMSG_UNRECOGNIZED_BUTTON_ID
public static final java.lang.String STEP_SEARCH_TITLE_LITERAL_1
public static final java.lang.String GENERAL_SEARCH_TITLE_LITERAL_1
public static final java.lang.String STEP_SEARCH_TITLE_STEP_LITERAL
public static final java.lang.String TITLE_THEOREM_LITERAL
public static final java.lang.String TITLE_LOC_AFTER_LITERAL
public static final java.lang.String TITLE_STMT_LITERAL
public static final java.lang.String DEFAULT_TITLE
public static final java.lang.String POPUP_ERROR_MESSAGE_TITLE
public static final java.lang.String[] DEFAULT_CHAP_VALUES
public static final java.lang.String[][] DEFAULT_CHAP_SEC_VALUES
public static final java.lang.String[][] INITIAL_FOR_WHAT_PRIOR_VALUES
public static final java.lang.String GENERAL_HELP_FRAME_TITLE
public static final java.lang.String GENERAL_HELP_INFO_TEXT
public static void CHECK_SEARCH_OPTIONS_FIELD_ATTR_IDS()
public static void CHECK_SEARCH_ARGS_FIELD_IDS(SearchArgs args)
public static void CHECK_SEARCH_OPTIONS_BUTTON_ATTR_IDS()