package Reports;

import Visual.*;
import Grades.*;
import Info.*;
import Prediction.*;
import Assignments.*;

import java.util.Collection;
/**
 * Class reprents the information about a progress report
 */
public abstract class StudentReportInfo {

/**
 * Options of what to display in the gui
 */
ReportOptions options;

/**
 * Student information
 */  
Student student;

/**
 * Collection of assignments from a class
 */
Collection<Assignment> assignments;

/**
 * Collection of categories from a class
 */
Collection<Category>categories;




/**
 * Displays the letter grade
 */
/*@
ensures
// letter grade will be displayed
 options.showLetterGrade == true;  
@*/
abstract void lettergrade(ReportOptions options);


/**
 * Displays the percentage of assigments
 */
/*@
ensures
// percentages will be displayed
 options.showPercentage == true;
@*/
abstract void percentage(ReportOptions options);

/**
 * Displays the class rank
 */
/*@
ensures
//class rank will be displayed
 options.showClassRank == true;
@*/
abstract void classrank(ReportOptions options);
}