当调用一个方法时，在其执行之前期望其处于特定状态； 也需要完成一些工作之后验证结果的状态。 这些假设被称为前置条件（pre-conditions ）和 后置条件（post-conditions）。开源项目CuttingEdge.Conditions   是一个提供一个 fluent 接口用于指定预生成和 post-conditions的库 。 (fluent 接口是通过使用的描述性的名称和方法链的