断言伪指令(IBM 扩展)
断言伪指令 是宏定义的替代方法,用于定义将运行已编译程序的计算机或系统。 断言通常是预定义的,但您可以使用 #assert 预处理器伪指令对其进行定义。
谓词 表示您正在定义的断言实体。 answer 表示要分配给断言的值。 您可以使用相同的谓词和不同的答案来进行多个断言。 任何给定谓词的所有答案都同时为 true。 例如,以下伪指令创建有关字体属性的断言:
#assert font(arial)
#assert font(blue)定义断言后,可以在条件伪指令中使用断言谓词来测试当前系统。 以下伪指令用于测试是否为
font断言 arial 或 blue :#if #font(arial) || #font(blue)您可以通过省略条件中的答案来检验是否断言谓词的任何答案:#if #font可以使用
#unassert 伪指令取消断言。 如果使用与 #assert 伪指令相同的语法,那么该伪指令将仅取消您指定的答案。 例如,以下伪指令取消 font 谓词的 arial 答案:#unassert font(arial)
通过省略 #unassert 伪指令中的答案来取消整个谓词。 以下伪指令将完全取消 font 伪指令:#unassert font
