PatternOverriddenByNonAnnotatedMethod

Reports when a method without any @Pattern annotation overrides a @Pattern annotated method. This does not prevent error-highlighting inside the editor, however the overriding method will not be checked at runtime.

A quick fix is provided to add a @Pattern annotation that matches the one from the superclass method. This ensures the runtime-check instrumentation works correctly.

Example:

abstract class Parent {
    abstract @Pattern("\\d\\d-\\d\\d\\d") String getId();
  }
  class Child extends Parent {
    @Override String getId() { // warning here
      return "12-345";
    }
  }