package instructor;

import java.util.Collection;
import javax.swing.JButton;


/**
* This class contains the objects necessary for Instructor Course Preferences
* @author celind
*/
abstract class CoursePreferences {
   Instructor instructor;
   Collection<Course> courses;
   Collection<Slider> sliders;
   Slider globalSlider;
   JButton submit;
   
   /** Saves course preferences to database, redirects back to intro page*/
   public abstract void submit();
}

/** 
 * GUI object that measures a preference level. Presented as a slider to the user
 *    to change the value.
 */
abstract class Slider {
   public int preferenceNum;
   public boolean selected;
   
   /** 
    * Adds specified value to the class 
    */
   /*@
     requires
     	// 
     	// The value is valid
     	//
     	(value >= 0 && value <= 100);
    
     ensures
     	//
     	// The value is saved
     	//
     	(this.preferenceNum == value);
   @*/
   public abstract void setValue(int value);
   
   /** 
    * Gets saved value from the class 
    */
   /*@
     ensures
     	//
     	// The preferenceNum is valid
     	//
     	(preferenceNum >= 0 && preferenceNum <= 100);
   @*/
   public abstract int getValue();
}