Исправлен выброс исключения диагностики DoubleNegatives при наборе ко…

…да/ошибках разбора кода
1c-syntax · Feb 9, 2025 · 165184b · 165184b
1 parent fc5bd74
commit 165184b
Show file tree

Hide file tree

Showing 2 changed files with 44 additions and 1 deletion.
diff --git a/...hub/_1c_syntax/bsl/languageserver/utils/expressiontree/ExpressionTreeBuildingVisitor.java b/...hub/_1c_syntax/bsl/languageserver/utils/expressiontree/ExpressionTreeBuildingVisitor.java
@@ -110,7 +110,11 @@ public ParseTree visitExpression(BSLParser.ExpressionContext ctx) {
     }
 
     var operation = operands.peek();
-    assert operation != null; // для спокойствия сонара
+    // В случае ошибок парсинга выражения, operation может быть null
+    if (operation == null) {
+      recursionLevel--;
+      return ctx;
+    }
 
     if (operation.getRepresentingAst() == null) {
       operation.setRepresentingAst(ctx);
@@ -127,13 +131,24 @@ public ParseTree visitExpression(BSLParser.ExpressionContext ctx) {
   @Override
   public ParseTree visitMember(BSLParser.MemberContext ctx) {
 
+    // В случае ошибки парсинга member может быть пустой.
+    if (ctx.getChildCount() == 0) {
+      return ctx;
+    }
+
     // нужен ручной dispatch на конкретного child,
     // т.к. нет отдельного правила для подвыражения в скобках
     //  constValue
     //    | complexIdentifier
     //    | (( LPAREN expression RPAREN ) modifier*) // нечего оверрайдить !
     //    | (WAIT_KEYWORD (IDENTIFIER | globalMethodCall))
 
+    //  constValue
+      // | complexIdentifier
+      // | (( LPAREN expression RPAREN ) modifier*) // нечего оверрайдить !
+      // | (IDENTIFIER | globalMethodCall)
+      // | waitExpression
+
     var unaryModifier = ctx.unaryModifier();
     var childIndex = 0;
     if (unaryModifier != null) {

diff --git a/src/test/resources/diagnostics/DoubleNegativesDiagnostic.bsl b/src/test/resources/diagnostics/DoubleNegativesDiagnostic.bsl
@@ -39,3 +39,31 @@
 // NoSuchElementException
 Запись = РегистрыСведений.ЗаданияКПересчетуСтатуса.СоздатьМенеджерЗаписи();
 Запись.Записать(Истина);
+
+// C ошибкой разбора
+// Вынесено в отдельную процедуру в блоке subAfterCodeBlock, т.к. иначе парсер ломается целиком и expression tree builder
+// ничего не строит
+Процедура Тест()
+
+    Если Истина Тогда
+
+        // C ошибкой разбора
+        Если Тогда
+
+        КонецЕсли;
+
+        // С ошибкой разбора
+        Пока А Цикл
+            Если
+            #Если Сервер Тогда
+            F
+            #Иначе
+            G
+            #КонецЕсли
+            Тогда
+            КонецЕсли;
+        КонецЦикла;
+
+    КонецЕсли;
+
+КонецПроцедуры