autumn.lang.compiler.errors

Enum ErrorCode

java.lang.Object

java.lang.Enum<ErrorCode>

autumn.lang.compiler.errors.ErrorCode

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<ErrorCode>

public enum ErrorCode
extends java.lang.Enum<ErrorCode>

An instance of this enum identifies the type of a compile-time error.

Note: The names of these constants are intended to infer their meaning.

Warning: Constants may herein be added, deleted, or renamed in the future.

Enum Constant Summary

Enum Constants

Enum Constant and Description
ASSIGNMENT_TO_READONLY Meaning: A value cannot be assigned to a readonly variable or field.
BAD_ARGUMENT_COUNT Meaning: An incorrect number of arguments was given to in an invocation.
BAD_LITERAL Meaning:
BREAK_OUTSIDE_OF_LOOP Meaning: A break-statement is located outside of a loop construct.
CANNOT_OVERRIDE_FINAL_METHOD Meaning: A method is attempting to override another method that is declared 'final'.
CIRCULAR_INHERITANCE Meaning: A type directly or indirectly inherits from itself.
CONTINUE_OUTSIDE_OF_LOOP Meaning: A break-statement is located outside of a loop construct.
COVARIANCE_VIOLATION Meaning: An override method's return-type is not a subtype of the the return-type of the method that is overridden.
DUPLICATE_ANNOTATION Meaning: An annotation can only appear once in a single annotation-list.
DUPLICATE_CONSTANT Meaning: An enum-definition contains multiple enum-constants with the same name.
DUPLICATE_ELEMENT Meaning: A record can only declare an element once per definition.
DUPLICATE_EXCEPTION_HANDLER Meaning: The exception handler catches an the exact type as another exception handler.
DUPLICATE_FUNCTION Meaning: The function was already declared elsewhere.
DUPLICATE_LABEL Meaning: The label was already previously declared elsewhere.
DUPLICATE_METHOD Meaning: The method was already declared elsewhere.
DUPLICATE_MODULE_DIRECTIVE Meaning: A module contains more than one module-directive.
DUPLICATE_PROPERTY Meaning: The property was already declared elsewhere.
DUPLICATE_SUPERTYPE Meaning: A superinterface was specified more than once.
DUPLICATE_TYPE Meaning: The type was already declared elsewhere.
DUPLICATE_VARIABLE Meaning: The variable was already previously declared elsewhere.
EMPTY_PROGN Meaning: A progn-expression cannot be empty.
EXPECTED_ANNOTATION Meaning: An annotation-type was expected.
EXPECTED_CALLABLE Meaning: An invokable object was expected (i.e.
EXPECTED_CLASS_TYPE Meaning: A class-type was expected.
EXPECTED_CONDITION Meaning: A primitive boolean or a java.lang.Boolean was expected.
EXPECTED_DECLARED_TYPE Meaning: A declared-type was expected.
EXPECTED_DEFINED_FUNCTOR_TYPE Meaning: A functor (i.e.
EXPECTED_DESIGN_TYPE Meaning: A design-type was expected.
EXPECTED_ENUM_TYPE Meaning: An enum-type was expected.
EXPECTED_FUNCTOR_TYPE Meaning: A functor-type is required.
EXPECTED_INTEGER Meaning: An integral type was expected.
EXPECTED_INTERFACE_TYPE Meaning: An interface-type was expected.
EXPECTED_ITERABLE Meaning: An iterable (i.e.
EXPECTED_MODULE_TYPE Meaning: A module-type (i.e.
EXPECTED_NON_NULL Meaning: The null-type was found somewhere that it is forbidden to be.
EXPECTED_NON_VOID_EXPRESSION Meaning: The static-type of an expression was void were it is not allowed.
EXPECTED_PRIMITIVE_TYPE Meaning: A primitive-type was expected.
EXPECTED_PROTOTYPE_TYPE Meaning: A design-type (i.e.
EXPECTED_REFERENCE_TYPE Meaning: A reference-type was expected.
EXPECTED_RETURN_TYPE Meaning: A return-type was expected.
EXPECTED_STRING Meaning: A string (i.e.
EXPECTED_THROWABLE Meaning: An exception type was expected (i.e.
EXPECTED_TUPLE Meaning: A tuple (i.e.
EXPECTED_VARIABLE_TYPE Meaning: A variable-type was expected.
EXPECTED_VOID Meaning: The void-type was expected.
FORBIDDEN_CONSTRUCT Meaning: A construct is used in a context that it is forbidden.
FUNCTION_IN_ANONYMOUS_MODULE Meaning: An anonymous module cannot contain any functions.
IMPOSSIBLE_ASSIGNMENT Meaning: The assignment is not possible based on the static-types.
IMPOSSIBLE_CONVERSION Meaning: A input value cannot be converted to an output type due to its type.
INACCESSIBLE_TYPE Meaning: A type does not have adequate access privileges.
INACCURATE_NUMERIC_LITERAL Meaning: A literal value is outside the range of its datatype.
INCOMPATIBLE_DELEGATE Meaning: The signature of a function must be compatible with a given functor-type.
INCOMPATIBLE_OPERANDS Meaning: Given two operands X and Y, either X must be a subtype of Y or vice versa.
INCOMPLETE_DISPATCH_TABLE Meaning: Some overloads of a function cannot be used by a dispatch-expression.
MALFORMED_STRING_LITERAL Meaning: A string-literal contains a malformed escape-sequence.
METHOD_CONFLICTS_WITH_PROPERTY Meaning: The declaration of a method conflicts with the declaration of a property.
MISSING_MODULE_DIRECTIVE Meaning: A module must contain a module-directive.
MUTABLE_VARIABLE_REQUIRED Meaning: A variable must be mutable in a particular circumstance.
NAME_CONFLICT Meaning: The name of one entity conflicts with the name of another entity.
NO_SUCH_ACCESSIBLE_TYPE Meaning: The given type-name does not refer to a type that is accessible.
NO_SUCH_BINARY_OPERATOR Meaning: No accessible overload of the binary operator will accept the operand types.
NO_SUCH_CONSTRUCTOR Meaning: No accessible overload of the constructor will accept the arguments' type(s).
NO_SUCH_FIELD Meaning: No field can be found with the given name, whether accessible or inaccessible.
NO_SUCH_LABEL Meaning: The label was not declared (i.e.
NO_SUCH_METHOD Meaning: No method can be found with the given name, whether accessible or inaccessible.
NO_SUCH_TYPE Meaning: The given type-name does not refer to any known type.
NO_SUCH_UNARY_OPERATOR Meaning: No accessible overload of the unary operator will accept the operand type.
NO_SUCH_VARIABLE Meaning: The variable was not declared (i.e.
NON_VIABLE_INSTANCEOF Meaning: The compiler determined that an instanceof will never result in true.
OVERLOADED_METHOD Meaning: A non-overloaded method is required.
OVERLY_EXPOSED_TYPE Meaning: A type is exposed in the API that should not be, due to its access-level.
REDO_OUTSIDE_OF_LOOP Meaning: A break-statement is located outside of a loop construct.
RETYPED_ELEMENT Meaning: The type of an element cannot be different be redefined in a subtype.
SYNTAX_ERROR Meaning: Parsing failed.
TOO_MANY_STARTS Meaning: A compilation-unit contains more than one function with the @Start annotation applied to them.
TOTAL_ORDERING_REQUIRED Meaning: A tuple must explicitly declare all of its elements, including inherited elements.
UNEQUAL_RETURN_TYPES Meaning: A set of selected method overloads do not share their return-types.
UNKNOWN_ERROR Meaning: Something completely unexpected happened.
UNUSABLE_ANNOTATION Meaning: An annotation that cannot be used by Autumn was encountered.
VALUE_REQUIRED Meaning: A primitive-type or a reference-type was expected.
VARIABLE_OUTSIDE_OF_SCOPE Meaning: A variable was used outside the scope that it was declared in.
WRONG_SIGNATURE_FOR_INFER Meaning: An inferred function must have a signature of: (T, ...) : T, where T is some reference-type.
WRONG_SIGNATURE_FOR_SETUP Meaning: A setup function must have a signature of: () : void
WRONG_SIGNATURE_FOR_START Meaning: A start function must have a signature of: main(String[]) : void
WRONG_SIGNATURE_FOR_TEST Meaning: A test function must have a signature of: (TestCase) : void
WRONG_TYPE Meaning: An expression produces a value of an unexpected static-type.

Method Summary

Methods

Modifier and Type	Method and Description
static ErrorCode	valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static ErrorCode[]	values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum

clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

UNKNOWN_ERROR

public static final ErrorCode UNKNOWN_ERROR

Meaning: Something completely unexpected happened.

SYNTAX_ERROR

public static final ErrorCode SYNTAX_ERROR

Meaning: Parsing failed.

NO_SUCH_UNARY_OPERATOR

public static final ErrorCode NO_SUCH_UNARY_OPERATOR

Meaning: No accessible overload of the unary operator will accept the operand type.

NO_SUCH_BINARY_OPERATOR

public static final ErrorCode NO_SUCH_BINARY_OPERATOR

Meaning: No accessible overload of the binary operator will accept the operand types.

NO_SUCH_CONSTRUCTOR

public static final ErrorCode NO_SUCH_CONSTRUCTOR

Meaning: No accessible overload of the constructor will accept the arguments' type(s).

NO_SUCH_METHOD

public static final ErrorCode NO_SUCH_METHOD

Meaning: No method can be found with the given name, whether accessible or inaccessible.

NO_SUCH_FIELD

public static final ErrorCode NO_SUCH_FIELD

Meaning: No field can be found with the given name, whether accessible or inaccessible.

NO_SUCH_VARIABLE

public static final ErrorCode NO_SUCH_VARIABLE

Meaning: The variable was not declared (i.e. Undeclared Variable).

NO_SUCH_LABEL

public static final ErrorCode NO_SUCH_LABEL

Meaning: The label was not declared (i.e. Undeclared Label).

NO_SUCH_TYPE

public static final ErrorCode NO_SUCH_TYPE

Meaning: The given type-name does not refer to any known type.

NO_SUCH_ACCESSIBLE_TYPE

public static final ErrorCode NO_SUCH_ACCESSIBLE_TYPE

Meaning: The given type-name does not refer to a type that is accessible.

EXPECTED_ANNOTATION

public static final ErrorCode EXPECTED_ANNOTATION

Meaning: An annotation-type was expected.

EXPECTED_THROWABLE

public static final ErrorCode EXPECTED_THROWABLE

Meaning: An exception type was expected (i.e. a subclass of java.lang.Throwable).

EXPECTED_CALLABLE

public static final ErrorCode EXPECTED_CALLABLE

Meaning: An invokable object was expected (i.e. autumn.lang.ICallable).

EXPECTED_INTERFACE_TYPE

public static final ErrorCode EXPECTED_INTERFACE_TYPE

Meaning: An interface-type was expected.

EXPECTED_ENUM_TYPE

public static final ErrorCode EXPECTED_ENUM_TYPE

Meaning: An enum-type was expected.

VALUE_REQUIRED

public static final ErrorCode VALUE_REQUIRED

Meaning: A primitive-type or a reference-type was expected.

EXPECTED_REFERENCE_TYPE

public static final ErrorCode EXPECTED_REFERENCE_TYPE

Meaning: A reference-type was expected.

EXPECTED_CLASS_TYPE

public static final ErrorCode EXPECTED_CLASS_TYPE

Meaning: A class-type was expected.

EXPECTED_PRIMITIVE_TYPE

public static final ErrorCode EXPECTED_PRIMITIVE_TYPE

Meaning: A primitive-type was expected.

EXPECTED_VARIABLE_TYPE

public static final ErrorCode EXPECTED_VARIABLE_TYPE

Meaning: A variable-type was expected.

EXPECTED_RETURN_TYPE

public static final ErrorCode EXPECTED_RETURN_TYPE

Meaning: A return-type was expected.

EXPECTED_DECLARED_TYPE

public static final ErrorCode EXPECTED_DECLARED_TYPE

Meaning: A declared-type was expected.

EXPECTED_DESIGN_TYPE

public static final ErrorCode EXPECTED_DESIGN_TYPE

Meaning: A design-type was expected.

EXPECTED_CONDITION

public static final ErrorCode EXPECTED_CONDITION

Meaning: A primitive boolean or a java.lang.Boolean was expected.

EXPECTED_INTEGER

public static final ErrorCode EXPECTED_INTEGER

Meaning: An integral type was expected.

EXPECTED_VOID

public static final ErrorCode EXPECTED_VOID

Meaning: The void-type was expected.

EXPECTED_STRING

public static final ErrorCode EXPECTED_STRING

Meaning: A string (i.e. java.lang.String) was expected.

EXPECTED_ITERABLE

public static final ErrorCode EXPECTED_ITERABLE

Meaning: An iterable (i.e. java.lang.Iterable) was expected.

EXPECTED_DEFINED_FUNCTOR_TYPE

public static final ErrorCode EXPECTED_DEFINED_FUNCTOR_TYPE

Meaning: A functor (i.e. autumn.lang.Functor) was expected.

EXPECTED_TUPLE

public static final ErrorCode EXPECTED_TUPLE

Meaning: A tuple (i.e. autumn.lang.Tuple) was expected.

EXPECTED_PROTOTYPE_TYPE

public static final ErrorCode EXPECTED_PROTOTYPE_TYPE

Meaning: A design-type (i.e. autumn.lang.Design) was expected. // TODO: right?

EXPECTED_MODULE_TYPE

public static final ErrorCode EXPECTED_MODULE_TYPE

Meaning: A module-type (i.e. autumn.lang.Module) was expected. // TODO: right?

EXPECTED_NON_VOID_EXPRESSION

public static final ErrorCode EXPECTED_NON_VOID_EXPRESSION

Meaning: The static-type of an expression was void were it is not allowed.

EXPECTED_NON_NULL

public static final ErrorCode EXPECTED_NON_NULL

Meaning: The null-type was found somewhere that it is forbidden to be.

MUTABLE_VARIABLE_REQUIRED

public static final ErrorCode MUTABLE_VARIABLE_REQUIRED

Meaning: A variable must be mutable in a particular circumstance.

DUPLICATE_VARIABLE

public static final ErrorCode DUPLICATE_VARIABLE

Meaning: The variable was already previously declared elsewhere.

DUPLICATE_LABEL

public static final ErrorCode DUPLICATE_LABEL

Meaning: The label was already previously declared elsewhere.

DUPLICATE_METHOD

public static final ErrorCode DUPLICATE_METHOD

Meaning: The method was already declared elsewhere.

DUPLICATE_PROPERTY

public static final ErrorCode DUPLICATE_PROPERTY

Meaning: The property was already declared elsewhere.

DUPLICATE_FUNCTION

public static final ErrorCode DUPLICATE_FUNCTION

Meaning: The function was already declared elsewhere.

DUPLICATE_TYPE

public static final ErrorCode DUPLICATE_TYPE

Meaning: The type was already declared elsewhere.

DUPLICATE_EXCEPTION_HANDLER

public static final ErrorCode DUPLICATE_EXCEPTION_HANDLER

Meaning: The exception handler catches an the exact type as another exception handler.

DUPLICATE_SUPERTYPE

public static final ErrorCode DUPLICATE_SUPERTYPE

Meaning: A superinterface was specified more than once.

DUPLICATE_MODULE_DIRECTIVE

public static final ErrorCode DUPLICATE_MODULE_DIRECTIVE

Meaning: A module contains more than one module-directive.

DUPLICATE_CONSTANT

public static final ErrorCode DUPLICATE_CONSTANT

Meaning: An enum-definition contains multiple enum-constants with the same name.

DUPLICATE_ANNOTATION

public static final ErrorCode DUPLICATE_ANNOTATION

Meaning: An annotation can only appear once in a single annotation-list.

FORBIDDEN_CONSTRUCT

public static final ErrorCode FORBIDDEN_CONSTRUCT

Meaning: A construct is used in a context that it is forbidden.

BAD_LITERAL

public static final ErrorCode BAD_LITERAL

Meaning:

IMPOSSIBLE_ASSIGNMENT

public static final ErrorCode IMPOSSIBLE_ASSIGNMENT

Meaning: The assignment is not possible based on the static-types.

CIRCULAR_INHERITANCE

public static final ErrorCode CIRCULAR_INHERITANCE

Meaning: A type directly or indirectly inherits from itself.

COVARIANCE_VIOLATION

public static final ErrorCode COVARIANCE_VIOLATION

Meaning: An override method's return-type is not a subtype of the the return-type of the method that is overridden.

CANNOT_OVERRIDE_FINAL_METHOD

public static final ErrorCode CANNOT_OVERRIDE_FINAL_METHOD

Meaning: A method is attempting to override another method that is declared 'final'.

OVERLY_EXPOSED_TYPE

public static final ErrorCode OVERLY_EXPOSED_TYPE

Meaning: A type is exposed in the API that should not be, due to its access-level.

INACCESSIBLE_TYPE

public static final ErrorCode INACCESSIBLE_TYPE

Meaning: A type does not have adequate access privileges.

WRONG_TYPE

public static final ErrorCode WRONG_TYPE

Meaning: An expression produces a value of an unexpected static-type.

BAD_ARGUMENT_COUNT

public static final ErrorCode BAD_ARGUMENT_COUNT

Meaning: An incorrect number of arguments was given to in an invocation.

BREAK_OUTSIDE_OF_LOOP

public static final ErrorCode BREAK_OUTSIDE_OF_LOOP

Meaning: A break-statement is located outside of a loop construct.

CONTINUE_OUTSIDE_OF_LOOP

public static final ErrorCode CONTINUE_OUTSIDE_OF_LOOP

Meaning: A break-statement is located outside of a loop construct.

REDO_OUTSIDE_OF_LOOP

public static final ErrorCode REDO_OUTSIDE_OF_LOOP

Meaning: A break-statement is located outside of a loop construct.

METHOD_CONFLICTS_WITH_PROPERTY

public static final ErrorCode METHOD_CONFLICTS_WITH_PROPERTY

Meaning: The declaration of a method conflicts with the declaration of a property.

TOO_MANY_STARTS

public static final ErrorCode TOO_MANY_STARTS

Meaning: A compilation-unit contains more than one function with the @Start annotation applied to them.

INCOMPATIBLE_OPERANDS

public static final ErrorCode INCOMPATIBLE_OPERANDS

Meaning: Given two operands X and Y, either X must be a subtype of Y or vice versa.

NON_VIABLE_INSTANCEOF

public static final ErrorCode NON_VIABLE_INSTANCEOF

Meaning: The compiler determined that an instanceof will never result in true.

UNEQUAL_RETURN_TYPES

public static final ErrorCode UNEQUAL_RETURN_TYPES

Meaning: A set of selected method overloads do not share their return-types.

IMPOSSIBLE_CONVERSION

public static final ErrorCode IMPOSSIBLE_CONVERSION

Meaning: A input value cannot be converted to an output type due to its type.

VARIABLE_OUTSIDE_OF_SCOPE

public static final ErrorCode VARIABLE_OUTSIDE_OF_SCOPE

Meaning: A variable was used outside the scope that it was declared in.

MALFORMED_STRING_LITERAL

public static final ErrorCode MALFORMED_STRING_LITERAL

Meaning: A string-literal contains a malformed escape-sequence.

ASSIGNMENT_TO_READONLY

public static final ErrorCode ASSIGNMENT_TO_READONLY

Meaning: A value cannot be assigned to a readonly variable or field.

DUPLICATE_ELEMENT

public static final ErrorCode DUPLICATE_ELEMENT

Meaning: A record can only declare an element once per definition.

UNUSABLE_ANNOTATION

public static final ErrorCode UNUSABLE_ANNOTATION

Meaning: An annotation that cannot be used by Autumn was encountered.

MISSING_MODULE_DIRECTIVE

public static final ErrorCode MISSING_MODULE_DIRECTIVE

Meaning: A module must contain a module-directive.

WRONG_SIGNATURE_FOR_START

public static final ErrorCode WRONG_SIGNATURE_FOR_START

Meaning: A start function must have a signature of: main(String[]) : void

WRONG_SIGNATURE_FOR_SETUP

public static final ErrorCode WRONG_SIGNATURE_FOR_SETUP

Meaning: A setup function must have a signature of: () : void

WRONG_SIGNATURE_FOR_TEST

public static final ErrorCode WRONG_SIGNATURE_FOR_TEST

Meaning: A test function must have a signature of: (TestCase) : void

WRONG_SIGNATURE_FOR_INFER

public static final ErrorCode WRONG_SIGNATURE_FOR_INFER

Meaning: An inferred function must have a signature of: (T, ...) : T, where T is some reference-type.

FUNCTION_IN_ANONYMOUS_MODULE

public static final ErrorCode FUNCTION_IN_ANONYMOUS_MODULE

Meaning: An anonymous module cannot contain any functions.

INACCURATE_NUMERIC_LITERAL

public static final ErrorCode INACCURATE_NUMERIC_LITERAL

Meaning: A literal value is outside the range of its datatype.

EMPTY_PROGN

public static final ErrorCode EMPTY_PROGN

Meaning: A progn-expression cannot be empty.

OVERLOADED_METHOD

public static final ErrorCode OVERLOADED_METHOD

Meaning: A non-overloaded method is required.

INCOMPATIBLE_DELEGATE

public static final ErrorCode INCOMPATIBLE_DELEGATE

Meaning: The signature of a function must be compatible with a given functor-type.

EXPECTED_FUNCTOR_TYPE

public static final ErrorCode EXPECTED_FUNCTOR_TYPE

Meaning: A functor-type is required.

RETYPED_ELEMENT

public static final ErrorCode RETYPED_ELEMENT

Meaning: The type of an element cannot be different be redefined in a subtype.

TOTAL_ORDERING_REQUIRED

public static final ErrorCode TOTAL_ORDERING_REQUIRED

Meaning: A tuple must explicitly declare all of its elements, including inherited elements.

NAME_CONFLICT

public static final ErrorCode NAME_CONFLICT

Meaning: The name of one entity conflicts with the name of another entity.

INCOMPLETE_DISPATCH_TABLE

public static final ErrorCode INCOMPLETE_DISPATCH_TABLE

Meaning: Some overloads of a function cannot be used by a dispatch-expression.

Method Detail

values

public static ErrorCode[] values()

Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:

for (ErrorCode c : ErrorCode.values())
    System.out.println(c);

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static ErrorCode valueOf(java.lang.String name)

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

java.lang.IllegalArgumentException - if this enum type has no constant with the specified name

java.lang.NullPointerException - if the argument is null