ascendinglistofint.java

Java程序设计(美) David D. Riley著 机械工业出版社 书籍配套 代码

// Figure 11.17

/** CLass Invariant
 *		An AscendingListOfInt contains Integers sorted in ascending order. 
 */
public class AscendingListOfInt extends SimpleList<Integer> {
	/**	post:	this is empty 
	 *			and  iterator == 0	
	 */
	public AscendingListOfInt()  {
		super();
	}

	/**	post:	this list == this@pre with k inserted (note that the
	 *				sort property from the class invariant is maintained)
	 *			and  iterator is positioned immediately after
	 *				the newly inserted k 
	 */
	public boolean add(Integer k)  {
		boolean  found;
		int tempInt = 0;
		reset();
		found = false;
		while ( !found  &&  hasNext() )  {
			tempInt = next();
			found = (k <= tempInt);
		}
		if (!found) {
			super.add(k);
		} else {
			remove();
			super.add(k);
			super.add(tempInt);
		}
		return true;   // because add is a boolean method
	}
}