Merge pull request #1879 from artbear/async-1818

Author: nixel2007

.idea/codeStyles/Project.xml

@@ -36,6 +36,7 @@
 import java.util.List;
 import java.util.Optional;
 import java.util.regex.Pattern;
+import java.util.stream.Collectors;
 
 import static com.github._1c_syntax.bsl.parser.BSLParser.RULE_codeBlock;
 import static com.github._1c_syntax.bsl.parser.BSLParser.RULE_statement;
@@ -85,10 +86,24 @@ private static boolean checkNextBlocks(BSLParser.StatementContext statement) {
     if (codeBlock == null || codeBlock.statement().isEmpty()) {
       return false;
     }
-    if (Trees.getNextNode(codeBlock, statement, RULE_statement) != null) {
-      return true;
+    final var asyncLine = statement.getStop().getLine();
+    final var statements = codeBlock.statement().stream()
+      .filter(statementContext -> statementContext != statement &&
+        statementContext.getStart().getLine() > asyncLine)
+      .collect(Collectors.toList());
+    final var compoundCtx = statements.stream()
+      .findFirst()
+      .map(BSLParser.StatementContext::compoundStatement);
+    final var returnAfterAsync = compoundCtx
+      .map(BSLParser.CompoundStatementContext::returnStatement)
+      .isPresent();
+    if (returnAfterAsync){
+      return false;
     }
-    return checkParentBlock(codeBlock);
+    final var breakAfterAsync = compoundCtx
+      .map(BSLParser.CompoundStatementContext::breakStatement)
+      .isPresent();
+    return (!breakAfterAsync && !statements.isEmpty()) || checkParentBlock(codeBlock);
   }
 
   private static boolean checkParentBlock(BSLParser.CodeBlockContext codeBlock) {

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

@@ -39,7 +39,7 @@ void test() {
     List<Diagnostic> diagnostics = getDiagnostics();
 
     assertThat(diagnostics, true)
-      .hasRange(4,  4, 96)
+      .hasRange(4, 4, 96)
       .hasRange(21, 8, 100)
       .hasRange(34, 8, 100)
       .hasRange(48, 12, 104)
@@ -48,15 +48,8 @@ void test() {
       .hasRange(93, 12, 104)
       .hasRange(108, 12, 104)
       .hasRange(123, 12, 104)
-      .hasRange(136, 4, 36)
-      .hasRange(145, 8, 100)
-      .hasRange(158, 12, 104)
-      .hasRange(172, 12, 104)
-      .hasRange(186, 12, 104)
-      .hasRange(200, 12, 104)
-      .hasRange(214, 12, 104)
-      .hasRange(228, 12, 104)
-      .hasSize(17);
+      .hasRange(270, 12, 104)
+      .hasSize(10);
 
   }
 }

src/test/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/CodeAfterAsyncCallDiagnosticTest.java

@@ -235,3 +235,55 @@
     КонецЕсли;
 
 КонецПроцедуры
+
+&НаКлиенте
+Процедура ВозвратПослеАсинхрона(Команда)
+    Если Условие Тогда
+        ДополнительныеПараметры = Новый Структура("Результат", 10);
+        Оповещение = Новый ОписаниеОповещения("ПослеВводаКоличества1", ЭтотОбъект);
+        ПоказатьВводЧисла(Оповещение, 1, "Введите количество", ДополнительныеПараметры.Результат, 2);
+        Возврат; // не ошибка
+    КонецЕсли;
+
+    КодВКонцеМетода(); // не ошибка
+
+КонецПроцедуры
+
+&НаКлиенте
+Процедура ПрерватьАсинхрона(Команда)
+    Если Условие Тогда
+        Для Каждого Элемент Из Коллекция Цикл
+            ДополнительныеПараметры = Новый Структура("Результат", 10);
+            Оповещение = Новый ОписаниеОповещения("ПослеВводаКоличества1", ЭтотОбъект);
+            ПоказатьВводЧисла(Оповещение, 1, "Введите количество", ДополнительныеПараметры.Результат, 2);
+            Прервать; // не ошибка
+        КонецЦикла;
+    КонецЕсли;
+
+КонецПроцедуры
+
+&НаКлиенте
+Процедура ПрерватьПослеАсинхронаИКодПослеЦикла(Команда)
+    Если Условие Тогда
+        Для Каждого Элемент Из Коллекция Цикл
+            ДополнительныеПараметры = Новый Структура("Результат", 10);
+            Оповещение = Новый ОписаниеОповещения("ПослеВводаКоличества1", ЭтотОбъект);
+            ПоказатьВводЧисла(Оповещение, 1, "Введите количество", ДополнительныеПараметры.Результат, 2);
+            Прервать; // не ошибка
+        КонецЦикла;
+    КонецЕсли;
+
+    КодПослеЦикла(); // ошибка
+КонецПроцедуры
+
+&НаКлиенте
+Процедура ДваВызоваАсинхронаВоВзаимоисключащихВетках(Команда)
+    ДополнительныеПараметры = Новый Структура("Результат", 10);
+    Оповещение = Новый ОписаниеОповещения("ПослеВводаКоличества1", ЭтотОбъект);
+    Если Условие Тогда
+        ПоказатьВводЧисла(Оповещение, 1, "Введите количество", ДополнительныеПараметры.Результат, 2); // не ошибка
+    Иначе
+        ПоказатьВводЧисла(Оповещение, 1, "Введите количество", ДополнительныеПараметры.Результат, 2);  // не ошибка
+    КонецЕсли;
+
+КонецПроцедуры