package curve;

import charts.*;
import gradebook.ClassGradebook;
import java.util.Collection;
import view.WindowFrame;

/**
 * Window for the insert percentage curve.
 * Derived from 2.6.3.3 of the requirements.
 * @author crahm
 */
public abstract class CurveInsertPercentageWindow extends WindowFrame
{
  /**
   * This is the insert percent curve
   */
  GradeCurve tentativeLetterGrades;
  /**
   * This method applies the insert percentage curve.
   */
   /*@
    ensures
    //
    //Curve is applied to Histogram, Pie Chart, and Gradebook
    //
    (\exists Histogram h;
       (h.curve.equals(tentativeLetterGrades))) &&
    (\exists PieChart p ;
       (p.curve.equals(tentativeLetterGrades))) &&
    (\exists ClassGradebook g ;
       (g.gradeCurve.equals(tentativeLetterGrades)));
    @*/
  abstract void applyCurve(); 
}