/**
 * This class represents an Answer with a String answer.
 *
 * @author Mitchell Rosen
 */
package question;

public abstract class StringAnswer implements Answer {
   /**
    * Setter for the answer.
    * @param answer The answer.
    */
   /*@
     ensures
   //
   // The answer passed in is not null and will be available for retrieval from
   // this object.
   //
   (this.answer != null) && (this.answer == answer);
   @*/
   public abstract void SetAnswer(String answer);

   /**
    * Getter for the answer.
    * @return The answer.
    */
   /*@
   @*/
   public abstract String GetAnswer();

   /**
    * The answer.
    */
   String answer;
}