Pile specifications (cont.)
npublic void setSize (int number)
n Set the number of sticks in this Pile
n require:number >= 0
n ensure:this.size() == number
n
npublic void remove (int number)
n Remove the specified number of sticks from this Pile.  If the specified number is more than the Pile size, remove all the sticks.
n require: number >=0
n ensure: this.size() == max (0, old.size()-
n number)