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

Author: nixel2007

src/main/java/com/github/_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,12 +131,18 @@ 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))
+      // | complexIdentifier
+      // | (( LPAREN expression RPAREN ) modifier*) // нечего оверрайдить !
+      // | (IDENTIFIER | globalMethodCall)          // нечего оверрайдить !
+      // | waitExpression
 
     var unaryModifier = ctx.unaryModifier();
     var childIndex = 0;
@@ -141,6 +151,10 @@ public ParseTree visitMember(BSLParser.MemberContext ctx) {
       childIndex = 1;
     }
 
+    if (ctx.waitExpression() != null) {
+      return visitWaitExpression(ctx.waitExpression());
+    }
+
     var dispatchChild = ctx.getChild(childIndex);
     if (dispatchChild instanceof TerminalNode terminalNode) {
       var token = terminalNode.getSymbol().getType();
@@ -150,9 +164,6 @@ public ParseTree visitMember(BSLParser.MemberContext ctx) {
         case BSLLexer.LPAREN:
           visitParenthesis(ctx.expression(), ctx.modifier());
           break;
-        case BSLLexer.AWAIT_KEYWORD:
-          visitAwaitedMember(ctx.getChild(childIndex + 1));
-          break;
         default:
           throw new IllegalStateException("Unexpected rule " + dispatchChild);
       }

src/test/resources/diagnostics/DoubleNegativesDiagnostic.bsl

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