Altova XMLSpy 2023 Enterprise Edition

当XBRL实例文档是文本视图或网格视图中的活动文档时，将启用执行公式和在服务器上执行公式（高性能）命令。这些命令执行与XBRL实例文件相关联的DTS中定义的公式和/或断言。（DTS是可发现分类标准集的缩写，指的是一个分类标准的集合。）公式是使用XBRL实例文件中的数据计算的，结果将在XBRL实例文件中输出。会单独计算断言，结果将输出到JSON或XML文件中。

在服务器上执行公式（高性能）命令使用关联的RaptorXML+XBRL Server来执行公式。使用工具 | 管理Raptor Server命令来设置RaptorXML+XBRL Server。

如果DTS中没有定义公式或断言，则会显示一条相应的消息。如果DTS中存在有效的公式或断言，则会弹出“XBRL公式执行”对话框（参见下方截图）。

参数

如果参数是在DTS中定义的，则在“参数”窗格中将显示每个参数，并可以为其输入值。参数名称是只读的。必需的参数在显示时会带有红色感叹号。并且确定按钮被禁用，直到完成参数赋值。可选的参数具有一个默认值。如果指定了一个必需的类型，则会显示该类型。需要多个值的参数会用+图标表示，单击该图标可以添加一个新值。请注意，没有值的可选参数不会被传递给引擎执行。默认值是只读的，并且如果用户不输入任何值，则会执行该默认值。

命名空间映射

该表格定义了在参数和类型的QName中使用的前缀。可以在此处定义用于参数评估的附加命名空间。

保存和加载参数

参数设置，包括命名空间映射，可以通过单击保存按钮以JSON或XML格式进行保存。文件格式由分配给该文件的文件扩展名决定。请注意，不会保存没有值的可选参数。保存后，可以通过加载按钮将参数文件加载到对话框中。

XBRL处理选项

使用选项按钮会打开“XBRL处理选项”对话框，您可以在其中打开删除重复项（以自动忽略重复事实）。

组件

此窗口包含一个树视图，允许您选择要执行的公式和/或断言组件。每一项都显示一个图标及其描述，以及ID和表达式（如果可用）。要选择要执行的组件，请选中其复选框。断言执行的输出可以是JSON或XML；在输出格式组合框中选择输出格式。XBRL公式执行的格式始终是XML。

执行

您可以选择应使用XMLSpy的内部引擎执行，还是Altova的RaptorXML Server执行。如果发生执行错误，输出窗口中将出现一条错误消息。否则，将显示一条成功消息。输出文件，assertions-ouput-file.xml/json和/或formula-output-file.xml在新的文档窗口中打开，不保存在磁盘中。您将需要明确地将文件保存到磁盘上所需的位置。

跟踪

如果您在输出格式组合框（位于对话框的左下方）中选择<trace>，则会在公式执行期间收集所有“变量集计算”的额外调试信息，并显示在“消息”窗口（参见下方截图）中。trace列出了每个公式/断言在显示该计算中变量的实际分配的位置的各个变量集计算。如果变量引用了实例事实，单击该值会将您带到实例中相应的事实元素。单击公式/断言或变量名称会将您带到公式链接库文件中相应的定义。在验证断言的情况下，还会显示在计算步骤中生成的断言消息。