wyil.util

Class ErrorMessages

java.lang.Object

wyil.util.ErrorMessages

public class ErrorMessages
extends Object

Contains global constants mapping syntax errors to their error messages. The purpose of this class is bring all syntax error messages into one place, such that:

1. It's easy to change error messages, and be sure the changes are applied universally.
2. It's easy to reflect on the set of all error messages, and perhaps find ways to improve them.

In short, error message reporting is done poorly by modern compilers and it would be nice to do a better job!

Author:

David J. Pearce

Field Summary

Fields

Modifier and Type	Field and Description
static wyil.util.ErrorMessages.MsgWithNoParams	ALLOCATION_NOT_PERMITTED
static wyil.util.ErrorMessages.MsgWithTypeParams	AMBIGUOUS_COERCION
static wyil.util.ErrorMessages.MsgWithNoParams	BRANCH_ALWAYS_TAKEN
static wyil.util.ErrorMessages.MsgWithNoParams	BREAK_OUTSIDE_SWITCH_OR_LOOP
static wyil.util.ErrorMessages.MsgWithNoParams	CONTINUE_OUTSIDE_LOOP
static wyil.util.ErrorMessages.MsgWithNoParams	CYCLIC_CONSTANT_DECLARATION
static wyil.util.ErrorMessages.MsgWithNoParams	DEAD_CODE
static wyil.util.ErrorMessages.MsgWithNoParams	DUPLICATE_CASE_LABEL
static wyil.util.ErrorMessages.MsgWithNoParams	DUPLICATE_DEFAULT_LABEL
static wyil.util.ErrorMessages.MsgWithTypeParam	FUNCTION_OR_METHOD_TYPE_REQUIRED
static wyil.util.ErrorMessages.MsgWithTypeParams	INCOMPARABLE_OPERANDS
static wyil.util.ErrorMessages.MsgWithNoParams	INVALID_ARRAY_EXPRESSION
static wyil.util.ErrorMessages.MsgWithNoParams	INVALID_BINARY_EXPRESSION
static wyil.util.ErrorMessages.MsgWithNoParams	INVALID_BOOLEAN_EXPRESSION
static wyil.util.ErrorMessages.MsgWithNoParams	INVALID_CONSTANT_EXPRESSION
static wyil.util.ErrorMessages.MsgWithNoParams	INVALID_FILE_ACCESS
static wyil.util.ErrorMessages.MsgWithNoParams	INVALID_LVAL_EXPRESSION
static wyil.util.ErrorMessages.MsgWithNoParams	INVALID_NUMERIC_EXPRESSION
static wyil.util.ErrorMessages.MsgWithNoParams	INVALID_PACKAGE_ACCESS
static wyil.util.ErrorMessages.MsgWithNoParams	INVALID_TUPLE_LVAL
static wyil.util.ErrorMessages.MsgWithNoParams	INVALID_UNARY_EXPRESSION
static wyil.util.ErrorMessages.MsgWithNoParams	METHODCALL_NOT_PERMITTED
static wyil.util.ErrorMessages.MsgWithNoParams	MISSING_RETURN_VALUE
static wyil.util.ErrorMessages.MsgWithStringParam	RECORD_MISSING_FIELD
static wyil.util.ErrorMessages.MsgWithTypeParam	RECORD_TYPE_REQUIRED
static wyil.util.ErrorMessages.MsgWithNoParams	REFERENCE_ACCESS_NOT_PERMITTED
static wyil.util.ErrorMessages.MsgWithNoParams	REFERENCE_NOT_PERMITTED
static wyil.util.ErrorMessages.MsgWithTypeParam	REFERENCE_TYPE_REQUIRED
static wyil.util.ErrorMessages.MsgWithStringParam	RESOLUTION_ERROR
static wyil.util.ErrorMessages.MsgWithNoParams	RETURN_FROM_VOID
static wyil.util.ErrorMessages.MsgWithTypeParams	SUBTYPE_ERROR
static wyil.util.ErrorMessages.MsgWithNoParams	UNKNOWN_FUNCTION_OR_METHOD
static wyil.util.ErrorMessages.MsgWithNoParams	UNKNOWN_VARIABLE
static wyil.util.ErrorMessages.MsgWithNoParams	UNREACHABLE_CODE
static wyil.util.ErrorMessages.MsgWithStringParam	VARIABLE_ALREADY_DEFINED
static wyil.util.ErrorMessages.MsgWithNoParams	VARIABLE_POSSIBLY_UNITIALISED

Constructor Summary

Constructors

Constructor and Description
ErrorMessages()

Method Summary

Modifier and Type	Method and Description
static String	errorMessage(wyil.util.ErrorMessages.MsgWithNoParams msg) Return the error message for an error with no parameters.
static String	errorMessage(wyil.util.ErrorMessages.MsgWithStringParam msg, String param) Return the error message for an error with a single string parameter.
static String	errorMessage(wyil.util.ErrorMessages.MsgWithTypeParams msg, Type t1, Type t2) Return the error message for an error with two type parameters.
static String	errorMessage(wyil.util.ErrorMessages.MsgWithTypeParam msg, Type t1) Return the error message for an error with a single type parameter.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

CYCLIC_CONSTANT_DECLARATION

public static final wyil.util.ErrorMessages.MsgWithNoParams CYCLIC_CONSTANT_DECLARATION

INVALID_CONSTANT_EXPRESSION

public static final wyil.util.ErrorMessages.MsgWithNoParams INVALID_CONSTANT_EXPRESSION

INVALID_BOOLEAN_EXPRESSION

public static final wyil.util.ErrorMessages.MsgWithNoParams INVALID_BOOLEAN_EXPRESSION

INVALID_NUMERIC_EXPRESSION

public static final wyil.util.ErrorMessages.MsgWithNoParams INVALID_NUMERIC_EXPRESSION

INVALID_UNARY_EXPRESSION

public static final wyil.util.ErrorMessages.MsgWithNoParams INVALID_UNARY_EXPRESSION

INVALID_BINARY_EXPRESSION

public static final wyil.util.ErrorMessages.MsgWithNoParams INVALID_BINARY_EXPRESSION

INVALID_ARRAY_EXPRESSION

public static final wyil.util.ErrorMessages.MsgWithNoParams INVALID_ARRAY_EXPRESSION

INVALID_LVAL_EXPRESSION

public static final wyil.util.ErrorMessages.MsgWithNoParams INVALID_LVAL_EXPRESSION

INVALID_TUPLE_LVAL

public static final wyil.util.ErrorMessages.MsgWithNoParams INVALID_TUPLE_LVAL

INVALID_FILE_ACCESS

public static final wyil.util.ErrorMessages.MsgWithNoParams INVALID_FILE_ACCESS

INVALID_PACKAGE_ACCESS

public static final wyil.util.ErrorMessages.MsgWithNoParams INVALID_PACKAGE_ACCESS

BREAK_OUTSIDE_SWITCH_OR_LOOP

public static final wyil.util.ErrorMessages.MsgWithNoParams BREAK_OUTSIDE_SWITCH_OR_LOOP

CONTINUE_OUTSIDE_LOOP

public static final wyil.util.ErrorMessages.MsgWithNoParams CONTINUE_OUTSIDE_LOOP

RESOLUTION_ERROR

public static final wyil.util.ErrorMessages.MsgWithStringParam RESOLUTION_ERROR

UNKNOWN_VARIABLE

public static final wyil.util.ErrorMessages.MsgWithNoParams UNKNOWN_VARIABLE

UNKNOWN_FUNCTION_OR_METHOD

public static final wyil.util.ErrorMessages.MsgWithNoParams UNKNOWN_FUNCTION_OR_METHOD

VARIABLE_POSSIBLY_UNITIALISED

public static final wyil.util.ErrorMessages.MsgWithNoParams VARIABLE_POSSIBLY_UNITIALISED

VARIABLE_ALREADY_DEFINED

public static final wyil.util.ErrorMessages.MsgWithStringParam VARIABLE_ALREADY_DEFINED

DUPLICATE_DEFAULT_LABEL

public static final wyil.util.ErrorMessages.MsgWithNoParams DUPLICATE_DEFAULT_LABEL

DUPLICATE_CASE_LABEL

public static final wyil.util.ErrorMessages.MsgWithNoParams DUPLICATE_CASE_LABEL

DEAD_CODE

public static final wyil.util.ErrorMessages.MsgWithNoParams DEAD_CODE

UNREACHABLE_CODE

public static final wyil.util.ErrorMessages.MsgWithNoParams UNREACHABLE_CODE

ALLOCATION_NOT_PERMITTED

public static final wyil.util.ErrorMessages.MsgWithNoParams ALLOCATION_NOT_PERMITTED

REFERENCE_NOT_PERMITTED

public static final wyil.util.ErrorMessages.MsgWithNoParams REFERENCE_NOT_PERMITTED

METHODCALL_NOT_PERMITTED

public static final wyil.util.ErrorMessages.MsgWithNoParams METHODCALL_NOT_PERMITTED

REFERENCE_ACCESS_NOT_PERMITTED

public static final wyil.util.ErrorMessages.MsgWithNoParams REFERENCE_ACCESS_NOT_PERMITTED

SUBTYPE_ERROR

public static final wyil.util.ErrorMessages.MsgWithTypeParams SUBTYPE_ERROR

INCOMPARABLE_OPERANDS

public static final wyil.util.ErrorMessages.MsgWithTypeParams INCOMPARABLE_OPERANDS

RECORD_TYPE_REQUIRED

public static final wyil.util.ErrorMessages.MsgWithTypeParam RECORD_TYPE_REQUIRED

REFERENCE_TYPE_REQUIRED

public static final wyil.util.ErrorMessages.MsgWithTypeParam REFERENCE_TYPE_REQUIRED

FUNCTION_OR_METHOD_TYPE_REQUIRED

public static final wyil.util.ErrorMessages.MsgWithTypeParam FUNCTION_OR_METHOD_TYPE_REQUIRED

RECORD_MISSING_FIELD

public static final wyil.util.ErrorMessages.MsgWithStringParam RECORD_MISSING_FIELD

RETURN_FROM_VOID

public static final wyil.util.ErrorMessages.MsgWithNoParams RETURN_FROM_VOID

MISSING_RETURN_VALUE

public static final wyil.util.ErrorMessages.MsgWithNoParams MISSING_RETURN_VALUE

BRANCH_ALWAYS_TAKEN

public static final wyil.util.ErrorMessages.MsgWithNoParams BRANCH_ALWAYS_TAKEN

AMBIGUOUS_COERCION

public static final wyil.util.ErrorMessages.MsgWithTypeParams AMBIGUOUS_COERCION

Constructor Detail

ErrorMessages

public ErrorMessages()

Method Detail

errorMessage

public static String errorMessage(wyil.util.ErrorMessages.MsgWithNoParams msg)

Return the error message for an error with no parameters.

Parameters:

kind -

data -

Returns:

errorMessage

public static String errorMessage(wyil.util.ErrorMessages.MsgWithStringParam msg,
                                  String param)

Return the error message for an error with a single string parameter.

Parameters:

kind -

data -

Returns:

errorMessage

public static String errorMessage(wyil.util.ErrorMessages.MsgWithTypeParam msg,
                                  Type t1)

Return the error message for an error with a single type parameter.

Parameters:

kind -

data -

Returns:

errorMessage

public static String errorMessage(wyil.util.ErrorMessages.MsgWithTypeParams msg,
                                  Type t1,
                                  Type t2)

Return the error message for an error with two type parameters.

Parameters:

kind -

data -

Returns: