feat(diagnostics): улучшена диагностика MagicDate и MagicNumber для обработки назначений свойств структуры.

- Добавлена ​​обработка исключений для назначения свойств структуры в диагностике MagicDate и MagicNumber.
- Обновлена ​​документация с учетом новых исключений и примеров для ясности.
- Улучшена логика диагностики для предотвращения ложных срабатываний при работе со свойствами структуры.
- Добавлены модульные тесты для проверки корректности работы новых исключений и обеспечения сохранности существующей функциональности.

Author: johnnyshut

docs/diagnostics/MagicDate.md

@@ -35,3 +35,26 @@
     ХоверБордБудетИзобретен = Неопределено;
 КонецЕсли;
 ```
+
+## Исключения
+
+Диагностика не срабатывает в следующих случаях:
+
+### Присваивание к свойствам структуры
+
+```bsl
+// НЕ срабатывает - осмысленное имя свойства
+СтруктураДанных.ДатаНачала = '20230101';
+СтруктураДанных.ДатаОкончания = '20241231';
+
+// НЕ срабатывает - присваивание к свойству структуры
+НоваяСтруктура = Новый Структура("ДатаСоздания");
+НоваяСтруктура.ДатаСоздания = '20240101';
+```
+
+### Вызовы методов
+
+```bsl
+// НЕ срабатывает - вызов метода
+НоваяСтруктура.Вставить("ДатаСоздания", '20240101');
+```

docs/diagnostics/MagicNumber.md

@@ -15,7 +15,7 @@
     Возврат Длительность < 10 * 60 * 60; 
 
 КонецФункции
-``` 
+```
 
 Хорошо
 
@@ -30,3 +30,27 @@
 
 КонецФункции
 ```
+
+## Исключения
+
+Диагностика не срабатывает в следующих случаях:
+
+### Присваивание к свойствам структуры
+
+```bsl
+// НЕ срабатывает - осмысленное имя свойства
+СтруктураДанных.Код = 100;
+СтруктураДанных.Количество = 5;
+
+// НЕ срабатывает - присваивание к свойству структуры
+НоваяСтруктура = Новый Структура("МояПеременная");
+НоваяСтруктура.МояПеременная = 20;
+```
+
+### Вызовы методов
+
+```bsl
+// НЕ срабатывает - вызов метода
+НоваяСтруктура.Вставить("МояПеременная", 20);
+Массив.Добавить(1);
+```

docs/en/diagnostics/MagicDate.md

@@ -35,3 +35,26 @@ If CurrentDate < DateInventionHover() Then
     HoverBoardWillBeInvented = Undefined;
 EndIf;
 ```
+
+## Exceptions
+
+The diagnostic does not trigger in the following cases:
+
+### Structure property assignment
+
+```bsl
+// Does NOT trigger - meaningful property name
+DataStructure.StartDate = '20230101';
+DataStructure.EndDate = '20241231';
+
+// Does NOT trigger - structure property assignment
+NewStructure = New Structure("CreationDate");
+NewStructure.CreationDate = '20240101';
+```
+
+### Method calls
+
+```bsl
+// Does NOT trigger - method call
+NewStructure.Insert("CreationDate", '20240101');
+```

docs/en/diagnostics/MagicNumber.md

@@ -30,3 +30,27 @@ Function GetsTheInterval (Duration in Seconds)
 
 End Function
 ```
+
+## Exceptions
+
+The diagnostic does not trigger in the following cases:
+
+### Structure property assignment
+
+```bsl
+// Does NOT trigger - meaningful property name
+DataStructure.Code = 100;
+DataStructure.Quantity = 5;
+
+// Does NOT trigger - structure property assignment
+NewStructure = New Structure("MyVariable");
+NewStructure.MyVariable = 20;
+```
+
+### Method calls
+
+```bsl
+// Does NOT trigger - method call
+NewStructure.Insert("MyVariable", 20);
+Array.Add(1);
+```

src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/AbstractVisitorDiagnostic.java

@@ -23,9 +23,11 @@
 
 import com.github._1c_syntax.bsl.languageserver.context.DocumentContext;
 import com.github._1c_syntax.bsl.languageserver.diagnostics.metadata.DiagnosticInfo;
+import com.github._1c_syntax.bsl.parser.BSLParser;
 import com.github._1c_syntax.bsl.parser.BSLParserBaseVisitor;
 import lombok.Getter;
 import lombok.Setter;
+import org.antlr.v4.runtime.ParserRuleContext;
 import org.antlr.v4.runtime.tree.ParseTree;
 import org.eclipse.lsp4j.Diagnostic;
 
@@ -47,4 +49,21 @@ public List<Diagnostic> getDiagnostics(DocumentContext documentContext) {
     return diagnosticStorage.getDiagnostics();
   }
 
+  /**
+   * Находит контекст присваивания для заданного узла AST.
+   * 
+   * @param ctx контекст узла для поиска
+   * @return контекст присваивания или null, если не найден
+   */
+  protected static BSLParser.AssignmentContext findAssignmentContext(ParserRuleContext ctx) {
+    var current = ctx.getParent();
+    while (current != null) {
+      if (current instanceof BSLParser.AssignmentContext assignmentContext) {
+        return assignmentContext;
+      }
+      current = current.getParent();
+    }
+    return null;
+  }
+
 }

src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/MagicDateDiagnostic.java

@@ -21,6 +21,7 @@
  */
 package com.github._1c_syntax.bsl.languageserver.diagnostics;
 
+import com.github._1c_syntax.bsl.languageserver.context.symbol.VariableSymbol;
 import com.github._1c_syntax.bsl.languageserver.diagnostics.metadata.DiagnosticMetadata;
 import com.github._1c_syntax.bsl.languageserver.diagnostics.metadata.DiagnosticParameter;
 import com.github._1c_syntax.bsl.languageserver.diagnostics.metadata.DiagnosticSeverity;
@@ -73,6 +74,11 @@ public class MagicDateDiagnostic extends AbstractVisitorDiagnostic {
   )
   private final Set<String> authorizedDates = new HashSet<>(Arrays.asList(DEFAULT_AUTHORIZED_DATES.split(",")));
 
+  /**
+   * Настраивает диагностику с указанными параметрами.
+   *
+   * @param configuration карта параметров конфигурации
+   */
   @Override
   public void configure(Map<String, Object> configuration) {
     var authorizedDatesString = (String) configuration.getOrDefault("authorizedDates", DEFAULT_AUTHORIZED_DATES);
@@ -83,6 +89,12 @@ public void configure(Map<String, Object> configuration) {
     authorizedDates.addAll(authD);
   }
 
+  /**
+   * Обрабатывает константные значения и проверяет их на наличие магических дат.
+   *
+   * @param ctx контекст константного значения
+   * @return результат обработки
+   */
   @Override
   public ParseTree visitConstValue(BSLParser.ConstValueContext ctx) {
     var tNode = ctx.DATETIME();
@@ -93,15 +105,23 @@ public ParseTree visitConstValue(BSLParser.ConstValueContext ctx) {
       }
 
       final var expressionContext = getExpression(Optional.of(ctx));
-      if (!insideSimpleDateAssignment(expressionContext) && !insideReturnSimpleDate(expressionContext)
-        && !insideAssignmentWithDateMethodForSimpleDate(expressionContext)) {
+      if (!insideSimpleDateAssignment(expressionContext) 
+          && !insideReturnSimpleDate(expressionContext)
+          && !insideAssignmentWithDateMethodForSimpleDate(expressionContext)
+          && !expressionContext.map(MagicDateDiagnostic::insideStructurePropertyAssignment).orElse(false)) {
         diagnosticStorage.addDiagnostic(ctx, info.getMessage(ctx.getText()));
       }
     }
 
     return defaultResult();
   }
 
+  /**
+   * Проверяет, является ли строка валидной датой.
+   *
+   * @param ctx контекст строки для проверки
+   * @return true, если строка является валидной датой, иначе false
+   */
   private static boolean isValidDate(BSLParser.StringContext ctx) {
     final var text = ctx.getText();
     if (!paramPattern.matcher(text).matches()) {
@@ -111,6 +131,12 @@ private static boolean isValidDate(BSLParser.StringContext ctx) {
     return isValidDate(strDate);
   }
 
+  /**
+   * Проверяет, является ли строка валидной датой в формате YYYYMMDD или YYYYMMDDHHMMSS.
+   *
+   * @param strDate строка даты для проверки
+   * @return true, если строка является валидной датой, иначе false
+   */
   private static boolean isValidDate(String strDate) {
     var year = parseInt(strDate.substring(0, 4));
     if (year < 1 || year > MAX_YEAR_BY_1C) {
@@ -130,6 +156,12 @@ private static boolean isValidDate(String strDate) {
     return hh <= 24 && mm <= 60 && ss <= 60;
   }
 
+  /**
+   * Парсит строку в целое число, удаляя ведущие нули.
+   *
+   * @param text строка для парсинга
+   * @return целое число или 0, если парсинг не удался
+   */
   private static int parseInt(String text) {
     String s = zeroPattern.matcher(text).replaceAll("");
     try {
@@ -139,16 +171,34 @@ private static int parseInt(String text) {
     }
   }
 
+  /**
+   * Проверяет, должно ли константное значение быть обработано диагностикой.
+   *
+   * @param ctx контекст константного значения
+   * @return true, если значение должно быть обработано, иначе false
+   */
   private boolean isAccepted(BSLParser.ConstValueContext ctx) {
     String text = ctx.getText();
     return text != null && !text.isEmpty() && !isExcluded(text);
   }
 
+  /**
+   * Проверяет, исключено ли значение из проверки (находится в списке авторизованных дат).
+   *
+   * @param text текст для проверки
+   * @return true, если значение исключено, иначе false
+   */
   private boolean isExcluded(String text) {
     String s = nonNumberPattern.matcher(text).replaceAll("");
     return authorizedDates.contains(s);
   }
 
+  /**
+   * Получает контекст выражения для заданного константного значения.
+   *
+   * @param constValue контекст константного значения
+   * @return контекст выражения или пустой Optional, если не найден
+   */
   private static Optional<BSLParser.ExpressionContext> getExpression(Optional<BSLParser.ConstValueContext> constValue) {
     return constValue
       .map(BSLParserRuleContext::getParent)
@@ -159,10 +209,23 @@ private static Optional<BSLParser.ExpressionContext> getExpression(Optional<BSLP
       .map(BSLParser.ExpressionContext.class::cast);
   }
 
+  /**
+   * Проверяет, находится ли выражение внутри простого присваивания даты.
+   *
+   * @param expression контекст выражения для проверки
+   * @return true, если выражение находится внутри присваивания, иначе false
+   */
   private static boolean insideSimpleDateAssignment(Optional<BSLParser.ExpressionContext> expression) {
     return insideContext(expression, BSLParser.AssignmentContext.class);
   }
 
+  /**
+   * Проверяет, находится ли выражение внутри контекста заданного типа.
+   *
+   * @param expression контекст выражения для проверки
+   * @param assignmentContextClass класс контекста для проверки
+   * @return true, если выражение находится внутри контекста заданного типа, иначе false
+   */
   private static boolean insideContext(Optional<BSLParser.ExpressionContext> expression,
                                        Class<? extends BSLParserRuleContext> assignmentContextClass) {
     return expression
@@ -171,10 +234,22 @@ private static boolean insideContext(Optional<BSLParser.ExpressionContext> expre
       .isPresent();
   }
 
+  /**
+   * Проверяет, находится ли выражение внутри оператора возврата.
+   *
+   * @param expression контекст выражения для проверки
+   * @return true, если выражение находится внутри оператора возврата, иначе false
+   */
   private static boolean insideReturnSimpleDate(Optional<BSLParser.ExpressionContext> expression) {
     return insideContext(expression, BSLParser.ReturnStatementContext.class);
   }
 
+  /**
+   * Проверяет, находится ли выражение внутри присваивания с методом Дата().
+   *
+   * @param expression контекст выражения для проверки
+   * @return true, если выражение находится внутри присваивания с методом Дата(), иначе false
+   */
   private static boolean insideAssignmentWithDateMethodForSimpleDate(Optional<BSLParser.ExpressionContext> expression) {
     return expression
       .map(BSLParserRuleContext::getParent) // callParam
@@ -196,4 +271,40 @@ private static boolean insideAssignmentWithDateMethodForSimpleDate(Optional<BSLP
       .filter(BSLParser.AssignmentContext.class::isInstance)
       .isPresent();
   }
+
+  /**
+   * Проверяет, находится ли выражение внутри присваивания свойства структуры.
+   * 
+   * @param expression контекст выражения для проверки
+   * @return true, если выражение находится внутри присваивания свойства структуры, иначе false
+   */
+  private static boolean insideStructurePropertyAssignment(BSLParser.ExpressionContext expression) {
+    var assignment = findAssignmentContext(expression);
+    if (assignment == null) {
+      return false;
+    }
+    
+    var lValue = assignment.lValue();
+    var acceptor = lValue != null && !lValue.isEmpty() ? lValue.acceptor() : null;
+    
+    return acceptor != null && acceptor.accessProperty() != null;
+  }
+
+  /**
+   * Находит контекст присваивания для заданного узла AST.
+   *
+   * @param ctx контекст узла для поиска
+   * @return контекст присваивания или null, если не найден
+   */
+  private static BSLParser.AssignmentContext findAssignmentContext(BSLParserRuleContext ctx) {
+    var current = ctx.getParent();
+    while (current != null) {
+      if (current instanceof BSLParser.AssignmentContext assignmentContext) {
+        return assignmentContext;
+      }
+      current = current.getParent();
+    }
+    return null;
+  }
+  
 }