/**
 * @author Kim Paterson
 * @author Mitchell Rosen
 */
package question;

public abstract class CodeQuestion extends Question {
   /**
    * Grades this Question against |answer|.
    * @param answer The student's answer to this Question.
    * @return double in the range [0...1] representing the correctness of
    *    |answer|
    */
   /*@
     requires
   //
   // Requires the right type of question.
   //
   (answer != null) && (answer instanceof CodeAnswer);
   @*/
   public abstract double Grade(Answer answer);
}