MissingOverrideCheck

///////////////////////////////////////////////////////////////////////////////////////////////
// checkstyle: Checks Java source code and other text files for adherence to a set of rules.
// Copyright (C) 2001-2026 the original author or authors.
//
// This library is free software; you can redistribute it and/or
// modify it under the terms of the GNU Lesser General Public
// License as published by the Free Software Foundation; either
// version 2.1 of the License, or (at your option) any later version.
//
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
// Lesser General Public License for more details.
//
// You should have received a copy of the GNU Lesser General Public
// License along with this library; if not, write to the Free Software
// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
///////////////////////////////////////////////////////////////////////////////////////////////

package com.puppycrawl.tools.checkstyle.checks.annotation;

import java.util.Objects;
import java.util.Optional;
import java.util.regex.Pattern;
import java.util.stream.Stream;

import com.puppycrawl.tools.checkstyle.StatelessCheck;
import com.puppycrawl.tools.checkstyle.api.AbstractCheck;
import com.puppycrawl.tools.checkstyle.api.DetailAST;
import com.puppycrawl.tools.checkstyle.api.TokenTypes;
import com.puppycrawl.tools.checkstyle.checks.javadoc.JavadocTagInfo;
import com.puppycrawl.tools.checkstyle.utils.AnnotationUtil;
import com.puppycrawl.tools.checkstyle.utils.CommonUtil;
import com.puppycrawl.tools.checkstyle.utils.JavadocUtil;

/**
 * <div>
 * Verifies that the {@code @Override} annotation is present
 * when the {@code @inheritDoc} javadoc tag is present.
 * </div>
 *
 * <p>
 * Rationale: The &#64;Override annotation helps
 * compiler tools ensure that an override is actually occurring.  It is
 * quite easy to accidentally overload a method or hide a static method
 * and using the &#64;Override annotation points out these problems.
 * </p>
 *
 * <p>
 * This check will log a violation if using the &#64;inheritDoc tag on a method that
 * is not valid (ex: private, or static method).
 * </p>
 *
 * <p>
 * There is a slight difference between the &#64;Override annotation in Java 5 versus
 * Java 6 and above. In Java 5, any method overridden from an interface cannot
 * be annotated with &#64;Override. In Java 6 this behavior is allowed.
 * </p>
 *
 * <p>
 * As a result of the aforementioned difference between Java 5 and Java 6, a
 * property called {@code javaFiveCompatibility} is available. This
 * property will only check classes, interfaces, etc. that do not contain the
 * extends or implements keyword or are not anonymous classes. This means it
 * only checks methods overridden from {@code java.lang.Object}.
 * <b>Java 5 Compatibility mode severely limits this check. It is recommended to
 * only use it on Java 5 source.</b>
 * </p>
 *
 * @since 5.0
 */
@StatelessCheck
public final class MissingOverrideCheck extends AbstractCheck {

    /**
     * A key is pointing to the warning message text in "messages.properties"
     * file.
     */
    public static final String MSG_KEY_TAG_NOT_VALID_ON = "tag.not.valid.on";

    /**
     * A key is pointing to the warning message text in "messages.properties"
     * file.
     */
    public static final String MSG_KEY_ANNOTATION_MISSING_OVERRIDE =
        "annotation.missing.override";

    /** Compiled regexp to match Javadoc tags with no argument and {}. */
    private static final Pattern MATCH_INHERIT_DOC =
            CommonUtil.createPattern("\\{\\s*@(inheritDoc)\\s*\\}");

    /**
     * Enable java 5 compatibility mode.
     */
    private boolean javaFiveCompatibility;

    /**
     * Creates a new {@code MissingOverrideCheck} instance.
     */
    public MissingOverrideCheck() {
        // no code by default
    }

    /**
     * Setter to enable java 5 compatibility mode.
     *
     * @param compatibility compatibility or not
     * @since 5.0
     */
    public void setJavaFiveCompatibility(final boolean compatibility) {
        javaFiveCompatibility = compatibility;
    }

    @Override
    public int[] getDefaultTokens() {
        return getRequiredTokens();
    }

    @Override
    public int[] getAcceptableTokens() {
        return getRequiredTokens();
    }

    @Override
    public boolean isCommentNodesRequired() {
        return true;
    }

    @Override
    public int[] getRequiredTokens() {
        return new int[]
        {TokenTypes.METHOD_DEF, };
    }

    @Override
    public void visitToken(final DetailAST ast) {
        final boolean containsTag = containsInheritDocTag(ast);
        if (containsTag && !JavadocTagInfo.INHERIT_DOC.isValidOn(ast)) {
            log(ast, MSG_KEY_TAG_NOT_VALID_ON,
                JavadocTagInfo.INHERIT_DOC.getText());
        }
        else if (containsTag
                && !AnnotationUtil.hasOverrideAnnotation(ast)
                && (!javaFiveCompatibility || doesOverrideOnlyObjectMethods(ast))) {
            log(ast, MSG_KEY_ANNOTATION_MISSING_OVERRIDE);
        }
    }

    /**
     * Checks whether the method's enclosing type can only be overriding methods
     * declared in {@code java.lang.Object}. This is the case when the enclosing type
     * does not extend or implement anything and is not an anonymous class. A top-level
     * method in a compact source file has no enclosing type node ({@code defOrNew} is
     * null); its implicit class satisfies this condition as well.
     *
     * @param ast method AST node
     * @return true if the method's enclosing type can only override
     *     {@code java.lang.Object} methods
     */
    private static boolean doesOverrideOnlyObjectMethods(DetailAST ast) {
        final DetailAST defOrNew = ast.getParent().getParent();
        return defOrNew == null
            || defOrNew.findFirstToken(TokenTypes.EXTENDS_CLAUSE) == null
                && defOrNew.findFirstToken(TokenTypes.IMPLEMENTS_CLAUSE) == null
                && defOrNew.getType() != TokenTypes.LITERAL_NEW;
    }

    /**
     * Checks to see if the ast contains a inheritDoc tag.
     *
     * @param ast method AST node
     * @return true if contains the tag
     */
    private static boolean containsInheritDocTag(DetailAST ast) {
        final DetailAST modifiers = ast.getFirstChild();
        final DetailAST startNode;
        if (modifiers.hasChildren()) {
            startNode = Optional.ofNullable(ast.getFirstChild()
                    .findFirstToken(TokenTypes.ANNOTATION))
                .orElse(modifiers);
        }
        else {
            startNode = ast.findFirstToken(TokenTypes.TYPE);
        }
        final Optional<String> javadoc =
            Stream.iterate(startNode.getLastChild(), Objects::nonNull,
                    DetailAST::getPreviousSibling)
            .filter(node -> node.getType() == TokenTypes.BLOCK_COMMENT_BEGIN)
            .map(DetailAST::getFirstChild)
            .map(DetailAST::getText)
            .filter(JavadocUtil::isJavadocComment)
            .findFirst();
        return javadoc.isPresent()
                && MATCH_INHERIT_DOC.matcher(javadoc.orElseThrow()).find();
    }

}