/**
 * This class represents an answer to a TrueFalse question.
 * 
 * @author Daniel Gilliland
 * @author Mitchell Rosen
 */
package question;

public abstract class TrueFalseAnswer 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 == answer);
   @*/
   public abstract void SetAnswer(boolean answer);

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

   /**
    * The answer.
    */
   boolean answer;
}