package testtool.teacher_app.main_view;

/**
 * This class illustrates the main page of the teacher app. It has four functions that will take you to each of designated pages.
 */
public abstract class HomeView {


    /**
     * This takes a teacher from the main page to the page where they can manage questions.
     */
     /*@
      ensures  (* That the teacher is taken to the question page *);
     @*/
    public abstract void launchQuestionView();

    /**
     * This page takes a teacher from the main page to the page where they can generate a test.
     */
     /*@
      ensures  (* That the teacher is taken to the test page *);
     @*/
    public abstract void launchTestView();

    /**
     * This takes the teacher from the main page to the page where they can administer a test.
     */
     /*@
      ensures  (* That the teacher is taken to the publish page *);
     @*/
    public abstract void launchPublishView();

    /**
     * This functions takes a teacher from the main page to the grading page.
     */
     /*@
      ensures  (* That the teacher is taken to the grade page *);
     @*/
    public abstract void launchGradeView();
}