//ChooseReviewTest @Christopher Pauley 2.4.1.4.

package studentClient;

import java.util.*;

/** ChooseReviewTest
* Choose Test to review
*/

public abstract class ChooseReviewTest
{

/** GradedTest
* A GradedTest is a test that has been graded by the teacher
* and is ready for review
*/
abstract class GradedTest
{
   /**
   *testName- name of the test
   * numberOfQuestions - The number of questions on the test
   * score- THe student's score on the test
   * TotalScore- The student's total score on the test
   */
   String testName;
   int numberOfQuestions;
   int score;
   int totalScore;
   
}

/** GradedTests
*A collection of Graded tests that the user can review.
*/   
   Collection<GradedTest> GradedTests;
   
   /** goToTestReview(GradedTest t)
   *After a user has chosen their test the program must start the test review with the test specified by t.
   *   
   */
       /*@
      requires
        //
        // A test has been selected.
        //
        (t != null)
       ;
      ensures
        //
        // If preconds met, the test begins.
        //
        (\result.equals(t));

     @*/
   public abstract GradedTest goToTestReview(GradedTest t);   
}