Obligatory object

• 约束对象

Obligatory object的用法和样例：

例句

1. A good specification defines invariants constraining an object's state and post conditions describing the effects of its operations.
   好的规范会定义常量来约束对象的状态并且提供使用其方法的条件。