public class TrConstants
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.
public static final ErrorCode ERRMSG_UNEXPECTED_EXCEPTION
public static final ErrorCode ERRMSG_ILLEGAL_STATE_IN_CREATE_TRANSFORMATION
public static final ErrorCode ERRMSG_CANONICAL_FORM
public static final ErrorCode ERRMSG_CANONICAL_CORRESPONDENCE
public static final ErrorCode ERRMSG_MORE_THEN_ONE_EQUALITY_OPERATOR
public static final ErrorCode ERRMSG_MISSING_IMPL_TRIV_RULE
public static final ErrorCode ERRMSG_MISSING_IMPL_DISTR_RULE
public static final ErrorCode ERRMSG_MISSING_EQUAL_COMMUT_DEDUCT_RULE
public static final ErrorCode ERRMSG_MISSING_EQUAL_TRANSIT_DEDUCT_RULE
public static final ErrorCode ERRMSG_LOOP_IN_TRANSFORMATIONS
public static final ErrorCode ERRMSG_ASSOC_REPLACE_FAIL
public static final ErrorCode ERRMSG_ASSOC_ASSRTS
public static final ErrorCode ERRMSG_COMM_ASSRTS
public static final ErrorCode ERRMSG_IMPL_GATHER_ASSRTS
public static final ErrorCode ERRMSG_GATHER_ASSRTS
public static final ErrorCode ERRMSG_GATHER_PART
public static final ErrorCode ERRMSG_NOT_AND_OP
public static final ErrorCode ERRMSG_EQUIV_COMM_ASSRTS
public static final ErrorCode ERRMSG_EQUIV_COMM_DED_ASSRTS
public static final ErrorCode ERRMSG_EQUIV_TRANS_ASSRTS
public static final ErrorCode ERRMSG_EQUIV_TRANS_DED_ASSRTS
public static final ErrorCode ERRMSG_EQUIV_RULES
public static final ErrorCode ERRMSG_TYPE_EQUIV
public static final ErrorCode ERRMSG_IMPL_DISTR_ASSRTS
public static final ErrorCode ERRMSG_IMPL_TRANS_ASSRTS
public static final ErrorCode ERRMSG_MP_BACKWARDS
public static final ErrorCode ERRMSG_IMPL_ASSRTS
public static final ErrorCode ERRMSG_IMPL_EQ_ASSRTS
public static final ErrorCode ERRMSG_IMPL_TRIV_ASSRTS
public static final ErrorCode ERRMSG_CLOSURE_TRANS
public static final ErrorCode ERRMSG_TRANS_TO_RESULT
public static final ErrorCode ERRMSG_TRANS_TO_CONST
public static final ErrorCode ERRMSG_REPL_UNIQUE_COLLECTION
public static final ErrorCode ERRMSG_REPL_UNIQUE_ASSRT
public static final ErrorCode ERRMSG_REPL_ASSRTS
public static final ErrorCode ERRMSG_EMITTED_STEP
public static final ErrorCode ERRMSG_FINISHED_STEP