省略形:COND
CONDITION は、宣言された名前が条件名であることを示す属性です。形式は次のとおりです。
CONDITION
条件名は、ON、SIGNAL、または REVERT 文でのみ使用できます。条件名のデフォルトの範囲は外部です。ON、SIGNAL、または REVERT 文に CONDITION 条件とともに表示される名前は、文脈的に条件名として宣言されています。