Skip to main content
编译/解释器读取科学目标、对象初始状态和 FSP 设备定义,将设备操作转换为类型化函数,并生成候选中间程序。它不直接调用物理设备。

输入

处理过程

  1. 校验操作是否完整定义对象要求、参数 Schema、执行前置条件、系统围栏和响应结构;
  2. 校验实验目标所需容器与操作兼容;
  3. 将参数类型、范围、枚举和状态变化编译为类型化函数契约;
  4. 组织带依赖关系的候选中间程序;
  5. 固定设备定义、对象状态和系统状态修订号。

输出

编译/解释器必须拒绝未在 FSP 定义中声明的操作或参数。compiled 只表示结构通过,不表示已仿真或已执行。