关于XBRL公式中complement、cover及bindAsSequence的功能问询

你的理解验证 #

1. 当factVariable/generalVariable的bindAsSequence=true时：

   • a) 正确：变量绑定的事实会作为有序序列组整体参与测试，而非单个事实逐一匹配。
   • b) 正确：generalVariable会关联ValueAssertion内所有factVariable的序列组合，而非单独作用于每个factVariable。

2. 当factVariable/generalVariable的bindAsSequence=false时：

   • a) 正确：变量绑定的事实会被单独逐一测试，不会作为整体组处理。
   • b) 正确：generalVariable会分别作用于ValueAssertion内的每个factVariable，而非关联所有变量的组合。

3. 当conceptName/explicitDimension/typedDimension的cover=true且complement=true时：

   • 正确：该元素（概念/显式维度/类型化维度）会被排除在公式测试范围之外，即匹配所有未使用该元素的事实集合。

4. 当conceptName/explicitDimension/typedDimension的cover=true且complement=false时：

   • 正确：该元素会被纳入公式测试范围，即仅匹配使用了该元素的事实集合（无论其取值是什么）。

剩余配置含义解释 #

5. 当cover=false且complement=true时：
   这种配置表示排除该元素的指定取值集合，具体匹配范围包括：

   • 未使用该元素的事实
   • 使用了该元素，但取值不在预先指定列表中的事实
     例如，若针对某显式维度指定了两个成员值，此配置会筛选出未应用该维度的事实，以及应用了该维度但成员不是这两个值的事实。

6. 当cover=false且complement=false时：
   这种配置表示仅匹配该元素的指定取值集合，即只筛选出使用了该元素，且取值正好落在预先指定列表中的事实。例如，针对某显式维度指定两个成员值，只有应用了该维度且成员为这两个值的事实才会被选中。

内容的提问来源于stack exchange，提问作者Analyst