在输出文件之前执行“输出定义检查”以检查扩展。

       我们以 9.1.6 模式构建与分析中的例子为例。
      

       单击菜单中“输出”下的“输出定义检查”。
        
      或者，右键单击 $File[x] 或 $Seq[x](x=1,..,n) 并单击“检查输出定义”。
              

      将显示检查输出定义的屏幕。
       

      如果输出定义检查中有任何重复，则重复两次。
      首先处理$Seq[1]。由于$Seq[1]是重复的，因此会重复两次。
      $Var[28] 的变量标识符在 $Seq[1] 的内容中重复。
　 如果重复，将显示为%Var[28][x] (x=0,1)
      $Seq[1] 的内容有子序列$Seq[3]。
　元素名称#Var[39] 展开并显示。 
     如果变量标识符不重复，则显示为#Var[y]（y：变量号）。
      $Seq[3] 有一个处理 $Seq[5] 的子序列 $Seq[5]。
      状态转换关键字K[N][1]、K[N][2]和K[N][3]显示在$Seq[5]的内容中。
      $Var[57]、$Var[58]、$Var[59] 重复。
　  显示将为 %Var[57][x][1]、%Var[57][x][2]、%Var[57][x][3] (x=0,1)。
      在与 $Seq[1] 相同的层次结构中处理 $Seq[2]。
      $Seq[2] 没有子序列或变量标识符。
　 按原样显示写入的内容。
      有换行，所以是换行。
      $Seq[4] 与$Seq[2] 相同，并按原样显示描述
      有换行，所以是换行。