设计规约

方法的规约
例子：

/**
*compute a hailstone sequense
*@param n String nunber for sequence. Assumes n > 0
*@return hailstone sequence starting with n and ending with 1.
*/

@param 输入的相关要求
@return 函数返回的规定

一个方法的规约包括以下几个要素：

• precondition
• postcondition
• exceptional behavivor

例子：

/**
*Find an value in an array
*@param arr array to search,requires that val occurs 
*       exactly once in arr 
*@param val value to search for
*@return index i such that arr[i] = val
*/
static int find(int[] arr, int val)

spec变强：更放松的前置条件和更严格的后置条件