设计指导文档

• 指导文档必须是清晰的。
• 说明的返回结果必须是有意义的
• 说明必须是满足需求的
• 说明必须尽可能使用抽象类型

说明文档通常是声明式的，而不是操作式的。当方法A的前置条件弱于方法B，且方法A的返回结果强于方法B，那么方法A能够替换方法B