Package org.eclipse.xtext.xbase.typesystem.override

Enum IOverrideCheckResult.OverrideCheckDetails

    • Enum Constant Summary

      Enum Constants 
      Enum Constant 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.

    • Enum Constant Detail

      • 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).

      • 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.

      • 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).

      • 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).

    • 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