fix(types): описанные поля коллекции принадлежат её элементу

src/main/java/com/github/_1c_syntax/bsl/languageserver/types/index/SymbolTypeIndex.java

@@ -28,6 +28,7 @@
 import com.github._1c_syntax.bsl.languageserver.context.symbol.ParameterDefinition;
 import com.github._1c_syntax.bsl.languageserver.context.symbol.SourceDefinedSymbol;
 import com.github._1c_syntax.bsl.languageserver.infrastructure.WorkspaceScope;
+import com.github._1c_syntax.bsl.languageserver.types.inferencer.OpenDataObjectInference;
 import com.github._1c_syntax.bsl.languageserver.types.model.LazyTypeSet;
 import com.github._1c_syntax.bsl.languageserver.types.model.MemberDescriptor;
 import com.github._1c_syntax.bsl.languageserver.types.model.MemberKind;
@@ -72,6 +73,9 @@
   /** Минимальное число сегментов квалифицированной ссылки ({@code Модуль.Метод}). */
   private static final int MIN_QUALIFIED_SEGMENTS = 2;
 
+  /** Коллекция строк — у дерева значений строки лежат в ней, а не в самом дереве. */
+  private static final String ROWS = "Строки";
+
   private final TypeRegistry typeRegistry;
 
   private final Map<MethodSymbol, TypeSet> declaredReturnTypes = new ConcurrentHashMap<>();
@@ -485,29 +489,65 @@
    * на локальную функцию, навешивается лениво ({@link TypeSet#withLazyField}) —
    * для поддержки рекурсивных структур.
    */
   private TypeSet applyFields(TypeSet base, TypeDescription td, ResolutionContext context) {
     var fields = td.fields();
     if (fields == null || fields.isEmpty() || base.refs().isEmpty()) {
       return base;
     }
     var headRef = base.refs().iterator().next();
-    var result = base;
+    // У коллекции описанные звёздочками имена — это свойства её элемента, а не её самой:
+    // обращений вида «Таблица.Цена» или «Соответствие.Ключ» в 1С нет. Собственные
+    // свойства бывают только у структуроподобных типов — им поля и остаются.
+    var elementRef = collectionElement(headRef, context.fileType());
+    var fieldsRef = elementRef == null ? headRef : elementRef;
+    var result = elementRef == null ? base : TypeSet.of(elementRef);
     for (var field : fields) {
       var eager = TypeSet.EMPTY;
       for (var fieldType : field.types()) {
         var localFunction = localFunctionSeeRef(fieldType, context);
         if (localFunction != null) {
-          result = result.withLazyField(headRef, field.name(),
+          result = result.withLazyField(fieldsRef, field.name(),
             lazyReturnTypes(localFunction), fieldDescription(field));
         } else {
           eager = eager.union(resolveTypes(List.of(fieldType), context));
         }
       }
       if (!eager.isEmpty()) {
-        result = result.withField(headRef, field.name(), eager, fieldDescription(field));
+        result = result.withField(fieldsRef, field.name(), eager, fieldDescription(field));
       }
     }
-    return result;
+    return elementRef == null ? result : base.withElement(headRef, result);
+  }
+
+  /**
+   * Элемент коллекции — строка таблицы или дерева, элемент табличной части или
+   * коллекции формы, пара «ключ и значение» соответствия.
+   *
+   * @param ref      тип, к которому относится описание полей.
+   * @param fileType язык, на котором ищется член-коллекция строк.
+   * @return тип элемента; {@code null} у типов, где описанные поля принадлежат самому
+   *     типу, и у тех, элемент которых реестру неизвестен.
+   */
+  private @Nullable TypeRef collectionElement(TypeRef ref, FileType fileType) {
+    if (!OpenDataObjectInference.isElementBearingCollection(ref.qualifiedName())) {
+      return null;
+    }
+    var direct = firstRef(typeRegistry.getDefaultElementTypes(ref));
+    if (direct != null) {
+      return direct;
+    }
+    // Дерево значений само не обходится: его строки лежат в отдельной коллекции «Строки»,
+    // и колонки описания принадлежат строке именно этой коллекции.
+    return typeRegistry.findMember(ref, MemberKind.PROPERTY, ROWS, fileType)
+      .map(MemberDescriptor::returnTypes)
+      .map(SymbolTypeIndex::firstRef)
+      .map(typeRegistry::getDefaultElementTypes)
+      .map(SymbolTypeIndex::firstRef)
+      .orElse(null);
+  }
+
+  private static @Nullable TypeRef firstRef(TypeSet types) {
+    return types.refs().stream().findFirst().orElse(null);
   }
 
   /**

src/main/java/com/github/_1c_syntax/bsl/languageserver/types/inferencer/ExpressionTypeInferencer.java

@@ -639,14 +639,22 @@ private TypeSet inferDereference(BinaryOperationNode node, InferenceContext ctx)
    * Если {@code ret} совпадает с одним из element-ref'ов коллекции на левом
    * типе — построить TypeSet с этим ref'ом и его {@code localFields} из
    * {@code elementSet} (то есть «передать» накопленные колонки/поля строки).
+   * Если же {@code ret} — коллекция, элемент которой и есть такая строка
+   * ({@code Дерево.Строки}), уточнение переезжает внутрь этой коллекции.
    * Иначе — обычный {@link TypeSet#of(TypeRef)}.
    */
-  @Nullable
-  private static TypeSet enrichReturnRefWithElementFields(TypeRef ret, TypeSet elementSet) {
-    if (!elementSet.refs().contains(ret)) {
-      return TypeSet.of(ret);
+  private TypeSet enrichReturnRefWithElementFields(TypeRef ret, TypeSet elementSet) {
+    if (elementSet.refs().contains(ret)) {
+      return TypeSet.of(ret).withFields(ret, elementSet.getLocalFields(ret));
+    }
+    var carried = TypeSet.EMPTY;
+    for (var elementRef : typeRegistry.getDefaultElementTypes(ret).refs()) {
+      if (elementSet.refs().contains(elementRef)) {
+        carried = carried.union(
+          TypeSet.of(elementRef).withFields(elementRef, elementSet.getLocalFields(elementRef)));
+      }
     }
-    return TypeSet.of(ret).withFields(ret, elementSet.getLocalFields(ret));
+    return carried.isEmpty() ? TypeSet.of(ret) : TypeSet.of(ret).withElement(ret, carried);
   }
 
   /**

src/main/java/com/github/_1c_syntax/bsl/languageserver/types/inferencer/OpenDataObjectInference.java

@@ -147,6 +147,31 @@ public static boolean isValueTableLike(String typeName) {
     return lower.equals("таблицазначений") || lower.equals("valuetable");
   }
 
+  /**
+   * Коллекции, у которых нет собственных пользовательских свойств: описанные поля
+   * принадлежат их элементу — строке таблицы или дерева, элементу табличной части или
+   * коллекции формы, паре «ключ и значение» соответствия.
+   * <p>
+   * Отличать приходится по имени: у коллекции формы и выборки из результата запроса
+   * элемент тоже есть, но обращение по имени свойства к ним самим — законное.
+   *
+   * @param typeName имя типа.
+   * @return {@code true}, если описанные поля принадлежат элементу.
+   */
+  public static boolean isElementBearingCollection(String typeName) {
+    var lower = typeName.toLowerCase(Locale.ROOT);
+    return switch (lower) {
+      case "таблицазначений", "valuetable",
+           "деревозначений", "valuetree",
+           "табличная часть", "tabularsection",
+           "данныеформыколлекция", "formdatacollection",
+           "данныеформыдерево", "formdatatree",
+           "соответствие", "map",
+           "фиксированноесоответствие", "fixedmap" -> true;
+      default -> false;
+    };
+  }
+
   /**
    * Описание типов — объект, чьё содержимое задаётся строкой в конструкторе.
    *

src/test/java/com/github/_1c_syntax/bsl/languageserver/types/ValueTableColumnsFieldsInferenceTest.java

@@ -80,6 +80,82 @@
       .isNotEmpty();
   }
 
+  @Test
+  void columnsFromDescriptionBecomeRowFields() {
+    // given: колонки таблицы объявлены в описании возвращаемого значения функции,
+    // а не собраны рядом через «Колонки.Добавить».
+    var documentContext = TestUtils.getDocumentContextFromFile(
+      "./src/test/resources/types/ValueTableColumnsFields.bsl");
+
+    // when
+    var idTypes = inferAtMarker(documentContext,
+      "C = СтрокаПоОписанию.Идентификатор", "C = СтрокаПоОписанию.".length() + 1);
+    var sumTypes = inferAtMarker(documentContext,
+      "D = СтрокаПоОписанию.Сумма", "D = СтрокаПоОписанию.".length() + 1);
+
+    // then: строка из «Добавить()» знает колонки так же, как при сборке их по коду.
+    assertThat(idTypes.refs())
+      .extracting(ref -> ref.qualifiedName())
+      .containsExactly("Строка");
+    assertThat(sumTypes.refs())
+      .extracting(ref -> ref.qualifiedName())
+      .containsExactly("Число");
+  }
+
+  @Test
+  void columnsFromDescriptionBecomeRowFieldsViaForEach() {
+    // given: та же таблица из описания, обход «Для Каждого».
+    var documentContext = TestUtils.getDocumentContextFromFile(
+      "./src/test/resources/types/ValueTableColumnsFields.bsl");
+
+    // when
+    var idTypes = inferAtMarker(documentContext,
+      "E = ОбходПоОписанию.Идентификатор", "E = ОбходПоОписанию.".length() + 1);
+
+    // then
+    assertThat(idTypes.refs())
+      .extracting(ref -> ref.qualifiedName())
+      .containsExactly("Строка");
+  }
+
+  @Test
+  void treeColumnsFromDescriptionBecomeRowFields() {
+    // given: колонки дерева объявлены в описании возвращаемого значения функции.
+    var documentContext = TestUtils.getDocumentContextFromFile(
+      "./src/test/resources/types/ValueTableColumnsFields.bsl");
+
+    // when
+    var types = inferAtMarker(documentContext,
+      "F = СтрокаДерева.Наименование", "F = СтрокаДерева.".length() + 1);
+
+    // then
+    assertThat(types.refs())
+      .extracting(ref -> ref.qualifiedName())
+      .containsExactly("Строка");
+  }
+
+  @Test
+  void mapFieldsFromDescriptionBecomeElementFields() {
+    // given: у соответствия описаны «Ключ» и «Значение» — это свойства элемента
+    // «КлючИЗначение», а не самого соответствия: обращения к нему через точку в 1С нет.
+    var documentContext = TestUtils.getDocumentContextFromFile(
+      "./src/test/resources/types/ValueTableColumnsFields.bsl");
+
+    // when
+    var keyTypes = inferAtMarker(documentContext,
+      "G = ЭлементСоответствия.Ключ", "G = ЭлементСоответствия.".length() + 1);
+    var valueTypes = inferAtMarker(documentContext,
+      "H = ЭлементСоответствия.Значение", "H = ЭлементСоответствия.".length() + 1);
+
+    // then
+    assertThat(keyTypes.refs())
+      .extracting(ref -> ref.qualifiedName())
+      .containsExactly("Строка");
+    assertThat(valueTypes.refs())
+      .extracting(ref -> ref.qualifiedName())
+      .containsExactly("Число");
+  }
+
   @Test
   void columnTypeExtractedFromTypeDescriptionConstructor() {
     // Колонки.Добавить("Имя", Новый ОписаниеТипов("Число")) — колонка должна иметь тип Число.

src/test/resources/types/ValueTableColumnsFields.bsl

@@ -1,3 +1,59 @@
+// Возвращаемое значение:
+//  ТаблицаЗначений:
+//   * Идентификатор - Строка
+//   * Сумма - Число
+//
+Функция ТаблицаИзОписания() Экспорт
+	Таблица = Новый ТаблицаЗначений;
+	Таблица.Колонки.Добавить("Идентификатор", Новый ОписаниеТипов("Строка"));
+	Таблица.Колонки.Добавить("Сумма", Новый ОписаниеТипов("Число"));
+	Возврат Таблица;
+КонецФункции
+
+// Возвращаемое значение:
+//  ДеревоЗначений:
+//   * Наименование - Строка
+//
+Функция ДеревоИзОписания() Экспорт
+	Дерево = Новый ДеревоЗначений;
+	Дерево.Колонки.Добавить("Наименование", Новый ОписаниеТипов("Строка"));
+	Возврат Дерево;
+КонецФункции
+
+// Возвращаемое значение:
+//  Соответствие:
+//   * Ключ - Строка
+//   * Значение - Число
+//
+Функция СоответствиеИзОписания() Экспорт
+	Возврат Новый Соответствие;
+КонецФункции
+
+Процедура ТестДереваИзОписания()
+	ДеревоПоОписанию = ДеревоИзОписания();
+	Для Каждого СтрокаДерева Из ДеревоПоОписанию.Строки Цикл
+		F = СтрокаДерева.Наименование;
+	КонецЦикла;
+КонецПроцедуры
+
+Процедура ТестСоответствияИзОписания()
+	СоответствиеПоОписанию = СоответствиеИзОписания();
+	Для Каждого ЭлементСоответствия Из СоответствиеПоОписанию Цикл
+		G = ЭлементСоответствия.Ключ;
+		H = ЭлементСоответствия.Значение;
+	КонецЦикла;
+КонецПроцедуры
+
+Процедура ТестКолонкиИзОписания()
+	ТаблицаПоОписанию = ТаблицаИзОписания();
+	СтрокаПоОписанию = ТаблицаПоОписанию.Добавить();
+	C = СтрокаПоОписанию.Идентификатор;
+	D = СтрокаПоОписанию.Сумма;
+	Для Каждого ОбходПоОписанию Из ТаблицаПоОписанию Цикл
+		E = ОбходПоОписанию.Идентификатор;
+	КонецЦикла;
+КонецПроцедуры
+
 Процедура Тест()
 	ТЗ = Новый ТаблицаЗначений;
 	ТЗ.Колонки.Добавить("Имя");