Document preconditions, postconditions, and invariant conditions.

• 对前置、后置、不变条件进行文档注释。