///////////////////////////////////////////////////////////////////////////////////////////////
   // 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.utils;
  
  import java.nio.file.Path;
  import java.util.ArrayList;
  import java.util.Arrays;
  import java.util.Collection;
  import java.util.HashSet;
  import java.util.List;
  import java.util.Optional;
  import java.util.Set;
  import java.util.function.Predicate;
  import java.util.regex.Pattern;
  import java.util.stream.Collectors;
  import java.util.stream.Stream;
  
  import com.puppycrawl.tools.checkstyle.api.DetailAST;
  import com.puppycrawl.tools.checkstyle.api.FullIdent;
  import com.puppycrawl.tools.checkstyle.api.TokenTypes;
  import com.puppycrawl.tools.checkstyle.checks.naming.AccessModifierOption;
  
  /**
   * Contains utility methods for the checks.
   *
   */
  public final class CheckUtil {
  
      // constants for parseDouble()
      /** Binary radix. */
      private static final int BASE_2 = 2;
  
      /** Octal radix. */
      private static final int BASE_8 = 8;
  
      /** Decimal radix. */
      private static final int BASE_10 = 10;
  
      /** Hex radix. */
      private static final int BASE_16 = 16;
  
      /** Pattern matching underscore characters ('_'). */
      private static final Pattern UNDERSCORE_PATTERN = Pattern.compile("_");
  
      /** Compiled pattern for all system newlines. */
      private static final Pattern ALL_NEW_LINES = Pattern.compile("\\R");
  
      /** Package separator. */
      private static final char PACKAGE_SEPARATOR = '.';
  
      /** Prevent instances. */
      private CheckUtil() {
      }
  
      /**
       * Tests whether a method definition AST defines an equals covariant.
       *
       * @param ast the method definition AST to test.
       *     Precondition: ast is a TokenTypes.METHOD_DEF node.
       * @return true if ast defines an equals covariant.
       */
      public static boolean isEqualsMethod(DetailAST ast) {
          boolean equalsMethod = false;
  
          if (ast.getType() == TokenTypes.METHOD_DEF) {
              final DetailAST modifiers = ast.findFirstToken(TokenTypes.MODIFIERS);
              final boolean staticOrAbstract =
                      modifiers.findFirstToken(TokenTypes.LITERAL_STATIC) != null
                      || modifiers.findFirstToken(TokenTypes.ABSTRACT) != null;
  
              if (!staticOrAbstract) {
                  final DetailAST nameNode = ast.findFirstToken(TokenTypes.IDENT);
                  final String name = nameNode.getText();
  
                  if ("equals".equals(name)) {
                      // one parameter?
                      final DetailAST paramsNode = ast.findFirstToken(TokenTypes.PARAMETERS);
                      equalsMethod = paramsNode.getChildCount() == 1;
                  }
              }
          }
          return equalsMethod;
     }
 
     /**
      * Returns the value represented by the specified string of the specified
      * type. Returns 0 for types other than float, double, int, and long.
      *
      * @param text the string to be parsed.
      * @param type the token type of the text. Should be a constant of
      *     {@link TokenTypes}.
      * @return the double value represented by the string argument.
      */
     public static double parseDouble(String text, int type) {
         String txt = UNDERSCORE_PATTERN.matcher(text).replaceAll("");
 
         return switch (type) {
             case TokenTypes.NUM_FLOAT, TokenTypes.NUM_DOUBLE -> Double.parseDouble(txt);
 
             case TokenTypes.NUM_INT, TokenTypes.NUM_LONG -> {
                 int radix = BASE_10;
                 if (txt.startsWith("0x") || txt.startsWith("0X")) {
                     radix = BASE_16;
                     txt = txt.substring(2);
                 }
                 else if (txt.startsWith("0b") || txt.startsWith("0B")) {
                     radix = BASE_2;
                     txt = txt.substring(2);
                 }
                 else if (txt.startsWith("0")) {
                     radix = BASE_8;
                 }
                 yield parseNumber(txt, radix, type);
             }
 
             default -> Double.NaN;
         };
     }
 
     /**
      * Parses the string argument as an integer or a long in the radix specified by
      * the second argument. The characters in the string must all be digits of
      * the specified radix.
      *
      * @param text the String containing the integer representation to be
      *     parsed. Precondition: text contains a parsable int.
      * @param radix the radix to be used while parsing text.
      * @param type the token type of the text. Should be a constant of
      *     {@link TokenTypes}.
      * @return the number represented by the string argument in the specified radix.
      */
     private static double parseNumber(final String text, final int radix, final int type) {
         String txt = text;
         if (txt.endsWith("L") || txt.endsWith("l")) {
             txt = txt.substring(0, txt.length() - 1);
         }
         final double result;
 
         final boolean negative = txt.charAt(0) == '-';
         if (type == TokenTypes.NUM_INT) {
             if (negative) {
                 result = Integer.parseInt(txt, radix);
             }
             else {
                 result = Integer.parseUnsignedInt(txt, radix);
             }
         }
         else {
             if (negative) {
                 result = Long.parseLong(txt, radix);
             }
             else {
                 result = Long.parseUnsignedLong(txt, radix);
             }
         }
 
         return result;
     }
 
     /**
      * Finds sub-node for given node minimal (line, column) pair.
      *
      * @param node the root of tree for search.
      * @return sub-node with minimal (line, column) pair.
      */
     public static DetailAST getFirstNode(final DetailAST node) {
         DetailAST currentNode = node;
         DetailAST child = node.getFirstChild();
         while (child != null) {
             final DetailAST newNode = getFirstNode(child);
             if (isBeforeInSource(newNode, currentNode)) {
                 currentNode = newNode;
             }
             child = child.getNextSibling();
         }
 
         return currentNode;
     }
 
     /**
      * Retrieves whether ast1 is located before ast2.
      *
      * @param ast1 the first node.
      * @param ast2 the second node.
      * @return true, if ast1 is located before ast2.
      */
     public static boolean isBeforeInSource(DetailAST ast1, DetailAST ast2) {
         return ast1.getLineNo() < ast2.getLineNo()
             || TokenUtil.areOnSameLine(ast1, ast2)
                 && ast1.getColumnNo() < ast2.getColumnNo();
     }
 
     /**
      * Retrieves the names of the type parameters to the node.
      *
      * @param node the parameterized AST node
      * @return a list of type parameter names
      */
     public static List<String> getTypeParameterNames(final DetailAST node) {
         final DetailAST typeParameters =
             node.findFirstToken(TokenTypes.TYPE_PARAMETERS);
 
         final List<String> typeParameterNames = new ArrayList<>();
         if (typeParameters != null) {
             final DetailAST typeParam =
                 typeParameters.findFirstToken(TokenTypes.TYPE_PARAMETER);
             typeParameterNames.add(
                     typeParam.findFirstToken(TokenTypes.IDENT).getText());
 
             DetailAST sibling = typeParam.getNextSibling();
             while (sibling != null) {
                 if (sibling.getType() == TokenTypes.TYPE_PARAMETER) {
                     typeParameterNames.add(
                             sibling.findFirstToken(TokenTypes.IDENT).getText());
                 }
                 sibling = sibling.getNextSibling();
             }
         }
 
         return typeParameterNames;
     }
 
     /**
      * Retrieves the type parameters to the node.
      *
      * @param node the parameterized AST node
      * @return a list of type parameter names
      */
     public static List<DetailAST> getTypeParameters(final DetailAST node) {
         final DetailAST typeParameters =
             node.findFirstToken(TokenTypes.TYPE_PARAMETERS);
 
         final List<DetailAST> typeParams = new ArrayList<>();
         if (typeParameters != null) {
             final DetailAST typeParam =
                 typeParameters.findFirstToken(TokenTypes.TYPE_PARAMETER);
             typeParams.add(typeParam);
 
             DetailAST sibling = typeParam.getNextSibling();
             while (sibling != null) {
                 if (sibling.getType() == TokenTypes.TYPE_PARAMETER) {
                     typeParams.add(sibling);
                 }
                 sibling = sibling.getNextSibling();
             }
         }
 
         return typeParams;
     }
 
     /**
      * Checks whether a method is a not void one.
      *
      * @param methodDefAst the method node.
      * @return true if method is a not void one.
      */
     public static boolean isNonVoidMethod(DetailAST methodDefAst) {
         boolean returnValue = false;
         if (methodDefAst.getType() == TokenTypes.METHOD_DEF) {
             final DetailAST typeAST = methodDefAst.findFirstToken(TokenTypes.TYPE);
             if (typeAST.findFirstToken(TokenTypes.LITERAL_VOID) == null) {
                 returnValue = true;
             }
         }
         return returnValue;
     }
 
     /**
      * Checks whether a parameter is a receiver.
      *
      * <p>A receiver parameter is a special parameter that
      * represents the object for which the method is invoked.
      * It is denoted by the reserved keyword {@code this}
      * in the method declaration. Check
      * <a href="https://checkstyle.org/apidocs/com/puppycrawl/tools/checkstyle/api/TokenTypes.html#PARAMETER_DEF">
      * PARAMETER_DEF</a>
      * </p>
      *
      * @param parameterDefAst the parameter node.
      * @return true if the parameter is a receiver.
      * @see <a href="https://docs.oracle.com/javase/specs/jls/se8/html/jls-8.html#jls-8.4.1">
      *     ReceiverParameter</a>
      */
     public static boolean isReceiverParameter(DetailAST parameterDefAst) {
         return parameterDefAst.findFirstToken(TokenTypes.IDENT) == null;
     }
 
     /**
      * Returns the access modifier of the method/constructor at the specified AST. If
      * the method is in an interface or annotation block, the access modifier is assumed
      * to be public.
      *
      * @param ast the token of the method/constructor.
      * @return the access modifier of the method/constructor.
      */
     public static AccessModifierOption getAccessModifierFromModifiersToken(DetailAST ast) {
         AccessModifierOption accessModifier;
         if (ast.getType() == TokenTypes.ENUM_CONSTANT_DEF) {
             accessModifier = AccessModifierOption.PUBLIC;
         }
         else {
             final DetailAST modsToken = ast.findFirstToken(TokenTypes.MODIFIERS);
             accessModifier = getAccessModifierFromModifiersTokenDirectly(modsToken);
         }
 
         if (accessModifier == AccessModifierOption.PACKAGE) {
             if (ScopeUtil.isInEnumBlock(ast) && ast.getType() == TokenTypes.CTOR_DEF) {
                 accessModifier = AccessModifierOption.PRIVATE;
             }
             else if (ScopeUtil.isInInterfaceOrAnnotationBlock(ast)) {
                 accessModifier = AccessModifierOption.PUBLIC;
             }
         }
 
         return accessModifier;
     }
 
     /**
      * Returns {@link AccessModifierOption} based on the information about access modifier
      * taken from the given token of type {@link TokenTypes#MODIFIERS}.
      *
      * @param modifiersToken token of type {@code TokenTypes#MODIFIERS}.
      * @return {@code AccessModifierOption}.
      * @throws IllegalArgumentException when expected non-null modifiersToken with type 'MODIFIERS'
      */
     private static AccessModifierOption getAccessModifierFromModifiersTokenDirectly(
             DetailAST modifiersToken) {
         if (modifiersToken == null) {
             throw new IllegalArgumentException("expected non-null AST-token with type 'MODIFIERS'");
         }
 
         AccessModifierOption accessModifier = AccessModifierOption.PACKAGE;
         for (DetailAST token = modifiersToken.getFirstChild(); token != null;
              token = token.getNextSibling()) {
             final int tokenType = token.getType();
             if (tokenType == TokenTypes.LITERAL_PUBLIC) {
                 accessModifier = AccessModifierOption.PUBLIC;
             }
             else if (tokenType == TokenTypes.LITERAL_PROTECTED) {
                 accessModifier = AccessModifierOption.PROTECTED;
             }
             else if (tokenType == TokenTypes.LITERAL_PRIVATE) {
                 accessModifier = AccessModifierOption.PRIVATE;
             }
         }
         return accessModifier;
     }
 
     /**
      * Returns the access modifier of the surrounding "block".
      *
      * @param node the node to return the access modifier for
      * @return the access modifier of the surrounding block
      */
     public static Optional<AccessModifierOption> getSurroundingAccessModifier(DetailAST node) {
         Optional<AccessModifierOption> returnValue = Optional.empty();
         for (DetailAST token = node;
              returnValue.isEmpty() && !TokenUtil.isRootNode(token);
              token = token.getParent()) {
             final int type = token.getType();
             if (type == TokenTypes.CLASS_DEF
                 || type == TokenTypes.INTERFACE_DEF
                 || type == TokenTypes.ANNOTATION_DEF
                 || type == TokenTypes.ENUM_DEF) {
                 returnValue = Optional.ofNullable(getAccessModifierFromModifiersToken(token));
             }
             else if (type == TokenTypes.LITERAL_NEW) {
                 break;
             }
         }
 
         return returnValue;
     }
 
     /**
      * Create set of class names and short class names.
      *
      * @param classNames array of class names.
      * @return set of class names and short class names.
      */
     public static Set<String> parseClassNames(String... classNames) {
         return Arrays.stream(classNames)
                 .flatMap(className -> Stream.of(className, CommonUtil.baseClassName(className)))
                 .filter(Predicate.not(String::isEmpty))
                 .collect(Collectors.toUnmodifiableSet());
     }
 
     /**
      * Strip initial newline and preceding whitespace on each line from text block content.
      * In order to be consistent with how javac handles this task, we have modeled this
      * implementation after the code from:
      * github.com/openjdk/jdk14u/blob/master/src/java.base/share/classes/java/lang/String.java
      *
      * @param textBlockContent the actual content of the text block.
      * @return string consistent with javac representation.
      */
     public static String stripIndentAndInitialNewLineFromTextBlock(String textBlockContent) {
         final String contentWithInitialNewLineRemoved =
             ALL_NEW_LINES.matcher(textBlockContent).replaceFirst("");
         final List<String> lines =
             Arrays.asList(ALL_NEW_LINES.split(contentWithInitialNewLineRemoved));
         final int indent = getSmallestIndent(lines);
         final String suffix = "";
 
         return lines.stream()
                 .map(line -> stripIndentAndTrailingWhitespaceFromLine(line, indent))
                 .collect(Collectors.joining(System.lineSeparator(), suffix, suffix));
     }
 
     /**
      * Helper method for stripIndentAndInitialNewLineFromTextBlock, strips correct indent
      * from string, and trailing whitespace, or returns empty string if no text.
      *
      * @param line the string to strip indent and trailing whitespace from
      * @param indent the amount of indent to remove
      * @return modified string with removed indent and trailing whitespace, or empty string.
      */
     private static String stripIndentAndTrailingWhitespaceFromLine(String line, int indent) {
         final int lastNonWhitespace = lastIndexOfNonWhitespace(line);
         String returnString = "";
         if (lastNonWhitespace > 0) {
             returnString = line.substring(indent, lastNonWhitespace);
         }
         return returnString;
     }
 
     /**
      * Helper method for stripIndentAndInitialNewLineFromTextBlock, to determine the smallest
      * indent in a text block string literal.
      *
      * @param lines collection of actual text block content, split by line.
      * @return number of spaces representing the smallest indent in this text block.
      */
     private static int getSmallestIndent(Collection<String> lines) {
         return lines.stream()
             .mapToInt(CommonUtil::indexOfNonWhitespace)
             .min()
             .orElse(0);
     }
 
     /**
      * Helper method to find the index of the last non-whitespace character in a string.
      *
      * @param line the string to find the last index of a non-whitespace character for.
      * @return the index of the last non-whitespace character.
      */
     private static int lastIndexOfNonWhitespace(String line) {
         int length;
         for (length = line.length(); length > 0; length--) {
             if (!Character.isWhitespace(line.charAt(length - 1))) {
                 break;
             }
         }
         return length;
     }
 
     /**
      * Calculates and returns the type declaration name matching count.
      *
      * <p>
      * Suppose our pattern class is {@code foo.a.b} and class to be matched is
      * {@code foo.a.ball} then type declaration name matching count would be calculated by
      * comparing every character, and updating main counter when we hit "." to prevent matching
      * "a.b" with "a.ball". In this case type declaration name matching count
      * would be equal to 6 and not 7 (b of ball is not counted).
      * </p>
      *
      * @param patternClass class against which the given class has to be matched
      * @param classToBeMatched class to be matched
      * @return class name matching count
      */
     public static int typeDeclarationNameMatchingCount(String patternClass,
                                                        String classToBeMatched) {
         final int length = Math.min(classToBeMatched.length(), patternClass.length());
         int result = 0;
         for (int index = 0;
                 index < length
                     && patternClass.charAt(index) == classToBeMatched.charAt(index);
                 index++) {
             if (patternClass.charAt(index) == PACKAGE_SEPARATOR) {
                 result = index;
             }
         }
         return result;
     }
 
     /**
      * Get the qualified name of type declaration by combining {@code packageName},
      * {@code outerClassQualifiedName} and {@code className}.
      *
      * @param packageName packageName
      * @param outerClassQualifiedName outerClassQualifiedName
      * @param className className
      * @return the qualified name of type declaration by combining {@code packageName},
      *         {@code outerClassQualifiedName} and {@code className}
      */
     public static String getQualifiedTypeDeclarationName(String packageName,
                                                          String outerClassQualifiedName,
                                                          String className) {
         final String qualifiedClassName;
 
         if (outerClassQualifiedName == null) {
             if (packageName == null) {
                 qualifiedClassName = className;
             }
             else {
                 qualifiedClassName = packageName + PACKAGE_SEPARATOR + className;
             }
         }
         else {
             qualifiedClassName = outerClassQualifiedName + PACKAGE_SEPARATOR + className;
         }
         return qualifiedClassName;
     }
 
     /**
      * Get name of package and super class of anon inner class by concatenating
      * the identifier values under {@link TokenTypes#DOT}.
      *
      * @param ast ast to extract superclass or package name from
      * @return qualified name
      */
     public static String extractQualifiedName(DetailAST ast) {
         return FullIdent.createFullIdent(ast).getText();
     }
 
     /**
      * Get the short name of super class of anonymous inner class.
      * Example:
      * {@snippet lang="text" :
      * TestClass.NestedClass obj = new Test().new NestedClass() {};
      * // Short name will be Test.NestedClass
      * }
      *
      * @param literalNewAst ast node of type {@link TokenTypes#LITERAL_NEW}
      * @return short name of base class of anonymous inner class
      */
     public static String getShortNameOfAnonInnerClass(DetailAST literalNewAst) {
         DetailAST parentAst = literalNewAst;
         while (TokenUtil.isOfType(parentAst, TokenTypes.LITERAL_NEW, TokenTypes.DOT)) {
             parentAst = parentAst.getParent();
         }
         final DetailAST firstChild = parentAst.getFirstChild();
         return extractQualifiedName(firstChild);
     }
 
     /**
      * Checks if the given file path is a package-info.java file.
      *
      * @param filePath path to the file.
      * @return true if the package file.
      */
     public static boolean isPackageInfo(String filePath) {
         final Path filename = Path.of(filePath).getFileName();
         return filename != null && "package-info.java".equals(filename.toString());
     }
 
     /**
      * Checks if a given subtree is terminated by return, throw, break, continue, or yield.
      *
      * @param ast root of given subtree
      * @return true if the subtree is terminated.
      */
     public static boolean isTerminated(final DetailAST ast) {
         return isTerminated(ast, true, true, new HashSet<>());
     }
 
     /**
      * Checks if a given subtree terminated by return, throw, yield or,
      * if allowed break, continue.
      * When analyzing fall-through cases in switch statements, a Set of String labels
      * is used to keep track of the labels encountered in the enclosing switch statements.
      *
      * @param ast root of given subtree
      * @param useBreak should we consider break as terminator
      * @param useContinue should we consider continue as terminator
      * @param labelsForCurrentSwitchScope the Set labels for the current scope of the switch
      * @return true if the subtree is terminated.
      */
     private static boolean isTerminated(final DetailAST ast, boolean useBreak, boolean useContinue,
                                         Set<String> labelsForCurrentSwitchScope) {
 
         return switch (ast.getType()) {
             case TokenTypes.LITERAL_RETURN, TokenTypes.LITERAL_YIELD,
                     TokenTypes.LITERAL_THROW -> true;
             case TokenTypes.LITERAL_BREAK -> useBreak
                     || hasLabel(ast, labelsForCurrentSwitchScope);
             case TokenTypes.LITERAL_CONTINUE -> useContinue
                     || hasLabel(ast, labelsForCurrentSwitchScope);
             case TokenTypes.SLIST -> checkSlist(ast, useBreak, useContinue,
                     labelsForCurrentSwitchScope);
             case TokenTypes.LITERAL_IF -> checkIf(ast, useBreak, useContinue,
                     labelsForCurrentSwitchScope);
             case TokenTypes.LITERAL_FOR, TokenTypes.LITERAL_WHILE, TokenTypes.LITERAL_DO ->
                 checkLoop(ast, labelsForCurrentSwitchScope);
             case TokenTypes.LITERAL_TRY -> checkTry(ast, useBreak, useContinue,
                     labelsForCurrentSwitchScope);
             case TokenTypes.LITERAL_SWITCH -> checkSwitch(ast, useContinue,
                     labelsForCurrentSwitchScope);
             case TokenTypes.LITERAL_SYNCHRONIZED ->
                 checkSynchronized(ast, useBreak, useContinue,
                     labelsForCurrentSwitchScope);
             case TokenTypes.LABELED_STAT -> {
                 labelsForCurrentSwitchScope.add(ast.getFirstChild().getText());
                 yield isTerminated(ast.getLastChild(), useBreak, useContinue,
                         labelsForCurrentSwitchScope);
             }
             default -> false;
         };
     }
 
     /**
      * Checks if given break or continue ast has outer label.
      *
      * @param statement break or continue node
      * @param labelsForCurrentSwitchScope the Set labels for the current scope of the switch
      * @return true if local label used
      */
     private static boolean hasLabel(DetailAST statement, Set<String> labelsForCurrentSwitchScope) {
         return Optional.ofNullable(statement)
                 .map(DetailAST::getFirstChild)
                 .filter(child -> child.getType() == TokenTypes.IDENT)
                 .map(DetailAST::getText)
                 .filter(label -> !labelsForCurrentSwitchScope.contains(label))
                 .isPresent();
     }
 
     /**
      * Checks if a given SLIST terminated by return, throw or,
      * if allowed break, continue.
      *
      * @param slistAst SLIST to check
      * @param useBreak should we consider break as terminator
      * @param useContinue should we consider continue as terminator
      * @param labels label names
      * @return true if SLIST is terminated.
      */
     private static boolean checkSlist(final DetailAST slistAst, boolean useBreak,
                                       boolean useContinue, Set<String> labels) {
         DetailAST lastStmt = slistAst.getLastChild();
 
         if (lastStmt.getType() == TokenTypes.RCURLY) {
             lastStmt = lastStmt.getPreviousSibling();
         }
 
         while (TokenUtil.isOfType(lastStmt, TokenTypes.SINGLE_LINE_COMMENT,
                 TokenTypes.BLOCK_COMMENT_BEGIN)) {
             lastStmt = lastStmt.getPreviousSibling();
         }
 
         return lastStmt != null
             && isTerminated(lastStmt, useBreak, useContinue, labels);
     }
 
     /**
      * Checks if a given IF terminated by return, throw or,
      * if allowed break, continue.
      *
      * @param ast IF to check
      * @param useBreak should we consider break as terminator
      * @param useContinue should we consider continue as terminator
      * @param labels label names
      * @return true if IF is terminated.
      */
     private static boolean checkIf(final DetailAST ast, boolean useBreak,
                                    boolean useContinue, Set<String> labels) {
         final DetailAST thenStmt = getNextNonCommentAst(ast.findFirstToken(TokenTypes.RPAREN));
 
         final DetailAST elseStmt = ast.findFirstToken(TokenTypes.LITERAL_ELSE);
 
         final boolean isTerminated;
 
         if (checkInfiniteLoop(ast.getParent().getParent())) {
             isTerminated = isTerminated(thenStmt, useBreak, useContinue, labels)
                     || elseStmt != null
                     && isTerminated(elseStmt.getLastChild(), useBreak, useContinue, labels);
         }
         else {
             isTerminated = elseStmt != null
                     && isTerminated(thenStmt, useBreak, useContinue, labels)
                     && isTerminated(elseStmt.getLastChild(), useBreak, useContinue, labels);
         }
 
         return isTerminated;
     }
 
     /**
      * This method will skip the comment content while finding the next ast of current ast.
      *
      * @param ast current ast
      * @return next ast after skipping comment
      */
     public static DetailAST getNextNonCommentAst(DetailAST ast) {
         DetailAST nextSibling = ast.getNextSibling();
         while (TokenUtil.isOfType(nextSibling, TokenTypes.SINGLE_LINE_COMMENT,
                 TokenTypes.BLOCK_COMMENT_BEGIN)) {
             nextSibling = nextSibling.getNextSibling();
         }
         return nextSibling;
     }
 
     /**
      * Checks if a given loop terminated by return, throw or,
      * if allowed break, continue.
      *
      * @param ast loop to check
      * @param labels label names
      * @return true if loop is terminated.
      */
     private static boolean checkLoop(final DetailAST ast, Set<String> labels) {
         final DetailAST loopBody;
         if (ast.getType() == TokenTypes.LITERAL_DO) {
             final DetailAST lparen = ast.findFirstToken(TokenTypes.DO_WHILE);
             loopBody = lparen.getPreviousSibling();
         }
         else {
             final DetailAST rparen = ast.findFirstToken(TokenTypes.RPAREN);
             loopBody = rparen.getNextSibling();
         }
 
         return checkInfiniteLoop(ast) && !isTerminated(loopBody, true, false, labels)
                 || isTerminated(loopBody, false, false, labels);
     }
 
     /**
      * Checks if a given try/catch/finally block terminated by return, throw or,
      * if allowed break, continue.
      *
      * @param ast loop to check
      * @param useBreak should we consider break as terminator
      * @param useContinue should we consider continue as terminator
      * @param labels label names
      * @return true if try/catch/finally block is terminated
      */
     private static boolean checkTry(final DetailAST ast, boolean useBreak,
                                     boolean useContinue, Set<String> labels) {
         final DetailAST finalStmt = ast.getLastChild();
         boolean isTerminated = finalStmt.getType() == TokenTypes.LITERAL_FINALLY
                 && isTerminated(finalStmt.findFirstToken(TokenTypes.SLIST),
                 useBreak, useContinue, labels);
 
         if (!isTerminated) {
             DetailAST firstChild = ast.getFirstChild();
 
             if (firstChild.getType() == TokenTypes.RESOURCE_SPECIFICATION) {
                 firstChild = firstChild.getNextSibling();
             }
 
             isTerminated = isTerminated(firstChild,
                     useBreak, useContinue, labels);
 
             DetailAST catchStmt = ast.findFirstToken(TokenTypes.LITERAL_CATCH);
             while (catchStmt != null
                     && isTerminated
                     && catchStmt.getType() == TokenTypes.LITERAL_CATCH) {
                 final DetailAST catchBody =
                         catchStmt.findFirstToken(TokenTypes.SLIST);
                 isTerminated = isTerminated(catchBody, useBreak, useContinue, labels);
                 catchStmt = catchStmt.getNextSibling();
             }
         }
         return isTerminated;
     }
 
     /**
      * Checks if a given switch terminated by return, throw or,
      * if allowed break, continue.
      *
      * @param literalSwitchAst loop to check
      * @param useContinue should we consider continue as terminator
      * @param labels label names
      * @return true if switch is terminated
      */
     private static boolean checkSwitch(DetailAST literalSwitchAst,
                                        boolean useContinue, Set<String> labels) {
         DetailAST caseGroup = literalSwitchAst.findFirstToken(TokenTypes.CASE_GROUP);
         boolean isTerminated = caseGroup != null;
         while (isTerminated && caseGroup.getType() != TokenTypes.RCURLY) {
             final DetailAST caseBody =
                 caseGroup.findFirstToken(TokenTypes.SLIST);
             isTerminated = caseBody != null
                     && isTerminated(caseBody, false, useContinue, labels);
             caseGroup = caseGroup.getNextSibling();
         }
         return isTerminated;
     }
 
     /**
      * Checks if a given synchronized block terminated by return, throw or,
      * if allowed break, continue.
      *
      * @param synchronizedAst synchronized block to check.
      * @param useBreak should we consider break as terminator
      * @param useContinue should we consider continue as terminator
      * @param labels label names
      * @return true if synchronized block is terminated
      */
     private static boolean checkSynchronized(final DetailAST synchronizedAst, boolean useBreak,
                                       boolean useContinue, Set<String> labels) {
         return isTerminated(
             synchronizedAst.findFirstToken(TokenTypes.SLIST), useBreak, useContinue, labels);
     }
 
     /**
      * Checks whether the given ast is an infinite loop.
      *
      * @param ast the token to check
      * @return true if the token is an infinite, false otherwise
      */
     private static boolean checkInfiniteLoop(DetailAST ast) {
         boolean isInfiniteLoop = false;
         if (ast.getType() == TokenTypes.LITERAL_FOR) {
             isInfiniteLoop = checkForLoop(ast);
         }
         else if (ast.getType() == TokenTypes.LITERAL_WHILE
                 || ast.getType() == TokenTypes.LITERAL_DO) {
             final DetailAST lparen = NullUtil.notNull(ast.findFirstToken(TokenTypes.LPAREN));
             final DetailAST expression = NullUtil.notNull(lparen.getNextSibling());
             final DetailAST firstChild = NullUtil.notNull(expression.getFirstChild());
             isInfiniteLoop = firstChild.getType() == TokenTypes.LITERAL_TRUE;
         }
         return isInfiniteLoop;
     }
 
     /**
      * Checks if a for loop is infinite (empty or {@code true} condition).
      *
      * @param forLoop the for loop to check
      * @return true if the for loop is infinite
      */
     private static boolean checkForLoop(DetailAST forLoop) {
         boolean isInfiniteLoop = false;
         if (forLoop.findFirstToken(TokenTypes.FOR_EACH_CLAUSE) == null) {
             final DetailAST condition =
                     NullUtil.notNull(forLoop.findFirstToken(TokenTypes.FOR_CONDITION));
             DetailAST child = condition.getFirstChild();
             if (child != null) {
                 // EXPR node always has child
                 child = NullUtil.notNull(child.getFirstChild());
             }
             isInfiniteLoop = child == null || child.getType() == TokenTypes.LITERAL_TRUE;
         }
         return isInfiniteLoop;
     }
 
 }