Java Override Annotation

​

Technical Specifications

• Package: java.lang.Override
• Target: @Target(ElementType.METHOD) – It can only be applied to methods. Applying it to classes, fields, or variables results in a compilation error.
• Retention: @Retention(RetentionPolicy.SOURCE) – It is retained only in the source code and is discarded by the compiler. It is not written to the .class file and is unavailable at runtime via reflection.

​

Syntax

@Override
[access_modifier] [return_type] [method_name]([parameters]) {
    // method body
}

​

Compiler Mechanics and Verification Rules

1. Signature Matching: The compiler searches the direct superclass and all implemented interfaces for a method with an identical name and matching parameter types. The parameter types must match exactly after type erasure.
2. Return Type Compatibility: The return type of the annotated method must be identical to, or a subtype of (covariant return type), the return type declared in the overridden method.
3. Access Modifiers: The annotated method cannot assign a more restrictive access modifier than the method it overrides (e.g., a protected method in the superclass cannot be overridden as private).
4. Exception Handling: The annotated method cannot declare any new or broader checked exceptions that are not declared by the overridden method.

​

Interface Implementation

public interface Executable {
    void execute();
}

public class Task implements Executable {
    @Override
    public void execute() {
        // Compiler verifies 'execute()' exists in the Executable interface
    }
}