//ChooseTest @Christopher Pauley 2.4.1.3.

package studentClient;

import java.util.*;

/** ChooseTest
* Choose the Test to Takw
*/

public abstract class ChooseTest
{

   /**
   *testName- name of the test
   * numberOfQuestions - The number of questions on the test
   */
abstract class Test  
{  
   String testName;  
   int numberOfQuestions;  

}

/** Tests
*A collection of tests that the user can take.
*/ 
   Collection<Test> Tests;

   /**gotoTest (Test t)
   *Start test client with test t
   */   
       /*@
      requires
        //
        // A test has been selected.
        //
        (t != null)
      ;
      ensures
        //
        // If preconds met, the test review begins.
        //
        (\result.equals(t));

     @*/
   public abstract Test gotoTest(Test t);
}