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

import java.util.Collection;

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

   /**
    * Getter for the answers.
    * @return The answers.
    */
   /*@
   @*/
   public abstract Collection<String> GetAnswer();

   /**
    * The answers.
    */
   Collection<String> answers;
}