public class TMFFConstants
extends java.lang.Object
There are two primary types of constants: parameters that are "hardcoded" which affect/control processing, and error/info messages.
Each mmj message begins with a code, such as this:
E-LA-0007
where the format of the code is X-YY-9999
X
: error level
E
= Error
I
= Information
A
= Abort (processing terminates, usually a bug).
YY
: source code
GM
= mmj.gmff package (see GMFFConstants
)
GR
= mmj.verify.Grammar and related code (see
GrammarConstants
)
IO
= mmj.mmio package (see MMIOConstants
)
LA
= mmj.lang package (see GMFFConstants
)
PA
= mmj.pa package (proof assistant) (see PaConstants
)
PR
= mmj.verify.VerifyProof and related code (see
ProofConstants
)
TL
= mmj.tl package (Theorem Loader).
TM
= mmj.tmff.AlignColumn and related code
UT
= mmj.util package. (see UtilConstants
)
TR
= mmj.transforms package (proof assistant) (see
TrConstants
)
9999
: sequential number within the source code, 0001 through
9999.
Modifier and Type | Class and Description |
---|---|
static class |
TMFFConstants.AlignType
List of alignment type names as input by users.
|
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ERRMSG_ALT_FORMAT_NBR_MISSING2_1 |
static java.lang.String |
ERRMSG_ALT_INDENT_MISSING2_1 |
static java.lang.String |
ERRMSG_BAD_ALT_FORMAT_NBR_1 |
static java.lang.String |
ERRMSG_BAD_ALT_FORMAT_NBR_2 |
static java.lang.String |
ERRMSG_BAD_ALT_INDENT_1 |
static java.lang.String |
ERRMSG_BAD_ALT_INDENT_2 |
static java.lang.String |
ERRMSG_BAD_AT_NBR_1 |
static java.lang.String |
ERRMSG_BAD_AT_NBR_2 |
static java.lang.String |
ERRMSG_BAD_AT_VALUE |
static java.lang.String |
ERRMSG_BAD_BY_VALUE |
static java.lang.String |
ERRMSG_BAD_MAX_DEPTH_1 |
static java.lang.String |
ERRMSG_BAD_NEW_FORMAT_NBR_1 |
static java.lang.String |
ERRMSG_BAD_NEW_FORMAT_NBR_2 |
static java.lang.String |
ERRMSG_BAD_PREF_FORMAT_NBR |
static java.lang.String |
ERRMSG_BAD_SUB_EXPR_NODE_1 |
static java.lang.String |
ERRMSG_BAD_UPD_FORMAT_NBR_1 |
static java.lang.String |
ERRMSG_BAD_UPD_FORMAT_NBR_2 |
static java.lang.String |
ERRMSG_BAD_USE_INDENT |
static java.lang.String |
ERRMSG_BAD_USER_METHOD_NAME |
static java.lang.String |
ERRMSG_CANNOT_UPD_FORMAT_0_1 |
static java.lang.String |
ERRMSG_CANNOT_UPD_FORMAT_0_2 |
static java.lang.String |
ERRMSG_ERR_FORMAT_NBR_INPUT_1 |
static java.lang.String |
ERRMSG_ERR_INDENT_INPUT_1 |
static java.lang.String |
ERRMSG_FORMAT_NBR_MISSING_1 |
static java.lang.String |
ERRMSG_FORMAT_NBR_MISSING2_1 |
static java.lang.String |
ERRMSG_FORMAT_SCHEME_MISSING_1 |
static java.lang.String |
ERRMSG_FORMAT_SCHEME_NAME_NOTFND |
static java.lang.String |
ERRMSG_FORMAT_SCHEME_NAME_NOTFND2_1 |
static java.lang.String |
ERRMSG_MISSING_AT_VALUE_1 |
static java.lang.String |
ERRMSG_MISSING_BY_VALUE |
static java.lang.String |
ERRMSG_MISSING_USER_METHOD_NAME |
static java.lang.String |
ERRMSG_NO_ROOM_SUB_EXPR_1 |
static java.lang.String |
ERRMSG_RENDER_FORMULA_ERROR_1 |
static java.lang.String |
ERRMSG_SCHEME_CANNOT_BE_UPDATED |
static java.lang.String |
ERRMSG_SCHEME_METHOD_MISSING |
static java.lang.String |
ERRMSG_SCHEME_NAME_MISSING_1 |
static java.lang.String |
ERRMSG_SCHEME_NAME_REQUIRED |
static java.lang.String |
ERRMSG_SCHEME_NM_CANT_BE_ASSIGNED |
static java.lang.String |
ERRMSG_UNFORMATTED_BAD_CALL_FLAT_1 |
static java.lang.String |
ERRMSG_UNFORMATTED_BAD_CALL_UNF_1 |
static java.lang.String |
ERRMSG_UPDATE_SCHEME_NOTFND_BUG_1 |
static java.lang.String |
ERRMSG_USE_INDENT_MISSING2_1 |
static int |
MAX_ALIGN_AT_NBR
Maximum valid (useful) AtNbr for TMFFAlignColumn.
|
static int |
MIN_ALIGN_AT_NBR
Minimum valid (useful) AtNbr for TMFFAlignColumn.
|
static int |
TMFF_ALT_FORMAT_NBR_DEFAULT
Default setting for Alternate Format Number.
|
static int |
TMFF_ALT_INDENT_DEFAULT
Default setting for TMFF Alt Indent amount
|
static java.lang.String |
TMFF_AT_VALUE
TMFFMethod 'atValue' parameter.
|
static java.lang.String |
TMFF_BY_VALUE
TMFFMethod 'byValue' parameter.
|
static int |
TMFF_CURR_FORMAT_NBR_DEFAULT
Default setting for Current Format Number.
|
static java.lang.String[][] |
TMFF_DEFAULT_DEFINE_FORMAT_PARAMS |
static java.lang.String[][] |
TMFF_DEFAULT_DEFINE_SCHEME_PARAMS |
static int |
TMFF_MAX_FORMAT_NBR
The highest permissible Format Number.
|
static int |
TMFF_MAX_INDENT
The highest permissible Indent amount.
|
static java.lang.String |
TMFF_METHOD_USER_NAME_ALIGN_COLUMN
Hardcoded user name of TMFFMethod TMFFAlignColumn.
|
static java.lang.String |
TMFF_METHOD_USER_NAME_FLAT
Hardcoded user name of TMFFMethod TMFFFlat.
|
static java.lang.String |
TMFF_METHOD_USER_NAME_TWO_COLUMN_ALIGNMENT
Hardcoded user name of TMFFMethod TMFFTwoColumnAlignment.
|
static java.lang.String |
TMFF_METHOD_USER_NAME_UNFORMATTED
Hardcoded user name of TMFFMethod TMFFUnformatted.
|
static int |
TMFF_UNFORMATTED_FORMAT_NBR_0
Format 'Unformatted' is assigned Format Number 0.
|
static java.lang.String |
TMFF_UNFORMATTED_SCHEME_NAME
Hardcoded TMFFScheme name for Unformatted output.
|
static int |
TMFF_USE_INDENT_DEFAULT
Default setting for TMFF Use Indent amount
|
Constructor and Description |
---|
TMFFConstants() |
public static final int MIN_ALIGN_AT_NBR
public static final int MAX_ALIGN_AT_NBR
public static final java.lang.String TMFF_UNFORMATTED_SCHEME_NAME
public static final int TMFF_UNFORMATTED_FORMAT_NBR_0
public static final int TMFF_MAX_FORMAT_NBR
public static final int TMFF_MAX_INDENT
public static final java.lang.String[][] TMFF_DEFAULT_DEFINE_SCHEME_PARAMS
public static final java.lang.String[][] TMFF_DEFAULT_DEFINE_FORMAT_PARAMS
public static final java.lang.String TMFF_METHOD_USER_NAME_UNFORMATTED
public static final java.lang.String TMFF_METHOD_USER_NAME_ALIGN_COLUMN
public static final java.lang.String TMFF_METHOD_USER_NAME_TWO_COLUMN_ALIGNMENT
public static final java.lang.String TMFF_METHOD_USER_NAME_FLAT
public static final int TMFF_CURR_FORMAT_NBR_DEFAULT
"13" = TwoColumnAlignmentDepth2.
public static final int TMFF_ALT_FORMAT_NBR_DEFAULT
"7" = Flat.
public static final int TMFF_USE_INDENT_DEFAULT
"0" = No indentation
public static final int TMFF_ALT_INDENT_DEFAULT
"1" = 1 column indentation per proof level below the root.
public static final java.lang.String TMFF_BY_VALUE
public static final java.lang.String TMFF_AT_VALUE
public static final java.lang.String ERRMSG_BAD_BY_VALUE
public static final java.lang.String ERRMSG_MISSING_BY_VALUE
public static final java.lang.String ERRMSG_BAD_AT_NBR_1
public static final java.lang.String ERRMSG_BAD_AT_NBR_2
public static final java.lang.String ERRMSG_BAD_AT_VALUE
public static final java.lang.String ERRMSG_MISSING_AT_VALUE_1
public static final java.lang.String ERRMSG_BAD_SUB_EXPR_NODE_1
public static final java.lang.String ERRMSG_NO_ROOM_SUB_EXPR_1
public static final java.lang.String ERRMSG_FORMAT_SCHEME_MISSING_1
public static final java.lang.String ERRMSG_CANNOT_UPD_FORMAT_0_1
public static final java.lang.String ERRMSG_CANNOT_UPD_FORMAT_0_2
public static final java.lang.String ERRMSG_BAD_UPD_FORMAT_NBR_1
public static final java.lang.String ERRMSG_BAD_UPD_FORMAT_NBR_2
public static final java.lang.String ERRMSG_BAD_NEW_FORMAT_NBR_1
public static final java.lang.String ERRMSG_BAD_NEW_FORMAT_NBR_2
public static final java.lang.String ERRMSG_FORMAT_SCHEME_NAME_NOTFND2_1
public static final java.lang.String ERRMSG_FORMAT_NBR_MISSING_1
public static final java.lang.String ERRMSG_SCHEME_NAME_MISSING_1
public static final java.lang.String ERRMSG_BAD_MAX_DEPTH_1
public static final java.lang.String ERRMSG_BAD_USER_METHOD_NAME
public static final java.lang.String ERRMSG_MISSING_USER_METHOD_NAME
public static final java.lang.String ERRMSG_RENDER_FORMULA_ERROR_1
public static final java.lang.String ERRMSG_BAD_PREF_FORMAT_NBR
public static final java.lang.String ERRMSG_ERR_FORMAT_NBR_INPUT_1
public static final java.lang.String ERRMSG_FORMAT_SCHEME_NAME_NOTFND
public static final java.lang.String ERRMSG_FORMAT_NBR_MISSING2_1
public static final java.lang.String ERRMSG_UPDATE_SCHEME_NOTFND_BUG_1
public static final java.lang.String ERRMSG_ALT_FORMAT_NBR_MISSING2_1
public static final java.lang.String ERRMSG_BAD_ALT_FORMAT_NBR_1
public static final java.lang.String ERRMSG_BAD_ALT_FORMAT_NBR_2
public static final java.lang.String ERRMSG_USE_INDENT_MISSING2_1
public static final java.lang.String ERRMSG_BAD_USE_INDENT
public static final java.lang.String ERRMSG_ALT_INDENT_MISSING2_1
public static final java.lang.String ERRMSG_BAD_ALT_INDENT_1
public static final java.lang.String ERRMSG_BAD_ALT_INDENT_2
public static final java.lang.String ERRMSG_ERR_INDENT_INPUT_1
public static final java.lang.String ERRMSG_SCHEME_METHOD_MISSING
public static final java.lang.String ERRMSG_SCHEME_CANNOT_BE_UPDATED
public static final java.lang.String ERRMSG_SCHEME_NAME_REQUIRED
public static final java.lang.String ERRMSG_SCHEME_NM_CANT_BE_ASSIGNED
public static final java.lang.String ERRMSG_UNFORMATTED_BAD_CALL_UNF_1
public static final java.lang.String ERRMSG_UNFORMATTED_BAD_CALL_FLAT_1