我正在阅读JSF规范。我来了像
这样的标签[P1-start-currentPhaseId]...[P1-end]
我注意到有不同的标记，从P1，P2和P3开始。以下是-短划线或空格。
我认为它们旨在表明正式/规范性规范，并将其与规范的非正式/非规范性部分区分开来。但话说回来，有些段落被明确标记为非规范性的。
我很好奇这些标签的确切含义。 P1，P2和P3之间存在差异，或者-短划线或空格后面是否有差异。是否指定了这些标签？它们是否也在其他JSR中使用，或者这是JSF特定的表示法？