Specify each method of the class Piggybank, as given in Listing 1-3, by stating the method’s purpose; by describing its parameters; and by writing preconditions, postconditions, and a pseudocode...

Specify each method of the class Piggybank, as given in Listing 1-3, by stating the method’s purpose; by describing its parameters; and by writing preconditions, postconditions, and a pseudocode version of its header. Then write a Java interface for these methods that includes javadoc-style comments.