content: /*
   * This file is a part of BSL Language Server.
   *
   * Copyright (c) 2018-2025
   * Alexey Sosnoviy <labotamy@gmail.com>, Nikita Fedkin <nixel2007@gmail.com> and contributors
   *
   * SPDX-License-Identifier: LGPL-3.0-or-later
   *
   * BSL Language Server 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 3.0 of the License, or (at your option) any later version.
   *
   * BSL Language Server 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 BSL Language Server.
   */
  package com.github._1c_syntax.bsl.languageserver.diagnostics;
  
  import com.github._1c_syntax.bsl.languageserver.diagnostics.metadata.DiagnosticMetadata;
  import com.github._1c_syntax.bsl.languageserver.diagnostics.metadata.DiagnosticSeverity;
  import com.github._1c_syntax.bsl.languageserver.diagnostics.metadata.DiagnosticTag;
  import com.github._1c_syntax.bsl.languageserver.diagnostics.metadata.DiagnosticType;
  import com.github._1c_syntax.bsl.languageserver.utils.Trees;
  import com.github._1c_syntax.bsl.parser.BSLLexer;
  import com.github._1c_syntax.bsl.parser.BSLParser;
  import com.github._1c_syntax.bsl.parser.BSLParserRuleContext;
  import com.github._1c_syntax.utils.CaseInsensitivePattern;
  import org.antlr.v4.runtime.tree.ParseTree;
  
  import java.util.Collection;
  import java.util.Objects;
  import java.util.regex.Pattern;
  
  @DiagnosticMetadata(
    type = DiagnosticType.CODE_SMELL,
    severity = DiagnosticSeverity.MAJOR,
    minutesToFix = 10,
    tags = {
      DiagnosticTag.STANDARD,
      DiagnosticTag.BADPRACTICE
    }
  )
  public class UsingCancelParameterDiagnostic extends AbstractVisitorDiagnostic {
  
    private static final Pattern cancelPattern = CaseInsensitivePattern.compile(
      "отказ|cancel"
    );
  
    @Override
    public ParseTree visitSub(BSLParser.SubContext ctx) {
  
      Collection<ParseTree> params = Trees.findAllRuleNodes(ctx, BSLParser.RULE_param);
  
      boolean inParams = params.stream()
        .map(node -> ((BSLParser.ParamContext) node).IDENTIFIER())
        .filter(Objects::nonNull)
        .anyMatch(node -> cancelPattern.matcher(node.getText()).matches());
  
      // ToDO обрабатывать не только в параметрах
      if (!inParams) {
        return ctx;
      }
  
      Trees.findAllRuleNodes(ctx, BSLParser.RULE_assignment).stream()
        .filter(
          node -> cancelPattern.matcher(((BSLParser.AssignmentContext) node).lValue()
            .getText())
            .matches()
        )
        .map(BSLParserRuleContext.class::cast)
        .filter(ident -> !rightPartIsValid((BSLParser.AssignmentContext) ident))
        .map(ParseTree::getParent)
        .map(BSLParserRuleContext.class::cast)
        .forEach(diagnosticStorage::addDiagnostic);
  
      return ctx;
    }
  
    private static boolean rightPartIsValid(BSLParser.AssignmentContext ident) {
      return equalTrue(ident) || orCancel(ident);
    }
  
    private static boolean orCancel(BSLParser.AssignmentContext ident) {
  
      BSLParser.ExpressionContext expression = ident.expression();
      if (expression != null) {
  
        BSLParser.OperationContext logicalOperation = expression.operation(0);
        if (logicalOperation != null) {
  
          BSLParser.BoolOperationContext boolOperation = logicalOperation.boolOperation();
          if (boolOperation != null
            && boolOperation.OR_KEYWORD() != null) {
  
            return expression
              .member()
              .stream()
              .anyMatch(token -> cancelPattern.matcher(token.getText())
                .matches());
          }
        }
      }
  
      return false;
    }
  
    private static boolean equalTrue(BSLParser.AssignmentContext ident) {
      return ident.expression().getStop().getType() == BSLLexer.TRUE;
    }
  
  }
  