package view;
import schedule.Term;
import java.util.Collection;

/**
 * Derived from Section 2.1.3 of the requirements
 * This is when a student gives feedback about courses
 * from the quarter
 */
abstract class StudentFeedback {
    
    Collection<Term> pastTerms;
    
    /**
     * Read the information that the student
     * gives as feedback.
     * @param termReviewed is the term the student reviews
     * @param feedback is the feedback the student gave.
     */
      /*@
      requires
        //
        // The term the student is reviewing must be a term
        // that already has a schedule published for it. In other
        // words it must be in the list of possible Term choices.
        //
        (pastTerms.contains(termReviewed))
        
        &&
        
        //
        // The string feedback may only be 500 characters long.
        // This is to make sure it will fit in the database.
        //
        (feedback.length() > 0) && (feedback.length() <= 500);
        
      @*/
    abstract void getFeedback(Term termReviewed, String feedback);
    /**
     * "Back button"
     * Takes user back one step
     */
    abstract void goBack();
	 
    /**
     * "Submit" button
     * Confirm feedback entry 
     * This will change the information for the Instructor
     * in the list.
     */
    abstract void submit();
}