Non-annotated Method overrides @Pattern Method

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";
  }
}