JML

org.multijava.mjc
Class MjcMessages

java.lang.Object
  extended byorg.multijava.mjc.MjcMessages

public class MjcMessages
extends Object


Field Summary
static MessageDescription ABSTRACT_METHOD_IN_CONCRETE_CLASS
           
static MessageDescription ABSTRACT_TOP_LEVEL_METHOD
           
static MessageDescription ADD_BADTYPE
           
static MessageDescription AMBIGUOUS_RESEND
           
static MessageDescription AND_BADTYPE
           
static MessageDescription ARG_NOT_EXIST
           
static MessageDescription ARG_NOT_READABLE_FILE
           
static MessageDescription ARRAY_BADTYPE
           
static MessageDescription ARRAY_EXPRESSION_INT
           
static MessageDescription ARRAY_INIT_BADARRAY
           
static MessageDescription ARRAY_INIT_BADTYPE
           
static MessageDescription ARRAY_LENGTH_BADTYPE
           
static MessageDescription ARRAY_NEW_NOSIZE
           
static MessageDescription ARRAY_PREFIX
           
static MessageDescription ARRAYACCESS_NULL_REF
           
static MessageDescription ASSERT_IS_KEYWORD
           
static MessageDescription ASSIGNMENT_ARRAY_NULLITY_INVARIANT
           
static MessageDescription ASSIGNMENT_BADTYPE
           
static MessageDescription ASSIGNMENT_IN_CONDITION
           
static MessageDescription ASSIGNMENT_NOTLVALUE
           
static MessageDescription ASSIGNMENT_OF_NULL
           
static MessageDescription ASSIGNS_LOOP_VARIABLE
           
static MessageDescription BAD_CLASS_SPECIALIZER
           
static MessageDescription BAD_LOCAL_NOT_FINAL
           
static MessageDescription BAD_METHOD_NAME
           
static MessageDescription BAD_RESEND_RECEIVER
           
static MessageDescription BAD_SUPER_STATIC
           
static MessageDescription BAD_THIS_STATIC
           
static MessageDescription BAD_VALUE_SPECIALIZER
           
static MessageDescription BITWISE_BADTYPE
           
static MessageDescription BOOLEAN_EXPECTED
           
static MessageDescription CANNOT_BREAK
           
static MessageDescription CANNOT_CONTINUE
           
static MessageDescription CASE_FALL_THROUGH
           
static MessageDescription CAST_CANT
           
static MessageDescription CATCH_UNREACHABLE_1
           
static MessageDescription CATCH_UNREACHABLE_2
           
static MessageDescription CATCH_UNREACHABLE_3
           
static MessageDescription CLASS_ACCESSPARENT
           
static MessageDescription CLASS_CIRCULARITY
           
static MessageDescription CLASS_EXTENDS_INTERFACE
           
static MessageDescription CLASS_FLAGS
           
static MessageDescription CLASS_IMPLEMENTS_NON_INTERFACE
           
static MessageDescription CLASS_NAME_FILENAME
           
static MessageDescription CLASS_NO_ACCESS
           
static MessageDescription CLASS_PARENT_FINAL
           
static MessageDescription CLASS_SHOULD_IMPLEMENT
           
static MessageDescription CLASSFILE_TYPE_UNKNOWN
           
static MessageDescription CLAZZ_RENAME
           
static MessageDescription COMPARING_BOOLEAN_CONSTANT
           
static MessageDescription COMPILATION_TIME
           
static MessageDescription CONSTRUCTOR_BAD_NAME
           
static MessageDescription CONSTRUCTOR_BAD_QUALIFIER
           
static MessageDescription CONSTRUCTOR_EXPLICIT_CALL
           
static MessageDescription CONSTRUCTOR_FLAGS
           
static MessageDescription CONSTRUCTOR_ILLEGAL_EXPLICIT
           
static MessageDescription CONSTRUCTOR_NOACCESS
           
static MessageDescription CONSTRUCTOR_NOBODY
           
static MessageDescription CONSTRUCTOR_NOT_FOUND
           
static MessageDescription CONSTRUCTOR_QUALIFIED_EXPLICIT
           
static MessageDescription CONTINUE_NOTLOOP
           
static MessageDescription CUNIT_RENAME
           
static MessageDescription CUNIT_RENAME2
           
static MessageDescription DISPATCHED_EXCEPTION
           
static MessageDescription DIVIDE_BADTYPE
           
static MessageDescription DIVIDE_BY_ZERO
           
static MessageDescription DO_COND_NOTBOOLEAN
           
static MessageDescription DUPLICATE_MODIFIER
           
static MessageDescription EMPTY_CATCH_BLOCK
           
static MessageDescription ENCLOSE_IF_ELSE_IN_BLOCK
           
static MessageDescription ENCLOSE_IF_THEN_IN_BLOCK
           
static MessageDescription ENCLOSE_LOOP_BODY_IN_BLOCK
           
static MessageDescription ENHANCES_INTERFACE
           
static MessageDescription EQUALITY_BADTYPE
           
static MessageDescription EQUALITY_TYPE
           
static MessageDescription EXT_GF_MISPLACED
           
static MessageDescription EXT_GF_REDEFINED
           
static MessageDescription EXT_GF_REDEFINED2
           
static MessageDescription EXT_GF_UNKNOWN
           
static MessageDescription EXT_METHOD_OVERRIDES_NON_LOCAL
           
static MessageDescription EXT_MM_BAD_OVERRIDE
           
static MessageDescription EXT_MM_BAD_OVERRIDE2
           
static MessageDescription EXTERNAL_SELF_CALL_FROM_INIT
           
static MessageDescription FIELD_AMBIGUOUS
           
static MessageDescription FIELD_AS_METHOD
           
static MessageDescription FIELD_BADACCESS
           
static MessageDescription FIELD_FLAGS
           
static MessageDescription FIELD_FLAGS_IN_INTERFACE
           
static MessageDescription FIELD_NO_ACCESS
           
static MessageDescription FIELD_NOSTATIC
           
static MessageDescription FIELD_NOT_DECLARED_YET
           
static MessageDescription FIELD_PRIVATE
           
static MessageDescription FIELD_RENAME
           
static MessageDescription FIELD_RENAME_SUPER
           
static MessageDescription FIELD_UNKNOWN
           
static MessageDescription FIELDACCESS_NULL_REF
           
static MessageDescription FILE_INITIALIZERS_CHECKED
           
static MessageDescription FILE_INTERFACE_CHECKED
           
static MessageDescription FILE_PREPROCESSED
           
static MessageDescription FILE_SPECIALIZERS_RESOLVED
           
static MessageDescription FILE_TOP_METHODS_RESOLVED
           
static MessageDescription FILE_TRANSLATING_COMPLETED
           
static MessageDescription FILTER_NOT_FOUND
           
static MessageDescription FINAL_FIELD_IMPLICITLY_STATIC
           
static MessageDescription FOR_COND_NOTBOOLEAN
           
static MessageDescription GENERIC_OVER_RULE2
           
static MessageDescription GENERIC_OVER_RULE3
           
static MessageDescription GENERIC_OVER_RULE4
           
static MessageDescription IF_COND_NOTBOOLEAN
           
static MessageDescription ILLEGAL_EXTERNAL_SUPER
           
static MessageDescription IMPORT_CURRENT_PACKAGE
           
static MessageDescription IMPORT_JAVA_LANG
           
static MessageDescription INITIALIZER_RETURN
           
static MessageDescription INITIALIZERS_CHECKED
           
static MessageDescription INNER_INHERITENCE
           
static MessageDescription INSTANCE_PREFIXES_STATIC_FIELD
           
static MessageDescription INSTANCE_PREFIXES_STATIC_METHOD
           
static MessageDescription INSTANCEOF_BADTYPE
           
static MessageDescription INTEGRAL_ARITHMETIC_OVERFLOW
           
static MessageDescription INTERFACE_IMPLEMENTED_BY_SUPERCLASS
           
static MessageDescription INTERFACE_SPECIALIZER
           
static MessageDescription INTERFACES_DUPLICATE
           
static MessageDescription INVALID_ESCAPE_SEQUENCE
           
static MessageDescription INVALID_EXPRESSION_STATEMENT
           
static MessageDescription INVALID_LOCAL_MODIFIER
           
static MessageDescription INVALID_MODIFIER_COMBINATION
           
static MessageDescription INVALID_OCTAL_CHAR
           
static MessageDescription INVOKE_NO_ACCESS
           
static MessageDescription JAVAFILE_TYPE_UNKNOWN
           
static MessageDescription LABEL_ALREADY_EXISTS
           
static MessageDescription LABEL_UNKNOWN
           
static MessageDescription LESS_PARAMETER
           
static MessageDescription LITER_DOUBLE_BAD
           
static MessageDescription LITER_INT_BAD
           
static MessageDescription LOOP_ASSIGN_FINAL_FIELD
           
static MessageDescription LOOP_ASSIGN_FINAL_VARIABLE
           
static MessageDescription METHOD_ABSTRACT_CALL
           
static MessageDescription METHOD_ABSTRACT_CLASSNOT
           
static MessageDescription METHOD_ACCESS_DIFFERENT
           
static MessageDescription METHOD_AMBIG
           
static MessageDescription METHOD_BADPREFIX
           
static MessageDescription METHOD_BODY_IN_INTERFACE
           
static MessageDescription METHOD_BODY_NATIVE_ABSTRACT
           
static MessageDescription METHOD_FLAGS
           
static MessageDescription METHOD_FLAGS_IN_INTERFACE
           
static MessageDescription METHOD_HAS_DUPLICATE_SIG
           
static MessageDescription METHOD_HIDE_NON_STATIC
           
static MessageDescription METHOD_MODIFIER_COMBINATION
           
static MessageDescription METHOD_NAME_FILENAME
           
static MessageDescription METHOD_NATIVE_STRICT
           
static MessageDescription METHOD_NEED_RETURN
           
static MessageDescription METHOD_NOACCESS
           
static MessageDescription METHOD_NOBODY_NOABSTRACT
           
static MessageDescription METHOD_NOT_FOUND
           
static MessageDescription METHOD_NOT_IMPLEMENTED
           
static MessageDescription METHOD_NULLITYUNCHECKABLE
           
static MessageDescription METHOD_OVERRIDE_FINAL
           
static MessageDescription METHOD_OVERRIDE_STATIC
           
static MessageDescription METHOD_REDEFINE
           
static MessageDescription METHOD_RETURN_DIFFERENT
           
static MessageDescription METHOD_RETURN_NOT_SUBTYPE
           
static MessageDescription METHOD_STATIC_BAD
           
static MessageDescription METHOD_THROWS_DIFFERENT
           
static MessageDescription METHOD_TV_INCONSISTENT
           
static MessageDescription METHOD_UNCAUGHT_EXCEPTION
           
static MessageDescription METHOD_UNCHECKED_EXCEPTION
           
static MessageDescription METHOD_UNTHROWN_EXCEPTION
           
static MessageDescription METHODCALL_NULL_REF
           
static MessageDescription METHODPARAM_CANNOT_BE_NULL
           
static MessageDescription MINUS_BADTYPE
           
static MessageDescription MISPLACED_JAVADOC
           
static MessageDescription MM_AMBIG
           
static MessageDescription MODIFIER_ORDER
           
static MessageDescription MODULO_BADTYPE
           
static MessageDescription MSAM_NOT_FOUND
           
static MessageDescription MULT_BADTYPE
           
static MessageDescription NARROWING_COMPOUND_ASSIGNMENT
           
static MessageDescription NEED_TO_IMPLEMENT_IsNonNull
           
static MessageDescription NEW_ABSTRACT
           
static MessageDescription NEW_INTERFACE
           
static MessageDescription NEW_TYPE_VARIABLE
           
static MessageDescription NO_INPUT_FILES
           
static MessageDescription NON_CLASS_SPECIALIZER
           
static MessageDescription NON_EXISTENT_PACKAGE
           
static MessageDescription NON_REIFIABLE_ARRAY_INSTANTIATION
           
static MessageDescription NON_REIFIABLE_INSTANCEOF
           
static MessageDescription NON_VALUE_SPECIALIZER
           
static MessageDescription NOT_ALL_DEPRECATED
           
static MessageDescription OLD_STYLE_ARRAY_BOUNDS
           
static MessageDescription OR_BADTYPE
           
static MessageDescription OVERLOAD_COULD_BE_OVERRIDE
           
static MessageDescription OVERRIDE_NO_ACC
           
static MessageDescription PACKAGE_IS_MISSING
           
static MessageDescription PACKAGE_PROTECTED_ATTRIBUTE
           
static MessageDescription PARAMETER_ARRAY_NULLITY_INVARIANT
           
static MessageDescription PARSER_INITIALIZATION_PROBLEM
           
static MessageDescription PARSING_TIME
           
static MessageDescription POSTFIX_BADTYPE
           
static MessageDescription POSTFIX_NOTINITIALIZED
           
static MessageDescription POSTFIX_NOTLVALUE
           
static MessageDescription PREFIX_BADTYPE
           
static MessageDescription PREFIX_NOTINITIALIZED
           
static MessageDescription PREFIX_NOTLVALUE
           
static MessageDescription PREPROCESSED
           
static MessageDescription PRINT_TIME
           
static MessageDescription PROTECTED_EXT_METHOD
           
static MessageDescription REASSIGNMENT_FINAL_FIELD
           
static MessageDescription REASSIGNMENT_FINAL_VARIABLE
           
static MessageDescription REGULAR_METHOD_MISPLACED
           
static MessageDescription RELATIONAL_TYPE
           
static MessageDescription REPLACE_PACKAGE_IMPORT
           
static MessageDescription RESEND_FROM_TOP
           
static MessageDescription RESEND_FROM_TOP_STATIC
           
static MessageDescription RESEND_PARM_MUST_BE_FINAL
           
static MessageDescription RESEND_PARM_MUST_BE_NAME
           
static MessageDescription RESEND_TO_DIFFERENT_GF
           
static MessageDescription RETURN_ARRAY_NULLITY_INVARIANT
           
static MessageDescription RETURN_BADTYPE
           
static MessageDescription RETURN_CAN_BE_NULL
           
static MessageDescription RETURN_EMPTY_NONVOID
           
static MessageDescription RETURN_IN_INIT
           
static MessageDescription RETURN_NONEMPTY_VOID
           
static MessageDescription RMJ_ABSTRACT_METHOD_IN_CONCRETE_CLASS
           
static MessageDescription RMJ_ABSTRACT_TOP_LEVEL_METHOD
           
static MessageDescription RMJ_AMBIGUOUS_SUPER
           
static MessageDescription RMJ_ENHANCES_INTERFACE
           
static MessageDescription RMJ_EXT_MM_BAD_OVERRIDE
           
static MessageDescription RMJ_METHOD_AMBIG
           
static MessageDescription RMJ_MM_AMBIG
           
static MessageDescription RMJ_SUPER_SKIPS_METHOD
           
static MessageDescription RMJ_SUPER_SKIPS_METHODS
           
static MessageDescription RUNTIME_EXCEPTION
           
static MessageDescription SAFE_MATH_BAD_OP
           
static MessageDescription SAME_DYNAMIC_TYPE
           
static MessageDescription SELF_ASSIGNMENT
           
static MessageDescription SHIFT_BADTYPE
           
static MessageDescription SPECIALIZED_ABSTRACT
           
static MessageDescription SPECIALIZED_CONSTRUCTOR
           
static MessageDescription SPECIALIZERS_RESOLVED
           
static MessageDescription STARTING
           
static MessageDescription STATEMENT_UNREACHABLE
           
static MessageDescription STATIC_EXT_METHOD
           
static MessageDescription STATIC_INITIALIZER_THROWABLE
           
static MessageDescription STATIC_RESEND_HAS_RECEIVER
           
static MessageDescription STRAY_COMMA
           
static MessageDescription STRAY_SEMICOLON
           
static MessageDescription STRING_COMPARISON
           
static MessageDescription SUPER_BADACCESS
           
static MessageDescription SUPER_METHOD_ABSTRACT
           
static MessageDescription SUPER_SKIPS_METHOD
           
static MessageDescription SUPER_SKIPS_METHODS
           
static MessageDescription SWITCH_BADEXPR
           
static MessageDescription SWITCH_DEFAULT_DOUBLE
           
static MessageDescription SWITCH_LABEL_EXIST
           
static MessageDescription SWITCH_LABEL_EXPR_NOTCONST
           
static MessageDescription SWITCH_LABEL_EXPR_NOTINT
           
static MessageDescription SWITCH_LABEL_OVERFLOW
           
static MessageDescription SWITCH_NO_DEFAULT
           
static MessageDescription SYNCHRONIZED_NOTREFERENCE
           
static MessageDescription TEMP_RESEND_PARM_MUST_BE_FINAL
           
static MessageDescription TEMP_RESEND_PARM_MUST_BE_NAME
           
static MessageDescription THIS_BADACCESS
           
static MessageDescription THIS_INVALID_OUTER
           
static MessageDescription THIS_UNKNOWN_OUTER
           
static MessageDescription THROW_BADTYPE
           
static MessageDescription THROW_TYPENAME
           
static MessageDescription TOO_MANY_PARAMETER
           
static MessageDescription TOP_LEVEL_METHOD_MISPLACED
           
static MessageDescription TOP_METHOD_AMBIG
           
static MessageDescription TOP_METHOD_AMBIG_IMPORT1
           
static MessageDescription TOP_METHOD_AMBIG_IMPORT2
           
static MessageDescription TOP_METHODS_RESOLVED
           
static MessageDescription TOP_RECEIVER_INVALID
           
static MessageDescription TOP_RENAME
           
static MessageDescription TRANSLATE_MJ_TIME
           
static MessageDescription TRINARY_ARRAYNULLITY_NEQ
           
static MessageDescription TRINARY_BADCOND
           
static MessageDescription TRINARY_INCOMP
           
static MessageDescription TRY_CATCH_NOTHROW
           
static MessageDescription TRY_NOCATCH
           
static MessageDescription TRY_UNREACHABLE
           
static MessageDescription TV_NOT_AN_INTERFACE
           
static MessageDescription TYPE_AMBIG
           
static MessageDescription TYPE_AMBIG2
           
static MessageDescription TYPE_AND_FUNCTION
           
static MessageDescription TYPE_AS_METHOD
           
static MessageDescription TYPE_NOT_MATCH
           
static MessageDescription TYPE_OR_GF_UNKNOWN
           
static MessageDescription TYPE_UNKNOWN
           
static MessageDescription TYPE_VARIABLE_STATIC_FIELD
           
static MessageDescription TYPECHECK_TIME
           
static MessageDescription TYPEVAR_NOT_FOUND
           
static MessageDescription UNARY_BADTYPE_BNOT
           
static MessageDescription UNARY_BADTYPE_LNOT
           
static MessageDescription UNARY_BADTYPE_PM
           
static MessageDescription UNCHECKED_CAST
           
static MessageDescription UNCHECKED_CONSTRUCTOR_CALL
           
static MessageDescription UNCHECKED_CONVERSION
           
static MessageDescription UNCHECKED_FIELD_ASSIGNMENT
           
static MessageDescription UNCHECKED_METHOD_CALL
           
static MessageDescription UNCHECKED_WARNINGS
           
static MessageDescription UNINITIALIZED_FIELD
           
static MessageDescription UNINITIALIZED_FINAL_FIELD
           
static MessageDescription UNINITIALIZED_NONNULL_FIELD
           
static MessageDescription UNINITIALIZED_VARIABLE
           
static MessageDescription UNNECESSARY_CAST
           
static MessageDescription UNNECESSARY_INSTANCEOF
           
static MessageDescription UNSUPPORTED_GENERIC_TYPE
           
static MessageDescription UNUSED_CATCH_PARAMETER
           
static MessageDescription UNUSED_CLASS_IMPORT
           
static MessageDescription UNUSED_LABEL
           
static MessageDescription UNUSED_LOCALVAR
           
static MessageDescription UNUSED_PACKAGE_IMPORT
           
static MessageDescription UNUSED_PARAMETER
           
static MessageDescription UNUSED_PRIVATE_FIELD
           
static MessageDescription UNUSED_PRIVATE_METHOD
           
static MessageDescription UNUSED_RETURN_VALUE_FROM_FUNCTION_CALL
           
static MessageDescription UNUSED_TYPE_ARGUMENT
           
static MessageDescription USE_OF_DEPRECATED
           
static MessageDescription VAR_INIT_BADTYPE
           
static MessageDescription VAR_INIT_BADTYPE2
           
static MessageDescription VAR_RENAME
           
static MessageDescription VAR_UNKNOWN
           
static MessageDescription WHILE_COND_NOTBOOLEAN
           
static MessageDescription WILDCARD_IN_OBJECT_INSTANTIATION
           
static MessageDescription WILDCARD_IN_SUPER_TYPE
           
 
Constructor Summary
MjcMessages()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

NO_INPUT_FILES

public static final MessageDescription NO_INPUT_FILES

FILTER_NOT_FOUND

public static final MessageDescription FILTER_NOT_FOUND

PARSER_INITIALIZATION_PROBLEM

public static final MessageDescription PARSER_INITIALIZATION_PROBLEM

NON_EXISTENT_PACKAGE

public static final MessageDescription NON_EXISTENT_PACKAGE

EXT_MM_BAD_OVERRIDE

public static final MessageDescription EXT_MM_BAD_OVERRIDE

EXT_MM_BAD_OVERRIDE2

public static final MessageDescription EXT_MM_BAD_OVERRIDE2

RMJ_EXT_MM_BAD_OVERRIDE

public static final MessageDescription RMJ_EXT_MM_BAD_OVERRIDE

MSAM_NOT_FOUND

public static final MessageDescription MSAM_NOT_FOUND

DISPATCHED_EXCEPTION

public static final MessageDescription DISPATCHED_EXCEPTION

SPECIALIZED_CONSTRUCTOR

public static final MessageDescription SPECIALIZED_CONSTRUCTOR

SPECIALIZED_ABSTRACT

public static final MessageDescription SPECIALIZED_ABSTRACT

REGULAR_METHOD_MISPLACED

public static final MessageDescription REGULAR_METHOD_MISPLACED

TOP_LEVEL_METHOD_MISPLACED

public static final MessageDescription TOP_LEVEL_METHOD_MISPLACED

STATIC_EXT_METHOD

public static final MessageDescription STATIC_EXT_METHOD

PROTECTED_EXT_METHOD

public static final MessageDescription PROTECTED_EXT_METHOD

ABSTRACT_TOP_LEVEL_METHOD

public static final MessageDescription ABSTRACT_TOP_LEVEL_METHOD

ENHANCES_INTERFACE

public static final MessageDescription ENHANCES_INTERFACE

SAME_DYNAMIC_TYPE

public static final MessageDescription SAME_DYNAMIC_TYPE

EXT_GF_UNKNOWN

public static final MessageDescription EXT_GF_UNKNOWN

EXT_GF_MISPLACED

public static final MessageDescription EXT_GF_MISPLACED

EXT_GF_REDEFINED

public static final MessageDescription EXT_GF_REDEFINED

EXT_GF_REDEFINED2

public static final MessageDescription EXT_GF_REDEFINED2

NON_CLASS_SPECIALIZER

public static final MessageDescription NON_CLASS_SPECIALIZER

NON_VALUE_SPECIALIZER

public static final MessageDescription NON_VALUE_SPECIALIZER

BAD_CLASS_SPECIALIZER

public static final MessageDescription BAD_CLASS_SPECIALIZER

BAD_VALUE_SPECIALIZER

public static final MessageDescription BAD_VALUE_SPECIALIZER

TOP_METHOD_AMBIG

public static final MessageDescription TOP_METHOD_AMBIG

TOP_METHOD_AMBIG_IMPORT1

public static final MessageDescription TOP_METHOD_AMBIG_IMPORT1

TOP_METHOD_AMBIG_IMPORT2

public static final MessageDescription TOP_METHOD_AMBIG_IMPORT2

MM_AMBIG

public static final MessageDescription MM_AMBIG

CLASS_FLAGS

public static final MessageDescription CLASS_FLAGS

CLASS_CIRCULARITY

public static final MessageDescription CLASS_CIRCULARITY

CLASS_ACCESSPARENT

public static final MessageDescription CLASS_ACCESSPARENT

CLASS_PARENT_FINAL

public static final MessageDescription CLASS_PARENT_FINAL

CLASS_EXTENDS_INTERFACE

public static final MessageDescription CLASS_EXTENDS_INTERFACE

CLASS_IMPLEMENTS_NON_INTERFACE

public static final MessageDescription CLASS_IMPLEMENTS_NON_INTERFACE

INTERFACES_DUPLICATE

public static final MessageDescription INTERFACES_DUPLICATE

CLASS_SHOULD_IMPLEMENT

public static final MessageDescription CLASS_SHOULD_IMPLEMENT

ABSTRACT_METHOD_IN_CONCRETE_CLASS

public static final MessageDescription ABSTRACT_METHOD_IN_CONCRETE_CLASS

INNER_INHERITENCE

public static final MessageDescription INNER_INHERITENCE

TOP_RENAME

public static final MessageDescription TOP_RENAME

CUNIT_RENAME

public static final MessageDescription CUNIT_RENAME

CUNIT_RENAME2

public static final MessageDescription CUNIT_RENAME2

TYPE_AND_FUNCTION

public static final MessageDescription TYPE_AND_FUNCTION

FIELD_FLAGS_IN_INTERFACE

public static final MessageDescription FIELD_FLAGS_IN_INTERFACE

FIELD_FLAGS

public static final MessageDescription FIELD_FLAGS

FIELD_AMBIGUOUS

public static final MessageDescription FIELD_AMBIGUOUS

FIELD_RENAME

public static final MessageDescription FIELD_RENAME

UNINITIALIZED_FINAL_FIELD

public static final MessageDescription UNINITIALIZED_FINAL_FIELD

REASSIGNMENT_FINAL_FIELD

public static final MessageDescription REASSIGNMENT_FINAL_FIELD

LOOP_ASSIGN_FINAL_FIELD

public static final MessageDescription LOOP_ASSIGN_FINAL_FIELD

ASSIGNMENT_NOTLVALUE

public static final MessageDescription ASSIGNMENT_NOTLVALUE

ASSIGNMENT_BADTYPE

public static final MessageDescription ASSIGNMENT_BADTYPE

CLAZZ_RENAME

public static final MessageDescription CLAZZ_RENAME

VAR_UNKNOWN

public static final MessageDescription VAR_UNKNOWN

VAR_RENAME

public static final MessageDescription VAR_RENAME

REASSIGNMENT_FINAL_VARIABLE

public static final MessageDescription REASSIGNMENT_FINAL_VARIABLE

UNINITIALIZED_VARIABLE

public static final MessageDescription UNINITIALIZED_VARIABLE

LOOP_ASSIGN_FINAL_VARIABLE

public static final MessageDescription LOOP_ASSIGN_FINAL_VARIABLE

VAR_INIT_BADTYPE

public static final MessageDescription VAR_INIT_BADTYPE

VAR_INIT_BADTYPE2

public static final MessageDescription VAR_INIT_BADTYPE2

IF_COND_NOTBOOLEAN

public static final MessageDescription IF_COND_NOTBOOLEAN

FOR_COND_NOTBOOLEAN

public static final MessageDescription FOR_COND_NOTBOOLEAN

DO_COND_NOTBOOLEAN

public static final MessageDescription DO_COND_NOTBOOLEAN

WHILE_COND_NOTBOOLEAN

public static final MessageDescription WHILE_COND_NOTBOOLEAN

LABEL_ALREADY_EXISTS

public static final MessageDescription LABEL_ALREADY_EXISTS

LABEL_UNKNOWN

public static final MessageDescription LABEL_UNKNOWN

SWITCH_DEFAULT_DOUBLE

public static final MessageDescription SWITCH_DEFAULT_DOUBLE

SWITCH_LABEL_EXIST

public static final MessageDescription SWITCH_LABEL_EXIST

SWITCH_LABEL_OVERFLOW

public static final MessageDescription SWITCH_LABEL_OVERFLOW

SWITCH_LABEL_EXPR_NOTINT

public static final MessageDescription SWITCH_LABEL_EXPR_NOTINT

SWITCH_LABEL_EXPR_NOTCONST

public static final MessageDescription SWITCH_LABEL_EXPR_NOTCONST

SWITCH_BADEXPR

public static final MessageDescription SWITCH_BADEXPR

SYNCHRONIZED_NOTREFERENCE

public static final MessageDescription SYNCHRONIZED_NOTREFERENCE

STATEMENT_UNREACHABLE

public static final MessageDescription STATEMENT_UNREACHABLE

CATCH_UNREACHABLE_1

public static final MessageDescription CATCH_UNREACHABLE_1

CATCH_UNREACHABLE_2

public static final MessageDescription CATCH_UNREACHABLE_2

CATCH_UNREACHABLE_3

public static final MessageDescription CATCH_UNREACHABLE_3

INVALID_EXPRESSION_STATEMENT

public static final MessageDescription INVALID_EXPRESSION_STATEMENT

TYPE_UNKNOWN

public static final MessageDescription TYPE_UNKNOWN

CLASSFILE_TYPE_UNKNOWN

public static final MessageDescription CLASSFILE_TYPE_UNKNOWN

JAVAFILE_TYPE_UNKNOWN

public static final MessageDescription JAVAFILE_TYPE_UNKNOWN

TYPE_OR_GF_UNKNOWN

public static final MessageDescription TYPE_OR_GF_UNKNOWN

CANNOT_BREAK

public static final MessageDescription CANNOT_BREAK

CANNOT_CONTINUE

public static final MessageDescription CANNOT_CONTINUE

CONTINUE_NOTLOOP

public static final MessageDescription CONTINUE_NOTLOOP

METHOD_NOT_FOUND

public static final MessageDescription METHOD_NOT_FOUND

METHOD_REDEFINE

public static final MessageDescription METHOD_REDEFINE

METHOD_FLAGS_IN_INTERFACE

public static final MessageDescription METHOD_FLAGS_IN_INTERFACE

METHOD_FLAGS

public static final MessageDescription METHOD_FLAGS

METHOD_AMBIG

public static final MessageDescription METHOD_AMBIG

METHOD_OVERRIDE_FINAL

public static final MessageDescription METHOD_OVERRIDE_FINAL

METHOD_OVERRIDE_STATIC

public static final MessageDescription METHOD_OVERRIDE_STATIC

INVALID_MODIFIER_COMBINATION

public static final MessageDescription INVALID_MODIFIER_COMBINATION

METHOD_MODIFIER_COMBINATION

public static final MessageDescription METHOD_MODIFIER_COMBINATION

INVALID_LOCAL_MODIFIER

public static final MessageDescription INVALID_LOCAL_MODIFIER

METHOD_NATIVE_STRICT

public static final MessageDescription METHOD_NATIVE_STRICT

METHOD_HIDE_NON_STATIC

public static final MessageDescription METHOD_HIDE_NON_STATIC

BAD_METHOD_NAME

public static final MessageDescription BAD_METHOD_NAME

FIELD_AS_METHOD

public static final MessageDescription FIELD_AS_METHOD

TYPE_AS_METHOD

public static final MessageDescription TYPE_AS_METHOD

METHOD_ABSTRACT_CALL

public static final MessageDescription METHOD_ABSTRACT_CALL

METHOD_UNCAUGHT_EXCEPTION

public static final MessageDescription METHOD_UNCAUGHT_EXCEPTION

METHOD_RETURN_DIFFERENT

public static final MessageDescription METHOD_RETURN_DIFFERENT

METHOD_THROWS_DIFFERENT

public static final MessageDescription METHOD_THROWS_DIFFERENT

METHOD_ACCESS_DIFFERENT

public static final MessageDescription METHOD_ACCESS_DIFFERENT

METHOD_NOACCESS

public static final MessageDescription METHOD_NOACCESS

METHOD_BADPREFIX

public static final MessageDescription METHOD_BADPREFIX

METHOD_BODY_IN_INTERFACE

public static final MessageDescription METHOD_BODY_IN_INTERFACE

METHOD_BODY_NATIVE_ABSTRACT

public static final MessageDescription METHOD_BODY_NATIVE_ABSTRACT

METHOD_NOBODY_NOABSTRACT

public static final MessageDescription METHOD_NOBODY_NOABSTRACT

METHOD_ABSTRACT_CLASSNOT

public static final MessageDescription METHOD_ABSTRACT_CLASSNOT

METHOD_NEED_RETURN

public static final MessageDescription METHOD_NEED_RETURN

CONSTRUCTOR_FLAGS

public static final MessageDescription CONSTRUCTOR_FLAGS

CONSTRUCTOR_NOBODY

public static final MessageDescription CONSTRUCTOR_NOBODY

CONSTRUCTOR_BAD_NAME

public static final MessageDescription CONSTRUCTOR_BAD_NAME

CONSTRUCTOR_EXPLICIT_CALL

public static final MessageDescription CONSTRUCTOR_EXPLICIT_CALL

CONSTRUCTOR_ILLEGAL_EXPLICIT

public static final MessageDescription CONSTRUCTOR_ILLEGAL_EXPLICIT

CONSTRUCTOR_QUALIFIED_EXPLICIT

public static final MessageDescription CONSTRUCTOR_QUALIFIED_EXPLICIT

CONSTRUCTOR_BAD_QUALIFIER

public static final MessageDescription CONSTRUCTOR_BAD_QUALIFIER

CONSTRUCTOR_NOT_FOUND

public static final MessageDescription CONSTRUCTOR_NOT_FOUND

INITIALIZER_RETURN

public static final MessageDescription INITIALIZER_RETURN

STATIC_INITIALIZER_THROWABLE

public static final MessageDescription STATIC_INITIALIZER_THROWABLE

TEMP_RESEND_PARM_MUST_BE_FINAL

public static final MessageDescription TEMP_RESEND_PARM_MUST_BE_FINAL

TEMP_RESEND_PARM_MUST_BE_NAME

public static final MessageDescription TEMP_RESEND_PARM_MUST_BE_NAME

RESEND_PARM_MUST_BE_FINAL

public static final MessageDescription RESEND_PARM_MUST_BE_FINAL

RESEND_PARM_MUST_BE_NAME

public static final MessageDescription RESEND_PARM_MUST_BE_NAME

STATIC_RESEND_HAS_RECEIVER

public static final MessageDescription STATIC_RESEND_HAS_RECEIVER

BAD_RESEND_RECEIVER

public static final MessageDescription BAD_RESEND_RECEIVER

RESEND_FROM_TOP

public static final MessageDescription RESEND_FROM_TOP

RESEND_FROM_TOP_STATIC

public static final MessageDescription RESEND_FROM_TOP_STATIC

AMBIGUOUS_RESEND

public static final MessageDescription AMBIGUOUS_RESEND

RMJ_AMBIGUOUS_SUPER

public static final MessageDescription RMJ_AMBIGUOUS_SUPER

RMJ_SUPER_SKIPS_METHOD

public static final MessageDescription RMJ_SUPER_SKIPS_METHOD

RMJ_SUPER_SKIPS_METHODS

public static final MessageDescription RMJ_SUPER_SKIPS_METHODS

RESEND_TO_DIFFERENT_GF

public static final MessageDescription RESEND_TO_DIFFERENT_GF

TYPE_AMBIG

public static final MessageDescription TYPE_AMBIG

TYPE_AMBIG2

public static final MessageDescription TYPE_AMBIG2

SUPER_METHOD_ABSTRACT

public static final MessageDescription SUPER_METHOD_ABSTRACT

ILLEGAL_EXTERNAL_SUPER

public static final MessageDescription ILLEGAL_EXTERNAL_SUPER

METHOD_STATIC_BAD

public static final MessageDescription METHOD_STATIC_BAD

CONSTRUCTOR_NOACCESS

public static final MessageDescription CONSTRUCTOR_NOACCESS

TRINARY_BADCOND

public static final MessageDescription TRINARY_BADCOND

TRINARY_INCOMP

public static final MessageDescription TRINARY_INCOMP

NEW_ABSTRACT

public static final MessageDescription NEW_ABSTRACT

NEW_INTERFACE

public static final MessageDescription NEW_INTERFACE

POSTFIX_BADTYPE

public static final MessageDescription POSTFIX_BADTYPE

POSTFIX_NOTLVALUE

public static final MessageDescription POSTFIX_NOTLVALUE

POSTFIX_NOTINITIALIZED

public static final MessageDescription POSTFIX_NOTINITIALIZED

PREFIX_BADTYPE

public static final MessageDescription PREFIX_BADTYPE

PREFIX_NOTLVALUE

public static final MessageDescription PREFIX_NOTLVALUE

PREFIX_NOTINITIALIZED

public static final MessageDescription PREFIX_NOTINITIALIZED

UNARY_BADTYPE_PM

public static final MessageDescription UNARY_BADTYPE_PM

UNARY_BADTYPE_BNOT

public static final MessageDescription UNARY_BADTYPE_BNOT

UNARY_BADTYPE_LNOT

public static final MessageDescription UNARY_BADTYPE_LNOT

EQUALITY_BADTYPE

public static final MessageDescription EQUALITY_BADTYPE

RELATIONAL_TYPE

public static final MessageDescription RELATIONAL_TYPE

ADD_BADTYPE

public static final MessageDescription ADD_BADTYPE

MULT_BADTYPE

public static final MessageDescription MULT_BADTYPE

DIVIDE_BADTYPE

public static final MessageDescription DIVIDE_BADTYPE

MINUS_BADTYPE

public static final MessageDescription MINUS_BADTYPE

MODULO_BADTYPE

public static final MessageDescription MODULO_BADTYPE

BITWISE_BADTYPE

public static final MessageDescription BITWISE_BADTYPE

SHIFT_BADTYPE

public static final MessageDescription SHIFT_BADTYPE

DIVIDE_BY_ZERO

public static final MessageDescription DIVIDE_BY_ZERO

BOOLEAN_EXPECTED

public static final MessageDescription BOOLEAN_EXPECTED

AND_BADTYPE

public static final MessageDescription AND_BADTYPE

OR_BADTYPE

public static final MessageDescription OR_BADTYPE

CAST_CANT

public static final MessageDescription CAST_CANT

RETURN_IN_INIT

public static final MessageDescription RETURN_IN_INIT

RETURN_BADTYPE

public static final MessageDescription RETURN_BADTYPE

RETURN_EMPTY_NONVOID

public static final MessageDescription RETURN_EMPTY_NONVOID

RETURN_NONEMPTY_VOID

public static final MessageDescription RETURN_NONEMPTY_VOID

INSTANCEOF_BADTYPE

public static final MessageDescription INSTANCEOF_BADTYPE

ARRAY_NEW_NOSIZE

public static final MessageDescription ARRAY_NEW_NOSIZE

ARRAY_EXPRESSION_INT

public static final MessageDescription ARRAY_EXPRESSION_INT

ARRAY_PREFIX

public static final MessageDescription ARRAY_PREFIX

ARRAY_BADTYPE

public static final MessageDescription ARRAY_BADTYPE

ARRAY_INIT_BADARRAY

public static final MessageDescription ARRAY_INIT_BADARRAY

ARRAY_INIT_BADTYPE

public static final MessageDescription ARRAY_INIT_BADTYPE

ARRAY_LENGTH_BADTYPE

public static final MessageDescription ARRAY_LENGTH_BADTYPE

THIS_BADACCESS

public static final MessageDescription THIS_BADACCESS

THIS_INVALID_OUTER

public static final MessageDescription THIS_INVALID_OUTER

THIS_UNKNOWN_OUTER

public static final MessageDescription THIS_UNKNOWN_OUTER

BAD_THIS_STATIC

public static final MessageDescription BAD_THIS_STATIC

TRY_UNREACHABLE

public static final MessageDescription TRY_UNREACHABLE

TRY_NOCATCH

public static final MessageDescription TRY_NOCATCH

TRY_CATCH_NOTHROW

public static final MessageDescription TRY_CATCH_NOTHROW

THROW_BADTYPE

public static final MessageDescription THROW_BADTYPE

THROW_TYPENAME

public static final MessageDescription THROW_TYPENAME

FIELD_BADACCESS

public static final MessageDescription FIELD_BADACCESS

FIELD_UNKNOWN

public static final MessageDescription FIELD_UNKNOWN

FIELD_PRIVATE

public static final MessageDescription FIELD_PRIVATE

FIELD_NOSTATIC

public static final MessageDescription FIELD_NOSTATIC

FIELD_NOT_DECLARED_YET

public static final MessageDescription FIELD_NOT_DECLARED_YET

LITER_DOUBLE_BAD

public static final MessageDescription LITER_DOUBLE_BAD

LITER_INT_BAD

public static final MessageDescription LITER_INT_BAD

BAD_LOCAL_NOT_FINAL

public static final MessageDescription BAD_LOCAL_NOT_FINAL

SUPER_BADACCESS

public static final MessageDescription SUPER_BADACCESS

BAD_SUPER_STATIC

public static final MessageDescription BAD_SUPER_STATIC

EQUALITY_TYPE

public static final MessageDescription EQUALITY_TYPE

INVALID_OCTAL_CHAR

public static final MessageDescription INVALID_OCTAL_CHAR

INVALID_ESCAPE_SEQUENCE

public static final MessageDescription INVALID_ESCAPE_SEQUENCE

TYPE_NOT_MATCH

public static final MessageDescription TYPE_NOT_MATCH

TYPEVAR_NOT_FOUND

public static final MessageDescription TYPEVAR_NOT_FOUND

TOP_RECEIVER_INVALID

public static final MessageDescription TOP_RECEIVER_INVALID

TV_NOT_AN_INTERFACE

public static final MessageDescription TV_NOT_AN_INTERFACE

METHOD_HAS_DUPLICATE_SIG

public static final MessageDescription METHOD_HAS_DUPLICATE_SIG

METHOD_TV_INCONSISTENT

public static final MessageDescription METHOD_TV_INCONSISTENT

GENERIC_OVER_RULE2

public static final MessageDescription GENERIC_OVER_RULE2

GENERIC_OVER_RULE3

public static final MessageDescription GENERIC_OVER_RULE3

GENERIC_OVER_RULE4

public static final MessageDescription GENERIC_OVER_RULE4

METHOD_RETURN_NOT_SUBTYPE

public static final MessageDescription METHOD_RETURN_NOT_SUBTYPE

UNSUPPORTED_GENERIC_TYPE

public static final MessageDescription UNSUPPORTED_GENERIC_TYPE

NEW_TYPE_VARIABLE

public static final MessageDescription NEW_TYPE_VARIABLE

NON_REIFIABLE_INSTANCEOF

public static final MessageDescription NON_REIFIABLE_INSTANCEOF

NON_REIFIABLE_ARRAY_INSTANTIATION

public static final MessageDescription NON_REIFIABLE_ARRAY_INSTANTIATION

WILDCARD_IN_OBJECT_INSTANTIATION

public static final MessageDescription WILDCARD_IN_OBJECT_INSTANTIATION

WILDCARD_IN_SUPER_TYPE

public static final MessageDescription WILDCARD_IN_SUPER_TYPE

LESS_PARAMETER

public static final MessageDescription LESS_PARAMETER

TOO_MANY_PARAMETER

public static final MessageDescription TOO_MANY_PARAMETER

TYPE_VARIABLE_STATIC_FIELD

public static final MessageDescription TYPE_VARIABLE_STATIC_FIELD

UNUSED_TYPE_ARGUMENT

public static final MessageDescription UNUSED_TYPE_ARGUMENT

INTEGRAL_ARITHMETIC_OVERFLOW

public static final MessageDescription INTEGRAL_ARITHMETIC_OVERFLOW

SAFE_MATH_BAD_OP

public static final MessageDescription SAFE_MATH_BAD_OP

RMJ_ABSTRACT_TOP_LEVEL_METHOD

public static final MessageDescription RMJ_ABSTRACT_TOP_LEVEL_METHOD

RMJ_ABSTRACT_METHOD_IN_CONCRETE_CLASS

public static final MessageDescription RMJ_ABSTRACT_METHOD_IN_CONCRETE_CLASS

EXT_METHOD_OVERRIDES_NON_LOCAL

public static final MessageDescription EXT_METHOD_OVERRIDES_NON_LOCAL

RMJ_ENHANCES_INTERFACE

public static final MessageDescription RMJ_ENHANCES_INTERFACE

INTERFACE_SPECIALIZER

public static final MessageDescription INTERFACE_SPECIALIZER

RMJ_MM_AMBIG

public static final MessageDescription RMJ_MM_AMBIG

RMJ_METHOD_AMBIG

public static final MessageDescription RMJ_METHOD_AMBIG

OVERLOAD_COULD_BE_OVERRIDE

public static final MessageDescription OVERLOAD_COULD_BE_OVERRIDE

ASSERT_IS_KEYWORD

public static final MessageDescription ASSERT_IS_KEYWORD

SUPER_SKIPS_METHOD

public static final MessageDescription SUPER_SKIPS_METHOD

SUPER_SKIPS_METHODS

public static final MessageDescription SUPER_SKIPS_METHODS

EXTERNAL_SELF_CALL_FROM_INIT

public static final MessageDescription EXTERNAL_SELF_CALL_FROM_INIT

MISPLACED_JAVADOC

public static final MessageDescription MISPLACED_JAVADOC

CLASS_NO_ACCESS

public static final MessageDescription CLASS_NO_ACCESS

INVOKE_NO_ACCESS

public static final MessageDescription INVOKE_NO_ACCESS

OVERRIDE_NO_ACC

public static final MessageDescription OVERRIDE_NO_ACC

FIELD_NO_ACCESS

public static final MessageDescription FIELD_NO_ACCESS

USE_OF_DEPRECATED

public static final MessageDescription USE_OF_DEPRECATED

NOT_ALL_DEPRECATED

public static final MessageDescription NOT_ALL_DEPRECATED

METHOD_NAME_FILENAME

public static final MessageDescription METHOD_NAME_FILENAME

CLASS_NAME_FILENAME

public static final MessageDescription CLASS_NAME_FILENAME

ENCLOSE_IF_ELSE_IN_BLOCK

public static final MessageDescription ENCLOSE_IF_ELSE_IN_BLOCK

ENCLOSE_IF_THEN_IN_BLOCK

public static final MessageDescription ENCLOSE_IF_THEN_IN_BLOCK

ENCLOSE_LOOP_BODY_IN_BLOCK

public static final MessageDescription ENCLOSE_LOOP_BODY_IN_BLOCK

FIELD_RENAME_SUPER

public static final MessageDescription FIELD_RENAME_SUPER

METHOD_UNCHECKED_EXCEPTION

public static final MessageDescription METHOD_UNCHECKED_EXCEPTION

METHOD_UNTHROWN_EXCEPTION

public static final MessageDescription METHOD_UNTHROWN_EXCEPTION

OLD_STYLE_ARRAY_BOUNDS

public static final MessageDescription OLD_STYLE_ARRAY_BOUNDS

REPLACE_PACKAGE_IMPORT

public static final MessageDescription REPLACE_PACKAGE_IMPORT

SELF_ASSIGNMENT

public static final MessageDescription SELF_ASSIGNMENT

STRAY_COMMA

public static final MessageDescription STRAY_COMMA

STRAY_SEMICOLON

public static final MessageDescription STRAY_SEMICOLON

UNNECESSARY_CAST

public static final MessageDescription UNNECESSARY_CAST

UNNECESSARY_INSTANCEOF

public static final MessageDescription UNNECESSARY_INSTANCEOF

UNUSED_CATCH_PARAMETER

public static final MessageDescription UNUSED_CATCH_PARAMETER

UNUSED_CLASS_IMPORT

public static final MessageDescription UNUSED_CLASS_IMPORT

UNUSED_LOCALVAR

public static final MessageDescription UNUSED_LOCALVAR

UNUSED_PACKAGE_IMPORT

public static final MessageDescription UNUSED_PACKAGE_IMPORT

UNUSED_PARAMETER

public static final MessageDescription UNUSED_PARAMETER

UNUSED_PRIVATE_FIELD

public static final MessageDescription UNUSED_PRIVATE_FIELD

UNUSED_PRIVATE_METHOD

public static final MessageDescription UNUSED_PRIVATE_METHOD

UNUSED_LABEL

public static final MessageDescription UNUSED_LABEL

IMPORT_JAVA_LANG

public static final MessageDescription IMPORT_JAVA_LANG

PACKAGE_IS_MISSING

public static final MessageDescription PACKAGE_IS_MISSING

IMPORT_CURRENT_PACKAGE

public static final MessageDescription IMPORT_CURRENT_PACKAGE

SWITCH_NO_DEFAULT

public static final MessageDescription SWITCH_NO_DEFAULT

EMPTY_CATCH_BLOCK

public static final MessageDescription EMPTY_CATCH_BLOCK

STRING_COMPARISON

public static final MessageDescription STRING_COMPARISON

ASSIGNMENT_IN_CONDITION

public static final MessageDescription ASSIGNMENT_IN_CONDITION

CASE_FALL_THROUGH

public static final MessageDescription CASE_FALL_THROUGH

PACKAGE_PROTECTED_ATTRIBUTE

public static final MessageDescription PACKAGE_PROTECTED_ATTRIBUTE

DUPLICATE_MODIFIER

public static final MessageDescription DUPLICATE_MODIFIER

MODIFIER_ORDER

public static final MessageDescription MODIFIER_ORDER

INSTANCE_PREFIXES_STATIC_METHOD

public static final MessageDescription INSTANCE_PREFIXES_STATIC_METHOD

INSTANCE_PREFIXES_STATIC_FIELD

public static final MessageDescription INSTANCE_PREFIXES_STATIC_FIELD

COMPARING_BOOLEAN_CONSTANT

public static final MessageDescription COMPARING_BOOLEAN_CONSTANT

ASSIGNS_LOOP_VARIABLE

public static final MessageDescription ASSIGNS_LOOP_VARIABLE

UNINITIALIZED_FIELD

public static final MessageDescription UNINITIALIZED_FIELD

UNUSED_RETURN_VALUE_FROM_FUNCTION_CALL

public static final MessageDescription UNUSED_RETURN_VALUE_FROM_FUNCTION_CALL

FINAL_FIELD_IMPLICITLY_STATIC

public static final MessageDescription FINAL_FIELD_IMPLICITLY_STATIC

INTERFACE_IMPLEMENTED_BY_SUPERCLASS

public static final MessageDescription INTERFACE_IMPLEMENTED_BY_SUPERCLASS

NARROWING_COMPOUND_ASSIGNMENT

public static final MessageDescription NARROWING_COMPOUND_ASSIGNMENT

ARG_NOT_EXIST

public static final MessageDescription ARG_NOT_EXIST

ARG_NOT_READABLE_FILE

public static final MessageDescription ARG_NOT_READABLE_FILE

UNCHECKED_CONVERSION

public static final MessageDescription UNCHECKED_CONVERSION

UNCHECKED_METHOD_CALL

public static final MessageDescription UNCHECKED_METHOD_CALL

UNCHECKED_CONSTRUCTOR_CALL

public static final MessageDescription UNCHECKED_CONSTRUCTOR_CALL

UNCHECKED_FIELD_ASSIGNMENT

public static final MessageDescription UNCHECKED_FIELD_ASSIGNMENT

UNCHECKED_CAST

public static final MessageDescription UNCHECKED_CAST

UNCHECKED_WARNINGS

public static final MessageDescription UNCHECKED_WARNINGS

PREPROCESSED

public static final MessageDescription PREPROCESSED

INITIALIZERS_CHECKED

public static final MessageDescription INITIALIZERS_CHECKED

SPECIALIZERS_RESOLVED

public static final MessageDescription SPECIALIZERS_RESOLVED

TOP_METHODS_RESOLVED

public static final MessageDescription TOP_METHODS_RESOLVED

METHOD_NOT_IMPLEMENTED

public static final MessageDescription METHOD_NOT_IMPLEMENTED

FILE_PREPROCESSED

public static final MessageDescription FILE_PREPROCESSED

FILE_INTERFACE_CHECKED

public static final MessageDescription FILE_INTERFACE_CHECKED

FILE_INITIALIZERS_CHECKED

public static final MessageDescription FILE_INITIALIZERS_CHECKED

FILE_SPECIALIZERS_RESOLVED

public static final MessageDescription FILE_SPECIALIZERS_RESOLVED

FILE_TOP_METHODS_RESOLVED

public static final MessageDescription FILE_TOP_METHODS_RESOLVED

FILE_TRANSLATING_COMPLETED

public static final MessageDescription FILE_TRANSLATING_COMPLETED

COMPILATION_TIME

public static final MessageDescription COMPILATION_TIME

PARSING_TIME

public static final MessageDescription PARSING_TIME

TYPECHECK_TIME

public static final MessageDescription TYPECHECK_TIME

PRINT_TIME

public static final MessageDescription PRINT_TIME

TRANSLATE_MJ_TIME

public static final MessageDescription TRANSLATE_MJ_TIME

STARTING

public static final MessageDescription STARTING

RUNTIME_EXCEPTION

public static final MessageDescription RUNTIME_EXCEPTION

NEED_TO_IMPLEMENT_IsNonNull

public static final MessageDescription NEED_TO_IMPLEMENT_IsNonNull

RETURN_CAN_BE_NULL

public static final MessageDescription RETURN_CAN_BE_NULL

FIELDACCESS_NULL_REF

public static final MessageDescription FIELDACCESS_NULL_REF

METHODCALL_NULL_REF

public static final MessageDescription METHODCALL_NULL_REF

ARRAYACCESS_NULL_REF

public static final MessageDescription ARRAYACCESS_NULL_REF

ASSIGNMENT_OF_NULL

public static final MessageDescription ASSIGNMENT_OF_NULL

METHODPARAM_CANNOT_BE_NULL

public static final MessageDescription METHODPARAM_CANNOT_BE_NULL

METHOD_NULLITYUNCHECKABLE

public static final MessageDescription METHOD_NULLITYUNCHECKABLE

UNINITIALIZED_NONNULL_FIELD

public static final MessageDescription UNINITIALIZED_NONNULL_FIELD

ASSIGNMENT_ARRAY_NULLITY_INVARIANT

public static final MessageDescription ASSIGNMENT_ARRAY_NULLITY_INVARIANT

RETURN_ARRAY_NULLITY_INVARIANT

public static final MessageDescription RETURN_ARRAY_NULLITY_INVARIANT

PARAMETER_ARRAY_NULLITY_INVARIANT

public static final MessageDescription PARAMETER_ARRAY_NULLITY_INVARIANT

TRINARY_ARRAYNULLITY_NEQ

public static final MessageDescription TRINARY_ARRAYNULLITY_NEQ
Constructor Detail

MjcMessages

public MjcMessages()

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.