package admin;

import java.util.List;
import gradebook.ClassGradebook;

/**
 * Derived from Section 2.1.1 of the requirements.
 */
public abstract class QuickLaunch {
    /**
     * Opens up the New Class window.
     */
     /*@
       ensures
         //
	     // New Class window is opened.
         //
         0 < bookName.length();                 
      @*/
    abstract void getNewClass();

    /**
     * Opens up a file explorer for the user to locate a class.
     */
	 /*@
       ensures
         //
	     // A Class is opened.
         //
         classOpen == true;                 
      @*/
    abstract void getOpenClass(); 
	
    /**
     * Collections of recently opened classes.
     */
    List<ClassGradebook> recentClass;

    /**
     * Name of opened Gradebook.
     */
    String bookName;
	
	/**
     * If a class is opened.
     */
	boolean classOpen;
}