package testtool.student_app.taking_view;

import java.util.List;

import testtool.component.Test;

/** 
 * This illistrates the main page of the student app.  It has two functions that will take a student to the 
 * designated pages. 
 */
public abstract class ViewTests {
	private List<Test> tests;
	
   /**
    * This takes the student to the test that the student has selected so that they can take it.
    */
   /*@
     requires (* A test from the test bank *);

    @*/
	public abstract void takeTest(Test test);
   /**
    * This logs the student out from the app and closes it.
    */
   /*@    
     ensures (* A student is logged into the app. *);
    @*/
	public abstract void logout();
}