3.2 Designing Specification（补充）

key words

• Classifying specifications
• Diagramming specifications
• Quality of a specification

1、Specifications in Java P26

• @param @return @throws

Parameters are described :@param
clauses and results aredescribed : @return
clauses:@throws

• 如果没有明确说明，则默认输入值是不可变的

2、Quality of a specificationP55

• coherent
  杂糅了两个功能->拆开

• results of a call should be informative(提供信息的)
  返回不能模糊不清

• 后置够强

• 前置够弱

• use abstract types
  改：ArrayList->List

解释这些原则（翻译）