上註解中的大括号表示为断言，不是一般的註解。现有的主流程式语言不支援上述的标示方式，不过程式设计者仍可以用註解的方式标示断言，标示此时应该成立的条件，只是此断言没有检查机能，不成立时程式不会中止执行。许多现代的程式语言已支援有检查机能的断言，可能是执行期或其他时间检查的陈述。若在执行期中有断言不成立，会出现断言失败，一般会停止程式的执行。程式设计者可以专注在断言失败，逻辑不一致的部份，并设法修正。断言的使用有助于程式设计者设计、开发及理解程式。
用途.在开发Eiffel语言