断言伪指令(IBM 扩展)

断言伪指令 是宏定义的替代方法,用于定义将运行已编译程序的计算机或系统。 断言通常是预定义的,但您可以使用 #assert 预处理器伪指令对其进行定义。

#assert 伪指令语法

读取语法图跳过可视语法图#assert判定式(答案)
谓词 表示您正在定义的断言实体。 answer 表示要分配给断言的值。 您可以使用相同的谓词和不同的答案来进行多个断言。 任何给定谓词的所有答案都同时为 true。 例如,以下伪指令创建有关字体属性的断言:
#assert font(arial)
#assert font(blue)
定义断言后,可以在条件伪指令中使用断言谓词来测试当前系统。 以下伪指令用于测试是否为 font断言 arialblue :
#if #font(arial) || #font(blue)
您可以通过省略条件中的答案来检验是否断言谓词的任何答案:
#if #font
可以使用 #unassert 伪指令取消断言。 如果使用与 #assert 伪指令相同的语法,那么该伪指令将仅取消您指定的答案。 例如,以下伪指令取消 font 谓词的 arial 答案:
#unassert font(arial)
通过省略 #unassert 伪指令中的答案来取消整个谓词。 以下伪指令将完全取消 font 伪指令:
#unassert font