From 8eedca4c2277c32364d92cb31754ad941cb8c699 Mon Sep 17 00:00:00 2001 From: Nick Shirokov Date: Sat, 13 Jun 2026 14:18:37 +0300 Subject: [PATCH] =?UTF-8?q?feat(form-compile,form-decompile):=20typed-empt?= =?UTF-8?q?y=20=D0=B7=D0=BD=D0=B0=D1=87=D0=B5=D0=BD=D0=B8=D0=B5=20=D0=BF?= =?UTF-8?q?=D0=B0=D1=80=D0=B0=D0=BC=D0=B5=D1=82=D1=80=D0=B0=20=D0=B4=D0=B8?= =?UTF-8?q?=D0=BD-=D1=81=D0=BF=D0=B8=D1=81=D0=BA=D0=B0=20(xs:string=20vs?= =?UTF-8?q?=20nil)=20+=20SettingsStorage?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit (1) Пустое значение schema-параметра дин-списка: компилятор ВСЕГДА эмитил , но платформа часть пустых строковых параметров пишет типизированным пустым (корпус: 27 typed-empty, все xs:string; 255 nil). Решается ФОРМОЙ value, не valueType: декомпилятор различает ( → value:"", → ключ опущен/null — Convert-TypedValue пустого xs:string даёт ""). Компилятор: при value:"" (явная пустая строка, тип отсутствует или string) → typed-empty xs:string, НЕ nil. Ветка ПЕРЕД vla-nil (решение не зависит от valueListAllowed). Зеркало py. (2) SettingsStorage — форменное свойство (ссылка на хранилище настроек, корпус 11) → KNOWN_FORM_PROPS (декомпилятор; компилятор авто-PascalCase Emit-Properties уже эмитит). Выборка 17 форм: match 13→15 (типовая МашиночитаемыеДоверенности — 18 typed-empty, была вся в nil → match). ps1==py байт-в-байт. Регресс 43/43. Spec обновлён. Остаток 2 формы (другие value-подвиды): DesignTimeValue в dcscor-контексте дропнут; пустой LocalStringType self-closing vs пара — отдельные находки. Co-Authored-By: Claude Opus 4.8 (1M context) --- .claude/skills/form-compile/scripts/form-compile.ps1 | 8 +++++++- .claude/skills/form-compile/scripts/form-compile.py | 8 +++++++- .claude/skills/form-decompile/scripts/form-decompile.ps1 | 4 ++-- docs/form-dsl-spec.md | 2 +- 4 files changed, 17 insertions(+), 5 deletions(-) diff --git a/.claude/skills/form-compile/scripts/form-compile.ps1 b/.claude/skills/form-compile/scripts/form-compile.ps1 index b318ca08..8c45986c 100644 --- a/.claude/skills/form-compile/scripts/form-compile.ps1 +++ b/.claude/skills/form-compile/scripts/form-compile.ps1 @@ -1,4 +1,4 @@ -# form-compile v1.155 — Compile 1C managed form from JSON or object metadata +# form-compile v1.156 — Compile 1C managed form from JSON or object metadata # Source: https://github.com/Nikolay-Shirokov/cc-1c-skills param( [string]$JsonPath, @@ -5434,6 +5434,12 @@ function Emit-DLParameter { $valIsArray = ($parsed.value -is [array]) -or ($parsed.value -is [System.Collections.IList] -and $parsed.value -isnot [string]) if ($valIsArray) { foreach ($v in @($parsed.value)) { Emit-DLValue -type $parsed.type -val $v -indent $ci -valueListAllowed $false } + } elseif ($parsed.valueExplicit -and ($null -ne $parsed.value) -and ("$($parsed.value)" -eq '') -and (("$($parsed.type)" -eq '') -or ("$($parsed.type)" -match '^string'))) { + # Явный пустой СТРОКОВЫЙ параметр (value:"" от декомпилятора) → типизированный пустой + # , НЕ nil. Решается ФОРМОЙ value (""→typed-empty, + # null/отсутствие→nil), независимо от valueListAllowed; декомпилятор различает ""/null + # (Convert-TypedValue пустого xs:string → "", nil → value опущен/null). Корпус: 26 xs:string. + X "$ci" } elseif ($vla -and (Test-DLEmptyValue $parsed.value) -and $parsed.valueExplicit) { # valueListAllowed + явный пустой (value:null от декомпилятора) → платформа здесь пишет nil X "$ci" diff --git a/.claude/skills/form-compile/scripts/form-compile.py b/.claude/skills/form-compile/scripts/form-compile.py index d8113dff..0857c605 100644 --- a/.claude/skills/form-compile/scripts/form-compile.py +++ b/.claude/skills/form-compile/scripts/form-compile.py @@ -1,5 +1,5 @@ #!/usr/bin/env python3 -# form-compile v1.155 — Compile 1C managed form from JSON or object metadata +# form-compile v1.156 — Compile 1C managed form from JSON or object metadata # Source: https://github.com/Nikolay-Shirokov/cc-1c-skills import argparse import copy @@ -5198,6 +5198,12 @@ def emit_dl_parameter(lines, p, parsed, indent): if isinstance(pv, list): for v in pv: emit_dl_value(lines, parsed.get('type', ''), v, ci, False) + elif parsed.get('value_explicit') and pv is not None and str(pv) == '' and (str(parsed.get('type', '')) == '' or re.match(r'^string', str(parsed.get('type', '')))): + # Явный пустой СТРОКОВЫЙ параметр (value:"" от декомпилятора) → типизированный пустой + # , НЕ nil. Решается ФОРМОЙ value (""→typed-empty, + # null/отсутствие→nil), независимо от valueListAllowed; декомпилятор различает ""/null. + # Корпус: 26 xs:string typed-empty. + lines.append(f'{ci}') elif vla and is_dl_empty_value(pv) and parsed.get('value_explicit'): # valueListAllowed + явный пустой (value:null от декомпилятора) → платформа пишет nil lines.append(f'{ci}') diff --git a/.claude/skills/form-decompile/scripts/form-decompile.ps1 b/.claude/skills/form-decompile/scripts/form-decompile.ps1 index b2a9cea9..5f2c0858 100644 --- a/.claude/skills/form-decompile/scripts/form-decompile.ps1 +++ b/.claude/skills/form-decompile/scripts/form-decompile.ps1 @@ -1,4 +1,4 @@ -# form-decompile v0.130 — Decompile 1C managed Form.xml to JSON DSL (draft) +# form-decompile v0.131 — Decompile 1C managed Form.xml to JSON DSL (draft) # Source: https://github.com/Nikolay-Shirokov/cc-1c-skills # ВНИМАНИЕ: раундтрип не гарантируется. Навык исключён из авто-использования моделью. param( @@ -2474,7 +2474,7 @@ $titleNode = $root.SelectSingleNode("lf:Title", $ns) if ($titleNode) { $t = Get-LangText $titleNode; if ($null -ne $t) { $dsl['title'] = $t } } # properties (прямые скаляры под
, PascalCase → camelCase) -$KNOWN_FORM_PROPS = @('AutoTitle','ReportResult','DetailsData','ReportFormType','AutoShowState','ReportResultViewMode','ViewModeApplicationOnSetReportResult','WindowOpeningMode','CommandBarLocation','SaveDataInSettings','AutoSaveDataInSettings','AutoTime','UsePostingMode','RepostOnWrite','AutoURL','AutoFillCheck','Customizable','EnterKeyBehavior','VerticalScroll','Width','Height','Group','UseForFoldersAndItems','SaveWindowSettings','ScalingMode','VerticalSpacing','VariantAppearance','ShowCloseButton','HorizontalAlign','ChildrenAlign','ShowTitle','ConversationsRepresentation','CollapseItemsByImportanceVariant','GroupList','ChildItemsWidth','VerticalAlign','HorizontalSpacing','CustomSettingsFolder') +$KNOWN_FORM_PROPS = @('AutoTitle','ReportResult','DetailsData','ReportFormType','AutoShowState','ReportResultViewMode','ViewModeApplicationOnSetReportResult','WindowOpeningMode','CommandBarLocation','SaveDataInSettings','AutoSaveDataInSettings','AutoTime','UsePostingMode','RepostOnWrite','AutoURL','AutoFillCheck','Customizable','EnterKeyBehavior','VerticalScroll','Width','Height','Group','UseForFoldersAndItems','SaveWindowSettings','ScalingMode','VerticalSpacing','VariantAppearance','ShowCloseButton','HorizontalAlign','ChildrenAlign','ShowTitle','ConversationsRepresentation','CollapseItemsByImportanceVariant','GroupList','ChildItemsWidth','VerticalAlign','HorizontalSpacing','CustomSettingsFolder','SettingsStorage') $props = [ordered]@{} foreach ($pn in $KNOWN_FORM_PROPS) { $v = Get-Child $root $pn diff --git a/docs/form-dsl-spec.md b/docs/form-dsl-spec.md index e061a264..6a83c677 100644 --- a/docs/form-dsl-spec.md +++ b/docs/form-dsl-spec.md @@ -984,7 +984,7 @@ Forgiving-синонимы типа: XML-имя (`SpreadSheetDocumentField`) и |-----------|-----------| | `title` | Авто из имени (camelCase → «Заполнена серия»); явный `title`/`[Заголовок]` — только для переопределения | | `useRestriction` | Эмитится всегда, **умолчание `true`**; для выключения — объект `{ "useRestriction": false }` | -| `value` | Умолчание — пустое (`xsi:nil`), даже при заданном типе | +| `value` | Нет ключа → `xsi:nil`. **Явная пустая строка `value: ""`** → типизированный пустой `` (НЕ nil; платформа так пишет часть пустых строковых параметров — корпус 27). Декомпилятор различает: пустой строковый тег → `""`, nil-тег → ключ опущен/`null` | Объектные ключи (как в СКД): `name`, `title`, `type`/`valueType`, `value`, `valueListAllowed`, `useRestriction`, `availableAsField`, `expression`, `availableValues` (`[{ value, presentation }]`), `inputParameters`, `denyIncompleteValues`, `use`.