package testtool.teacher_app.publish_view;

import testtool.component.Lecture;
import testtool.component.Test;
/**
 * The publishTest class contains the objects for a teacher to publish a test. You have whether the test is practice or not, whether it is open book, the lecture that it is going to, and the Test that you want to publish.
 */
public abstract class PublishTest {
    private boolean practice;
    private boolean openBook;
    private Lecture lecture;
    private Test test;

    /**
      * This publish's a test so that a student can access it from the student app
    */
     /*@
      requires (* A test, a lecture for the program to send it to, whether or not it is open book and if it is practice or not.  *);

      ensures (* That the test selected is sent to the class selected. *);

     @*/
    public abstract void releaseToStudents();
}