package testtool.student_app.taking_view;

import testtool.component.Test;

/**
 * This class illustrates the test taking page of the student application.  It has one function that the student 
 * will use to submit his or her test 
 */
public abstract class TakeTest {
	private Test test;
	
   /**
    * This submits the student's test to the teacher for grading and exits out of the test taking view.
    */
   /*@ 
     requires (* The that the student has finished their test  *);
     ensures (* The student's test is sent to the teacher for grading *);
    @*/
	public abstract void submit();
}