org.eclipse.xtext.xbase.typesystem.override

Enum IOverrideCheckResult.OverrideCheckDetails

java.lang.Object

java.lang.Enum<IOverrideCheckResult.OverrideCheckDetails>

org.eclipse.xtext.xbase.typesystem.override.IOverrideCheckResult.OverrideCheckDetails

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<IOverrideCheckResult.OverrideCheckDetails>

Enclosing interface:

IOverrideCheckResult

public static enum IOverrideCheckResult.OverrideCheckDetails
extends java.lang.Enum<IOverrideCheckResult.OverrideCheckDetails>

Enum Constant Summary

Enum Constants

Enum Constant and Description
ARITY_MISMATCH The arity of the given operation does not match this operation.
COVARIANT_RETURN The given operation is overridden by this operation and the return type is specialized by this operation.
CURRENT The resolved operation represents the given operation.
DEFAULT_IMPL_CONFLICT The operations are declared in different interfaces that do not extend each other, their type erasure is equal, and at least one of them is not abstract, i.e.
EXCEPTION_MISMATCH This operation declares exceptions that are not declared by the given methods.
IMPLEMENTATION The given operation is strictly implemented, e.g.
IS_FINAL The current method seems to override the given method but that one is final and cannot be overridden.
NAME_MISMATCH The name of the given operation does not match this operation.
NO_INHERITANCE No inheritance relation between this operation and the given operation.
NOT_VISIBLE The current method seems to override the given method, but that one is not visible (e.g.
OVERRIDE The given operation is strictly overridden, e.g.
PARAMETER_TYPE_MISMATCH The parameter types of the given method do not match this method.
REDECLARATION The given operation is redeclared, e.g.
REDUCED_VISIBILITY The current method seems to override the given method but attempts to reduce its visibility.
REPEATED The given operation is repeated, e.g.
RETURN_MISMATCH The return types do not match.
SAME_DECLARATOR Both operations are declared in the very same type thus it can't be an override relationship.
SAME_ERASURE The given operation has the same erasure on the parameter types but is not overridden by this operation.
SHADOWED This method is static and shadows another static method from the super class
STATIC_MISMATCH Attempt to override a static operation with an instance method or vice versa
SYNCHRONIZED_MISMATCH The overriding operation is not synchronized although the overridden is.
TYPE_PARAMETER_MISMATCH The given operation declares different type parameters than this operation.
UNCHECKED_CONVERSION_REQUIRED This operation overrides the given operation but the return type requires an unchecked conversion.
VAR_ARG_MISMATCH Attempt to override a var arg method with a non var arg method or vice versa.

Method Summary

Modifier and Type	Method and Description
static IOverrideCheckResult.OverrideCheckDetails	valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static IOverrideCheckResult.OverrideCheckDetails[]	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

CURRENT

public static final IOverrideCheckResult.OverrideCheckDetails CURRENT

The resolved operation represents the given operation.

OVERRIDE

public static final IOverrideCheckResult.OverrideCheckDetails OVERRIDE

The given operation is strictly overridden, e.g. parameter types, type parameters and return type are identical and the given operation is concrete and overridden by this operation.

IMPLEMENTATION

public static final IOverrideCheckResult.OverrideCheckDetails IMPLEMENTATION

The given operation is strictly implemented, e.g. parameter types, type parameters and return type are identical and the given operation is abstract and implemented by this operation.

REDECLARATION

public static final IOverrideCheckResult.OverrideCheckDetails REDECLARATION

The given operation is redeclared, e.g. parameter types, type parameters and return type are identical but this operation is abstract and the given operation is concrete. Example: Collection.equals(Object) redeclares Object.equals(Object) or B#m redeclares A#m in the following example.

 class A {
        void m() {
        }
 }
 
 abstract class B extends A {
        abstract void m();
 }
 

REPEATED

public static final IOverrideCheckResult.OverrideCheckDetails REPEATED

The given operation is repeated, e.g. parameter types, type parameters and return type are identical. This operation and the given operation are abstract or this operation is defined in an interface and the given operation is concrete. Example: List.equals(Object) repeats Collection.equals(Object).

SHADOWED

public static final IOverrideCheckResult.OverrideCheckDetails SHADOWED

This method is static and shadows another static method from the super class

TYPE_PARAMETER_MISMATCH

public static final IOverrideCheckResult.OverrideCheckDetails TYPE_PARAMETER_MISMATCH

The given operation declares different type parameters than this operation.

UNCHECKED_CONVERSION_REQUIRED

public static final IOverrideCheckResult.OverrideCheckDetails UNCHECKED_CONVERSION_REQUIRED

This operation overrides the given operation but the return type requires an unchecked conversion.

EXCEPTION_MISMATCH

public static final IOverrideCheckResult.OverrideCheckDetails EXCEPTION_MISMATCH

This operation declares exceptions that are not declared by the given methods.

NAME_MISMATCH

public static final IOverrideCheckResult.OverrideCheckDetails NAME_MISMATCH

The name of the given operation does not match this operation.

ARITY_MISMATCH

public static final IOverrideCheckResult.OverrideCheckDetails ARITY_MISMATCH

The arity of the given operation does not match this operation.

PARAMETER_TYPE_MISMATCH

public static final IOverrideCheckResult.OverrideCheckDetails PARAMETER_TYPE_MISMATCH

The parameter types of the given method do not match this method.

SAME_ERASURE

public static final IOverrideCheckResult.OverrideCheckDetails SAME_ERASURE

The given operation has the same erasure on the parameter types but is not overridden by this operation.

RETURN_MISMATCH

public static final IOverrideCheckResult.OverrideCheckDetails RETURN_MISMATCH

The return types do not match.

COVARIANT_RETURN

public static final IOverrideCheckResult.OverrideCheckDetails COVARIANT_RETURN

The given operation is overridden by this operation and the return type is specialized by this operation.

NOT_VISIBLE

public static final IOverrideCheckResult.OverrideCheckDetails NOT_VISIBLE

The current method seems to override the given method, but that one is not visible (e.g. it is private or package private and in another package).

IS_FINAL

public static final IOverrideCheckResult.OverrideCheckDetails IS_FINAL

The current method seems to override the given method but that one is final and cannot be overridden.

REDUCED_VISIBILITY

public static final IOverrideCheckResult.OverrideCheckDetails REDUCED_VISIBILITY

The current method seems to override the given method but attempts to reduce its visibility.

STATIC_MISMATCH

public static final IOverrideCheckResult.OverrideCheckDetails STATIC_MISMATCH

Attempt to override a static operation with an instance method or vice versa

NO_INHERITANCE

public static final IOverrideCheckResult.OverrideCheckDetails NO_INHERITANCE

No inheritance relation between this operation and the given operation.

SAME_DECLARATOR

public static final IOverrideCheckResult.OverrideCheckDetails SAME_DECLARATOR

Both operations are declared in the very same type thus it can't be an override relationship.

VAR_ARG_MISMATCH

public static final IOverrideCheckResult.OverrideCheckDetails VAR_ARG_MISMATCH

Attempt to override a var arg method with a non var arg method or vice versa.

 class A {
        void m(String... s) {}
 }
 
 class B extends A {
        @Override
        void m(String[] s) {}
 }
 

Should yield the message Varargs methods should only override or be overridden by other varargs methods unlike B.m(String[]) and A.m(String...)

DEFAULT_IMPL_CONFLICT

public static final IOverrideCheckResult.OverrideCheckDetails DEFAULT_IMPL_CONFLICT

The operations are declared in different interfaces that do not extend each other, their type erasure is equal, and at least one of them is not abstract, i.e. it has a default implementation (Java 8).

SYNCHRONIZED_MISMATCH

public static final IOverrideCheckResult.OverrideCheckDetails SYNCHRONIZED_MISMATCH

The overriding operation is not synchronized although the overridden is.

Method Detail

values

public static IOverrideCheckResult.OverrideCheckDetails[] 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 (IOverrideCheckResult.OverrideCheckDetails c : IOverrideCheckResult.OverrideCheckDetails.values())
    System.out.println(c);

Returns:

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

valueOf

public static IOverrideCheckResult.OverrideCheckDetails 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