infinity-data 3.1.1__tar.gz → 3.2.0__tar.gz

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (78) hide show
  1. infinity_data-3.2.0/PKG-INFO +156 -0
  2. infinity_data-3.2.0/README.md +131 -0
  3. {infinity_data-3.1.1 → infinity_data-3.2.0}/pyproject.toml +18 -1
  4. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/emit/__init__.py +4 -1
  5. infinity_data-3.2.0/src/infinity_data/emit/plain_yaml.py +173 -0
  6. infinity_data-3.2.0/src/infinity_data/tools/__init__.py +7 -0
  7. infinity_data-3.2.0/src/infinity_data/tools/cov/__init__.py +30 -0
  8. infinity_data-3.2.0/src/infinity_data/tools/cov/__main__.py +6 -0
  9. infinity_data-3.2.0/src/infinity_data/tools/cov/cli.py +120 -0
  10. infinity_data-3.2.0/src/infinity_data/tools/cov/convert.py +47 -0
  11. infinity_data-3.2.0/src/infinity_data/tools/lsp/__init__.py +31 -0
  12. infinity_data-3.2.0/src/infinity_data/tools/lsp/__main__.py +6 -0
  13. infinity_data-3.2.0/src/infinity_data/tools/lsp/language.py +1045 -0
  14. infinity_data-3.2.0/src/infinity_data/tools/lsp/positions.py +78 -0
  15. infinity_data-3.2.0/src/infinity_data/tools/lsp/protocol.py +76 -0
  16. infinity_data-3.2.0/src/infinity_data/tools/lsp/server.py +210 -0
  17. infinity_data-3.2.0/src/infinity_data.egg-info/PKG-INFO +156 -0
  18. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data.egg-info/SOURCES.txt +15 -1
  19. infinity_data-3.2.0/src/infinity_data.egg-info/entry_points.txt +3 -0
  20. infinity_data-3.2.0/src/infinity_data.egg-info/requires.txt +4 -0
  21. infinity_data-3.1.1/PKG-INFO +0 -60
  22. infinity_data-3.1.1/README.md +0 -38
  23. infinity_data-3.1.1/src/infinity_data.egg-info/PKG-INFO +0 -60
  24. {infinity_data-3.1.1 → infinity_data-3.2.0}/LICENSE +0 -0
  25. {infinity_data-3.1.1 → infinity_data-3.2.0}/setup.cfg +0 -0
  26. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/__init__.py +0 -0
  27. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/emit/config.py +0 -0
  28. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/emit/converter.py +0 -0
  29. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/frontend.py +0 -0
  30. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/infra/__init__.py +0 -0
  31. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/infra/diagnostics.py +0 -0
  32. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/infra/file.py +0 -0
  33. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/infra/ll1_stream.py +0 -0
  34. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/infra/location.py +0 -0
  35. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/infra/path.py +0 -0
  36. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/parser/__init__.py +0 -0
  37. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/parser/diagnostics.py +0 -0
  38. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/parser/models.py +0 -0
  39. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/parser/parser.py +0 -0
  40. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/parser/token_stream.py +0 -0
  41. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/pipeline.py +0 -0
  42. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/py.typed +0 -0
  43. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/sandbox/__init__.py +0 -0
  44. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/sandbox/config.py +0 -0
  45. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/sandbox/errors.py +0 -0
  46. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/sandbox/mediator.py +0 -0
  47. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/sandbox/schema.py +0 -0
  48. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/semantic/__init__.py +0 -0
  49. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/semantic/builder/__init__.py +0 -0
  50. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/semantic/builder/builder.py +0 -0
  51. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/semantic/builder/models.py +0 -0
  52. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/semantic/constraints.py +0 -0
  53. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/semantic/diagnostics.py +0 -0
  54. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/semantic/executor/__init__.py +0 -0
  55. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/semantic/executor/executor.py +0 -0
  56. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/semantic/jsonpath.py +0 -0
  57. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/semantic/registry/__init__.py +0 -0
  58. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/semantic/registry/_core.py +0 -0
  59. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/semantic/registry/dict_constraints.py +0 -0
  60. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/semantic/registry/general.py +0 -0
  61. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/semantic/registry/logic.py +0 -0
  62. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/semantic/registry/types.py +0 -0
  63. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/semantic/resolver/__init__.py +0 -0
  64. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/semantic/resolver/identity.py +0 -0
  65. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/semantic/resolver/imports.py +0 -0
  66. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/semantic/resolver/models.py +0 -0
  67. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/semantic/resolver/resolver.py +0 -0
  68. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/semantic/std.py +0 -0
  69. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/tokenizer/__init__.py +0 -0
  70. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/tokenizer/char_stream.py +0 -0
  71. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/tokenizer/diagnostics.py +0 -0
  72. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/tokenizer/finalizer.py +0 -0
  73. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/tokenizer/models/__init__.py +0 -0
  74. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/tokenizer/models/raw_tokens.py +0 -0
  75. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/tokenizer/models/tokens.py +0 -0
  76. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data/tokenizer/tokenizer.py +0 -0
  77. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data.egg-info/dependency_links.txt +0 -0
  78. {infinity_data-3.1.1 → infinity_data-3.2.0}/src/infinity_data.egg-info/top_level.txt +0 -0
@@ -0,0 +1,156 @@
1
+ Metadata-Version: 2.4
2
+ Name: infinity-data
3
+ Version: 3.2.0
4
+ Summary: InfinityData:声明式配置语言(.infd/.inft)的 Python 编译器库
5
+ Author: infinity_system: yin_bailiang
6
+ License: MIT
7
+ Project-URL: Repository, https://github.com/yinbailiang/infinity_data
8
+ Project-URL: Documentation, https://github.com/yinbailiang/infinity_data#readme
9
+ Keywords: config,configuration,declarative,dsl,compiler,infinity-data
10
+ Classifier: Development Status :: 5 - Production/Stable
11
+ Classifier: Intended Audience :: Developers
12
+ Classifier: License :: OSI Approved :: MIT License
13
+ Classifier: Operating System :: OS Independent
14
+ Classifier: Programming Language :: Python :: 3
15
+ Classifier: Programming Language :: Python :: 3.12
16
+ Classifier: Programming Language :: Python :: 3.13
17
+ Classifier: Topic :: Software Development :: Libraries :: Python Modules
18
+ Requires-Python: >=3.12
19
+ Description-Content-Type: text/markdown
20
+ License-File: LICENSE
21
+ Provides-Extra: tool
22
+ Requires-Dist: pyyaml; extra == "tool"
23
+ Requires-Dist: tomli-w; extra == "tool"
24
+ Dynamic: license-file
25
+
26
+ # InfinityData
27
+
28
+ 声明式配置语言(`.infd` / `.inft`)的 Python 编译器库。
29
+
30
+ - **编译优先**:`.infd` 是源码,JSON/YAML/TOML 是构建产物
31
+ - **模板即约束**:模板定义自动注册为约束校验器
32
+ - **零信任默认**:库默认 `deny_all` 沙盒,显式开放而非事后限制
33
+ - **结构化错误**:稳定错误码 + 结构化参数 + 多语言渲染
34
+
35
+ ## 快速使用
36
+
37
+ ```bash
38
+ uv add infinity_data # 或 pip install infinity-data
39
+ ```
40
+
41
+ ```python
42
+ from infinity_data import load, safe_load, SandboxConfig, Schema
43
+
44
+ result = load('app.infd') # 默认零信任
45
+ if result.has_errors:
46
+ for d in result.diagnostics:
47
+ print(d.location, d.code, d.message)
48
+ else:
49
+ print(result.value) # 降维后的 dict
50
+ ```
51
+
52
+ ## 文档导航
53
+
54
+ | 文档 | 内容 |
55
+ |---|---|
56
+ | [neo_desg.md](./neo_desg.md) | 语言基础设计(语法 / 类型 / 模板 / 约束) |
57
+ | [extra_desg.md](./extra_desg.md) | 库 API / CLI / 生态设计 |
58
+ | [impl_desg.md](./impl_desg.md) | 编译器实现层的取舍与假设 |
59
+
60
+ ## 官方工具
61
+
62
+ 随库内置两个命令行工具(`infd-lsp` 语言服务器 + `infd-cov` 配置转换器),
63
+ 零依赖手写 JSON-RPC / emitter,直接消费编译器的公开 API
64
+ (`compile_source` / `parse_source` / `RawTokenizer` / emit / semantic)。
65
+ 工具的**可选运行依赖**(PyYAML / tomli-w)由 `tool` extra 提供,一次装齐:
66
+
67
+ ```bash
68
+ uv add 'infinity_data[tool]' # 可选:!file 的 yaml 导入 + infd-cov -f toml 输出
69
+ ```
70
+
71
+ ### 配置转换(infd-cov)
72
+
73
+ 编译 `.infd` / `.inft` → 各种配置格式(YAML / JSON / TOML):
74
+
75
+ ```bash
76
+ infd-cov app.infd # → YAML(stdout,零依赖 emitter)
77
+ infd-cov app.infd out.json -f json # → JSON 文件
78
+ infd-cov app.infd -f toml # → TOML(需 tomli-w,见 tool extra)
79
+ infd-cov app.infd --extract web.spec # → 点分路径提取
80
+ cat a.infd | infd-cov -f json # stdin → stdout
81
+ ```
82
+
83
+ - `--format`:`yaml`(默认,零依赖手写 emitter)/ `json` / `toml`
84
+ - `--extract PATH`:点分路径(如 `web.spec.selector`);空 = 整树
85
+ - `--severity LEVEL`:拒绝阈值(`error`/`warning`/`info`/`debug`/`none`,默认 `error`)
86
+ - `#env: NAME "VALUE"` 声明的变量在当前进程缺失时自动注入虚拟值
87
+ - 演示文件:`examples/app.infd`(干净配置)/ `examples/demo.infd`(含故意错误)
88
+
89
+ ### 语言服务器(LSP)
90
+
91
+ `infd-lsp`:零依赖手写 JSON-RPC 2.0 over stdio 语言服务器。
92
+
93
+ ```bash
94
+ infd-lsp # 作为任意 LSP 客户端的后端
95
+ # 或
96
+ python -m infinity_data.tools.lsp
97
+ ```
98
+
99
+ #### 已实现的能力
100
+
101
+ | 能力 | 说明 |
102
+ |---|---|
103
+ | 诊断 | `didOpen`/`didChange`/`didSave` → `publishDiagnostics`(精确位置 + 稳定错误码 + 中文消息;UTF-16 对齐) |
104
+ | 补全 | 命名空间(`$` 触发)+ 内置约束名 + 当前文件可见模板名 + 模板字段(含必填/可选)+ 语言关键字 |
105
+ | 悬停 | 约束描述、**编译产物预览**(字段/子字段/模板参数,jsonpath 投影)、**被实例化的模板**(模板骨架提示在前 + 实例预览在后)、**`$` 变量值**(定义点与调用点)、模板结构骨架(必填/可选 + description 元数据) |
106
+ | 文档大纲 | `documentSymbol`:模板定义(Class)+ 顶层字段(Property) |
107
+ | 跳转定义 | `definition`:模板调用 / `!from` 导入 / `$` 引用(含跨文件) |
108
+ | 语义令牌 | `semanticTokens`:直接用 `RawTokenizer` 分词(UTF-16 单元对齐;跨行多行字符串按行拆分) |
109
+ | 虚拟环境变量 | 扫描 `#env: NAME "VALUE"` 注释,进程未设置时自动注入虚拟值,避免 `env_not_set` 中止编译 |
110
+
111
+ #### 在 VS Code 中使用
112
+
113
+ 在项目 `.vscode/settings.json` 里用任意支持自定义 LSP 的扩展(如 `lspConfig`)配置:
114
+
115
+ ```json
116
+ {
117
+ "lspConfig.servers": [
118
+ { "language": "infd", "cmd": ["infd-lsp"] },
119
+ { "language": "inft", "cmd": ["infd-lsp"] }
120
+ ]
121
+ }
122
+ ```
123
+
124
+ 打开 `.infd` / `.inft` 文件即可获得:诊断波浪线 + 语法高亮(semantic tokens)+ 补全 + 悬停 + 大纲 + 跳转定义。
125
+
126
+ #### 端到端演示
127
+
128
+ ```bash
129
+ uv run python examples/lsp_demo.py # 自动起服务器 + 走一遍握手 + 打印结果
130
+ ```
131
+
132
+ 演示文件在 `examples/demo.infd`(故意含若干错误,展示诊断 / 补全 / 悬停 / 高亮)。
133
+
134
+ ### 虚拟环境变量(`#env` 注释)
135
+
136
+ `.infd` / `.inft` 里可以用**特殊注释**声明环境变量名和虚拟值,工具(LSP / `infd-cov`)
137
+ 在当前进程缺失该变量时自动注入,避免 `env_not_set` 中止编译、吞掉同文件其他诊断:
138
+
139
+ ```infd
140
+ #env: DEEPSEEK_API_KEY "sk-virtual-key"
141
+ !env import DEEPSEEK_API_KEY as ds_key
142
+ ```
143
+
144
+ - 语法:`#env: NAME "VALUE"` —— **变量名在前、虚拟值在后**
145
+ - 真实环境变量优先:进程里已设置时用真实值,只有缺失时才用注释里的虚拟值兜底
146
+ - 动机:`infinity_data` 沙盒在 env 未授权/未设置时会中止编译;用 `#env` 声明兜底后,
147
+ 编辑器/CLI 始终能看到全部诊断(如约束违反、未定义模板)
148
+
149
+ ## 开发
150
+
151
+ ```bash
152
+ uv run pytest -q # 测试
153
+ uv run ruff check src tests # lint
154
+ uv run pyright # 类型检查(strict)
155
+ uv run python test.py # 错误报告演示
156
+ ```
@@ -0,0 +1,131 @@
1
+ # InfinityData
2
+
3
+ 声明式配置语言(`.infd` / `.inft`)的 Python 编译器库。
4
+
5
+ - **编译优先**:`.infd` 是源码,JSON/YAML/TOML 是构建产物
6
+ - **模板即约束**:模板定义自动注册为约束校验器
7
+ - **零信任默认**:库默认 `deny_all` 沙盒,显式开放而非事后限制
8
+ - **结构化错误**:稳定错误码 + 结构化参数 + 多语言渲染
9
+
10
+ ## 快速使用
11
+
12
+ ```bash
13
+ uv add infinity_data # 或 pip install infinity-data
14
+ ```
15
+
16
+ ```python
17
+ from infinity_data import load, safe_load, SandboxConfig, Schema
18
+
19
+ result = load('app.infd') # 默认零信任
20
+ if result.has_errors:
21
+ for d in result.diagnostics:
22
+ print(d.location, d.code, d.message)
23
+ else:
24
+ print(result.value) # 降维后的 dict
25
+ ```
26
+
27
+ ## 文档导航
28
+
29
+ | 文档 | 内容 |
30
+ |---|---|
31
+ | [neo_desg.md](./neo_desg.md) | 语言基础设计(语法 / 类型 / 模板 / 约束) |
32
+ | [extra_desg.md](./extra_desg.md) | 库 API / CLI / 生态设计 |
33
+ | [impl_desg.md](./impl_desg.md) | 编译器实现层的取舍与假设 |
34
+
35
+ ## 官方工具
36
+
37
+ 随库内置两个命令行工具(`infd-lsp` 语言服务器 + `infd-cov` 配置转换器),
38
+ 零依赖手写 JSON-RPC / emitter,直接消费编译器的公开 API
39
+ (`compile_source` / `parse_source` / `RawTokenizer` / emit / semantic)。
40
+ 工具的**可选运行依赖**(PyYAML / tomli-w)由 `tool` extra 提供,一次装齐:
41
+
42
+ ```bash
43
+ uv add 'infinity_data[tool]' # 可选:!file 的 yaml 导入 + infd-cov -f toml 输出
44
+ ```
45
+
46
+ ### 配置转换(infd-cov)
47
+
48
+ 编译 `.infd` / `.inft` → 各种配置格式(YAML / JSON / TOML):
49
+
50
+ ```bash
51
+ infd-cov app.infd # → YAML(stdout,零依赖 emitter)
52
+ infd-cov app.infd out.json -f json # → JSON 文件
53
+ infd-cov app.infd -f toml # → TOML(需 tomli-w,见 tool extra)
54
+ infd-cov app.infd --extract web.spec # → 点分路径提取
55
+ cat a.infd | infd-cov -f json # stdin → stdout
56
+ ```
57
+
58
+ - `--format`:`yaml`(默认,零依赖手写 emitter)/ `json` / `toml`
59
+ - `--extract PATH`:点分路径(如 `web.spec.selector`);空 = 整树
60
+ - `--severity LEVEL`:拒绝阈值(`error`/`warning`/`info`/`debug`/`none`,默认 `error`)
61
+ - `#env: NAME "VALUE"` 声明的变量在当前进程缺失时自动注入虚拟值
62
+ - 演示文件:`examples/app.infd`(干净配置)/ `examples/demo.infd`(含故意错误)
63
+
64
+ ### 语言服务器(LSP)
65
+
66
+ `infd-lsp`:零依赖手写 JSON-RPC 2.0 over stdio 语言服务器。
67
+
68
+ ```bash
69
+ infd-lsp # 作为任意 LSP 客户端的后端
70
+ # 或
71
+ python -m infinity_data.tools.lsp
72
+ ```
73
+
74
+ #### 已实现的能力
75
+
76
+ | 能力 | 说明 |
77
+ |---|---|
78
+ | 诊断 | `didOpen`/`didChange`/`didSave` → `publishDiagnostics`(精确位置 + 稳定错误码 + 中文消息;UTF-16 对齐) |
79
+ | 补全 | 命名空间(`$` 触发)+ 内置约束名 + 当前文件可见模板名 + 模板字段(含必填/可选)+ 语言关键字 |
80
+ | 悬停 | 约束描述、**编译产物预览**(字段/子字段/模板参数,jsonpath 投影)、**被实例化的模板**(模板骨架提示在前 + 实例预览在后)、**`$` 变量值**(定义点与调用点)、模板结构骨架(必填/可选 + description 元数据) |
81
+ | 文档大纲 | `documentSymbol`:模板定义(Class)+ 顶层字段(Property) |
82
+ | 跳转定义 | `definition`:模板调用 / `!from` 导入 / `$` 引用(含跨文件) |
83
+ | 语义令牌 | `semanticTokens`:直接用 `RawTokenizer` 分词(UTF-16 单元对齐;跨行多行字符串按行拆分) |
84
+ | 虚拟环境变量 | 扫描 `#env: NAME "VALUE"` 注释,进程未设置时自动注入虚拟值,避免 `env_not_set` 中止编译 |
85
+
86
+ #### 在 VS Code 中使用
87
+
88
+ 在项目 `.vscode/settings.json` 里用任意支持自定义 LSP 的扩展(如 `lspConfig`)配置:
89
+
90
+ ```json
91
+ {
92
+ "lspConfig.servers": [
93
+ { "language": "infd", "cmd": ["infd-lsp"] },
94
+ { "language": "inft", "cmd": ["infd-lsp"] }
95
+ ]
96
+ }
97
+ ```
98
+
99
+ 打开 `.infd` / `.inft` 文件即可获得:诊断波浪线 + 语法高亮(semantic tokens)+ 补全 + 悬停 + 大纲 + 跳转定义。
100
+
101
+ #### 端到端演示
102
+
103
+ ```bash
104
+ uv run python examples/lsp_demo.py # 自动起服务器 + 走一遍握手 + 打印结果
105
+ ```
106
+
107
+ 演示文件在 `examples/demo.infd`(故意含若干错误,展示诊断 / 补全 / 悬停 / 高亮)。
108
+
109
+ ### 虚拟环境变量(`#env` 注释)
110
+
111
+ `.infd` / `.inft` 里可以用**特殊注释**声明环境变量名和虚拟值,工具(LSP / `infd-cov`)
112
+ 在当前进程缺失该变量时自动注入,避免 `env_not_set` 中止编译、吞掉同文件其他诊断:
113
+
114
+ ```infd
115
+ #env: DEEPSEEK_API_KEY "sk-virtual-key"
116
+ !env import DEEPSEEK_API_KEY as ds_key
117
+ ```
118
+
119
+ - 语法:`#env: NAME "VALUE"` —— **变量名在前、虚拟值在后**
120
+ - 真实环境变量优先:进程里已设置时用真实值,只有缺失时才用注释里的虚拟值兜底
121
+ - 动机:`infinity_data` 沙盒在 env 未授权/未设置时会中止编译;用 `#env` 声明兜底后,
122
+ 编辑器/CLI 始终能看到全部诊断(如约束违反、未定义模板)
123
+
124
+ ## 开发
125
+
126
+ ```bash
127
+ uv run pytest -q # 测试
128
+ uv run ruff check src tests # lint
129
+ uv run pyright # 类型检查(strict)
130
+ uv run python test.py # 错误报告演示
131
+ ```
@@ -1,6 +1,6 @@
1
1
  [project]
2
2
  name = "infinity-data"
3
- version = "3.1.1"
3
+ version = "3.2.0"
4
4
  description = "InfinityData:声明式配置语言(.infd/.inft)的 Python 编译器库"
5
5
  readme = "README.md"
6
6
  license = { text = "MIT" }
@@ -28,16 +28,33 @@ classifiers = [
28
28
  requires-python = ">=3.12"
29
29
  dependencies = []
30
30
 
31
+ [project.scripts]
32
+ infd-lsp = "infinity_data.tools.lsp.__main__:main"
33
+ infd-cov = "infinity_data.tools.cov.__main__:main"
34
+
35
+ [project.optional-dependencies]
36
+ # 工具 extra:infd-lsp / infd-cov 的可选运行依赖(uv add 'infinity_data[tool]')
37
+ tool = [
38
+ "pyyaml", # !file 的 yaml/yml 格式导入(LSP / 编译器)
39
+ "tomli-w", # infd-cov -f toml 输出
40
+ ]
41
+
31
42
  [project.urls]
32
43
  Repository = "https://github.com/yinbailiang/infinity_data"
33
44
  Documentation = "https://github.com/yinbailiang/infinity_data#readme"
34
45
 
35
46
  [dependency-groups]
47
+ # 工具组:cli/lsp 工具的可选运行依赖(测试/开发组保证安装,测试可依赖它们存在)
48
+ tool = [
49
+ "tomli-w", # infd-cov -f toml 输出
50
+ "pyyaml", # !file 的 yaml/yml 格式导入(LSP / 编译器)
51
+ ]
36
52
  # 测试组:仅运行测试所需(CI test job 只装这组,更快)
37
53
  test = [
38
54
  "pyyaml",
39
55
  "pytest>=8.0",
40
56
  "pytest-cov>=5.0",
57
+ { include-group = "tool" },
41
58
  ]
42
59
  # 开发组:lint/类型/钩子 + 测试组(本地开发与 CI pre-commit job 装这组)
43
60
  dev = [
@@ -7,7 +7,8 @@
7
7
  - **本层(emit,有损投影)** → :func:`to_json` / :func:`to_yaml` / :func:`to_toml`,
8
8
  按 :class:`EmitConfig` 控制 Decimal 编码与 noexist 标记;:func:`project_output`
9
9
  为纯 Python 值的轻量投影;:func:`restore_python` 反向**尝试还原**加载的原始
10
- dict 为 :data:`~infinity_data.semantic.std.StdPythonValue`
10
+ dict 为 :data:`~infinity_data.semantic.std.StdPythonValue`;:func:`yaml_dump`
11
+ 为零依赖 YAML block emitter(覆盖配置常用值,不依赖 PyYAML)
11
12
 
12
13
  **emit 不应被流水线内部使用**——内部表示一律走 semantic 的忠实转换。
13
14
  """
@@ -22,6 +23,7 @@ from infinity_data.emit.converter import (
22
23
  to_toml,
23
24
  to_yaml,
24
25
  )
26
+ from infinity_data.emit.plain_yaml import yaml_dump
25
27
 
26
28
  __all__ = [
27
29
  'EmitConfig',
@@ -32,4 +34,5 @@ __all__ = [
32
34
  'to_json',
33
35
  'to_toml',
34
36
  'to_yaml',
37
+ 'yaml_dump',
35
38
  ]
@@ -0,0 +1,173 @@
1
+ """零依赖 YAML emitter(block style,覆盖配置常用值)。
2
+
3
+ 与 :func:`infinity_data.emit.converter.to_yaml`(基于 PyYAML)的关系:
4
+ 本模块是**零依赖**轻量实现,供 ``infd-cov`` 默认 YAML 输出使用;PyYAML 未安装
5
+ 时也可用。只覆盖配置场景常见值(dict / list / 标量 / Decimal / 多行字符串),
6
+ 不做完整 YAML 规范实现。
7
+
8
+ - ``yaml_dump(obj)``:任意 Python 值 → YAML block 文本
9
+ - 值域与 :data:`~infinity_data.semantic.std.StdPythonValue` 对齐:Decimal(infd
10
+ 浮点字面量)经 ``str()`` 输出;``null`` → ``null``;多行字符串 → ``|-``
11
+ """
12
+
13
+ from __future__ import annotations
14
+
15
+ from collections.abc import Mapping
16
+ from decimal import Decimal
17
+ from typing import Any
18
+
19
+ __all__ = ['yaml_dump']
20
+
21
+ # 可序列化值(reduce 后的配置值;Decimal 为 infd 浮点字面量)。
22
+ # PEP 695 递归别名:容器值也是 YamlValue,isinstance 收窄后无 Unknown。
23
+ type YamlValue = Mapping[str, YamlValue] | list[YamlValue] | str | int | float | bool | Decimal | None
24
+
25
+
26
+ def yaml_dump(obj: Any) -> str:
27
+ """任意 Python 值 → YAML block 文本。"""
28
+ out: list[str] = []
29
+ _dump(obj, out, 0)
30
+ return '\n'.join(out)
31
+
32
+
33
+ def _dump(obj: YamlValue, out: list[str], indent: int) -> None:
34
+ pad = ' ' * indent
35
+ if isinstance(obj, Mapping):
36
+ if not obj:
37
+ out.append(f'{pad}{{}}')
38
+ return
39
+ for k, v in obj.items():
40
+ key = _plain(str(k))
41
+ if isinstance(v, Mapping):
42
+ if not v:
43
+ out.append(f'{pad}{key}: {{}}')
44
+ else:
45
+ out.append(f'{pad}{key}:')
46
+ _dump(v, out, indent + 1)
47
+ elif isinstance(v, list):
48
+ if not v:
49
+ out.append(f'{pad}{key}: []')
50
+ else:
51
+ out.append(f'{pad}{key}:')
52
+ _dump(v, out, indent + 1)
53
+ else:
54
+ if isinstance(v, str) and '\n' in v:
55
+ out.append(f'{pad}{key}: |-')
56
+ out.extend(_block_scalar_lines(v, indent))
57
+ else:
58
+ out.append(f'{pad}{key}: {_scalar(v)}')
59
+ elif isinstance(obj, list):
60
+ if not obj:
61
+ out.append(f'{pad}[]')
62
+ return
63
+ for v in obj:
64
+ if isinstance(v, Mapping):
65
+ if not v:
66
+ out.append(f'{pad}- {{}}')
67
+ continue
68
+ first = True
69
+ for k, vv in v.items():
70
+ key = _plain(str(k))
71
+ prefix = f'{pad}- ' if first else f'{pad} '
72
+ first = False
73
+ if isinstance(vv, Mapping):
74
+ if not vv:
75
+ out.append(f'{prefix}{key}: {{}}')
76
+ else:
77
+ out.append(f'{prefix}{key}:')
78
+ _dump(vv, out, indent + 2)
79
+ elif isinstance(vv, list):
80
+ if not vv:
81
+ out.append(f'{prefix}{key}: []')
82
+ else:
83
+ out.append(f'{prefix}{key}:')
84
+ _dump(vv, out, indent + 2)
85
+ else:
86
+ if isinstance(vv, str) and '\n' in vv:
87
+ out.append(f'{prefix}{key}: |-')
88
+ out.extend(_block_scalar_lines(vv, indent + 1))
89
+ else:
90
+ out.append(f'{prefix}{key}: {_scalar(vv)}')
91
+ elif isinstance(v, list):
92
+ out.append(f'{pad}-')
93
+ _dump(v, out, indent + 1)
94
+ else:
95
+ if isinstance(v, str) and '\n' in v:
96
+ out.append(f'{pad}- |-')
97
+ out.extend(_block_scalar_lines(v, indent))
98
+ else:
99
+ out.append(f'{pad}- {_scalar(v)}')
100
+ else:
101
+ out.append(f'{pad}{_scalar(obj)}')
102
+
103
+
104
+ def _block_scalar_lines(s: str, indent: int) -> list[str]:
105
+ """多行字符串 → YAML 块标量内容行(调用处负责输出 ``key: |-`` 头行)。
106
+
107
+ 内容行缩进 = 2 * (indent + 1)(比 key 多一级);空行保持完全空白,
108
+ 避免因缩进不足提前结束块;尾部空行去除(配合 ``|-`` 无末尾换行)。
109
+ """
110
+ pad = ' ' * (indent + 1)
111
+ lines = s.split('\n')
112
+ while lines and lines[-1] == '':
113
+ lines.pop()
114
+ return [f'{pad}{line}' if line else '' for line in lines]
115
+
116
+
117
+ def _scalar(v: Any) -> str:
118
+ """标量 → YAML 文本。"""
119
+ if v is None:
120
+ return 'null'
121
+ if isinstance(v, bool):
122
+ return 'true' if v else 'false'
123
+ if isinstance(v, (int, float, Decimal)):
124
+ # nan / ±inf:YAML 接受 .nan/.inf,str() 输出的 nan/inf 也常见可读
125
+ return str(v)
126
+ return _plain(str(v))
127
+
128
+
129
+ def _plain(s: str) -> str:
130
+ """普通字符串;含 YAML 特殊字符/歧义时加单引号。"""
131
+ if s == '':
132
+ return "''"
133
+ # YAML 1.1 歧义字面量 → 引号
134
+ if s in (
135
+ 'null',
136
+ 'Null',
137
+ 'NULL',
138
+ 'true',
139
+ 'True',
140
+ 'TRUE',
141
+ 'false',
142
+ 'False',
143
+ 'FALSE',
144
+ 'yes',
145
+ 'Yes',
146
+ 'YES',
147
+ 'no',
148
+ 'No',
149
+ 'NO',
150
+ 'on',
151
+ 'On',
152
+ 'ON',
153
+ 'off',
154
+ 'Off',
155
+ 'OFF',
156
+ '~',
157
+ '.nan',
158
+ '.inf',
159
+ '-.inf',
160
+ '+.inf',
161
+ ):
162
+ return f"'{s}'"
163
+ # 首字符/内嵌特殊 → 引号
164
+ if s[0] in '-?:,[]{}#&*!|>\'"%@`' or s[0] in ' \t':
165
+ return _quote(s)
166
+ if ': ' in s or ' #' in s or '\n' in s or '\t' in s or s.rstrip() != s:
167
+ return _quote(s)
168
+ return s
169
+
170
+
171
+ def _quote(s: str) -> str:
172
+ """单引号引用('' 转义单引号)。"""
173
+ return "'" + s.replace("'", "''") + "'"
@@ -0,0 +1,7 @@
1
+ """InfinityData 官方命令行工具包:配置转换(cov)+ 语言服务器(lsp)。
2
+
3
+ - :mod:`infinity_data.tools.cov`:``infd-cov`` 配置转换器(.infd/.inft → YAML/JSON/TOML)
4
+ - :mod:`infinity_data.tools.lsp`:``infd-lsp`` 语言服务器(LSP over stdio)
5
+
6
+ 每个子包都带 ``__main__.py``,可用 ``python -m infinity_data.tools.<tool>`` 启动。
7
+ """
@@ -0,0 +1,30 @@
1
+ """infd-cov:编译 .infd/.inft → 各种配置格式(YAML / JSON / TOML)。
2
+
3
+ 用法::
4
+
5
+ infd-cov app.infd # → YAML(stdout,零依赖 emitter)
6
+ infd-cov app.infd out.json -f json # → JSON 文件
7
+ infd-cov app.infd -f toml # → TOML(需 tomli-w)
8
+ infd-cov app.infd --extract web.spec # → 点分路径提取
9
+ cat a.infd | infd-cov -f json # stdin → stdout
10
+
11
+ 行为:
12
+ - 沙盒 ``SandboxConfig.full_access()``:放行全部导入(含跨目录 ``!from`` 模板导入)
13
+ - ``#env: NAME "VALUE"`` 声明的变量在当前进程缺失时自动注入虚拟值
14
+ - ``--severity LEVEL``:拒绝阈值(error/warning/info/debug/none,默认 error)。
15
+ 达到该级别(含更高)的诊断 → 全部报告到 stderr + 退出 1(不输出);
16
+ none = 从不拒绝
17
+ - ``--extract PATH``:点分路径(如 ``web.spec.selector``);空 = 整树;
18
+ 路径不存在 → stderr + 退出 1
19
+ - noexist 字段(键不出现)已在 reduce 阶段过滤
20
+
21
+ 模块划分(与 lsp 相同的包结构):
22
+ - :mod:`~infinity_data.tools.cov.cli`:入口与主流程(argparse / 编译 / 阈值)
23
+ - :mod:`~infinity_data.tools.cov.convert`:格式渲染(YAML/JSON/TOML)+ 路径提取
24
+ """
25
+
26
+ from infinity_data.tools.cov.cli import main, virtual_env
27
+
28
+ __version__ = '1.0.0'
29
+
30
+ __all__ = ['main', 'virtual_env', '__version__']
@@ -0,0 +1,6 @@
1
+ """``python -m infinity_data.tools.cov`` 入口。"""
2
+
3
+ from infinity_data.tools.cov.cli import main
4
+
5
+ if __name__ == '__main__':
6
+ raise SystemExit(main())