yaoxiang check

对 YaoXiang 源码进行静态检查（类型检查、所有权检查），不生成任何代码。

用法

yaoxiang check [OPTIONS] [PATH]...

参数

参数	说明
PATH	一个或多个文件或目录路径。不指定时检查当前项目。

选项

选项	说明	默认值
--json	以 JSON 格式输出诊断信息	否
-w, --watch	监视文件变化并自动重新检查	否
--color <MODE>	颜色输出模式：auto、always、never	auto
--exclude <PATH>	排除指定路径（可多次使用）	无
--no-progress	抑制进度和摘要消息	否

退出码

退出码	说明
0	无错误
1	检查发现错误
2	未找到 .yx 文件

跨文件分析

yaoxiang check 支持跨文件类型检查。当检查多个文件时：

1. 并行解析所有 .yx 文件
2. 构建模块依赖图
3. 检测循环依赖（报错）
4. 按拓扑排序顺序检查
5. 使用共享类型环境，正确检测跨文件引用

# 检查整个项目（自动检测跨文件引用）
yaoxiang check src/

# 检查指定文件
yaoxiang check src/main.yx src/lib.yx

增量检查（watch 模式）

使用 -w 或 --watch 启用文件监视模式。文件变更时自动重新检查。

yaoxiang check --watch

JSON 输出格式

使用 --json 时，输出格式为：

{
  "error_count": 0,
  "warning_count": 0,
  "diagnostics": [
    {
      "file": "src/main.yx",
      "severity": "error",
      "code": "E1001",
      "message": "Unknown variable: 'x'",
      "line": 5,
      "column": 3,
      "end_line": 5,
      "end_column": 4,
      "lsp": { ... }
    }
  ]
}

示例

# 检查当前项目
yaoxiang check

# 检查指定文件
yaoxiang check src/main.yx

# 检查目录并输出 JSON
yaoxiang check src/ --json

# 监视模式
yaoxiang check --watch

# CI 模式（无颜色、无进度）
yaoxiang check --color never --no-progress

# 排除测试目录
yaoxiang check src/ --exclude tests/

与 CI 集成

# GitHub Actions
- name: Type check
  run: yaoxiang check --color never --no-progress

详细 CI 配置请参阅 CI 集成指南。

另请参阅

• yaoxiang format -- 代码格式化
• 错误码参考 -- 完整错误码列表
• CI 集成指南 -- CI/CD 集成
• 诊断系统设计 -- 架构设计文档