com.github._1c_syntax.bsl.languageserver.diagnostics.CommitTransactionOutsideTryCatchDiagnostic Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of bsl-language-server Show documentation
Language Server Protocol implementation for 1C (BSL) - 1C:Enterprise 8 and OneScript languages.
There is a newer version: 0.24.0-rc.1
/*
 * This file is a part of BSL Language Server.
 *
 * Copyright (c) 2018-2023
 * Alexey Sosnoviy , Nikita Fedkin  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.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.regex.Pattern;
import java.util.stream.Stream;

@DiagnosticMetadata(
  type = DiagnosticType.ERROR,
  severity = DiagnosticSeverity.MAJOR,
  minutesToFix = 10,
  tags = {
    DiagnosticTag.STANDARD
  }
)
public class CommitTransactionOutsideTryCatchDiagnostic extends AbstractVisitorDiagnostic {

  private static final Pattern END_TRANSACTION_PATTERN = CaseInsensitivePattern.compile(
    "ЗафиксироватьТранзакцию|CommitTransaction"
  );

  private BSLParserRuleContext nodeEndTransaction;
  private BSLParser.StatementContext nodeEndFile;

  public CommitTransactionOutsideTryCatchDiagnostic() {
    nodeEndTransaction = null;
    nodeEndFile = null;
  }

  private static boolean isGlobalMethodCommitTransaction(BSLParser.StatementContext ctx) {
    if (ctx.getStart().getType() != BSLParser.IDENTIFIER) {
      return false;
    }

    return ctx.getChildCount() > 0
      && ctx.getChild(0).getChildCount() > 0
      && ctx.getChild(0).getChild(0) instanceof BSLParser.GlobalMethodCallContext
      && END_TRANSACTION_PATTERN.matcher(ctx.getText()).find();
  }

  @Override
  public ParseTree visitExceptCodeBlock(BSLParser.ExceptCodeBlockContext ctx) {
    nodeEndTransaction = null;
    return super.visitExceptCodeBlock(ctx);
  }

  @Override
  public ParseTree visitStatement(BSLParser.StatementContext ctx) {

    if (ctx.getStart().getType() == BSLParser.TRY_KEYWORD) {
      if (nodeEndTransaction != null) {
        diagnosticStorage.addDiagnostic(nodeEndTransaction);
      }
      nodeEndTransaction = null;
      return super.visitStatement(ctx);
    }

    // Это код после ЗафиксироватьТранзакцию
    if (nodeEndTransaction != null) {
      diagnosticStorage.addDiagnostic(nodeEndTransaction);
      nodeEndTransaction = null;
    }

    // Ищем только в идентификаторах
    if (isGlobalMethodCommitTransaction(ctx)) {
      nodeEndTransaction = ctx;
    }

    // Если это код в конце модуля, ЗафиксироватьТранзакию был/есть тогда фиксируем
    if (nodeEndFile != null && nodeEndTransaction != null && nodeEndFile.equals(ctx)) {
      diagnosticStorage.addDiagnostic(nodeEndTransaction);
      nodeEndTransaction = null;
    }
    return super.visitStatement(ctx);
  }

  @Override
  public ParseTree visitSubCodeBlock(BSLParser.SubCodeBlockContext ctx) {
    super.visitSubCodeBlock(ctx);
    // ЗафиксироватьТранзакцию в конце метода
    if (nodeEndTransaction != null) {
      diagnosticStorage.addDiagnostic(nodeEndTransaction);
      nodeEndTransaction = null;
    }
    return ctx;
  }

  @Override
  public ParseTree visitFileCodeBlock(BSLParser.FileCodeBlockContext ctx) {
    // Находим последний стейт в модуле и запоминаем его
    Stream statements = Trees.findAllRuleNodes(ctx, BSLParser.RULE_statement).stream();
    nodeEndFile = (BSLParser.StatementContext) statements.reduce((a, b) -> b).orElse(null);
    return super.visitFileCodeBlock(ctx);
  }
}