//ChoosePracticeTest @Christopher Pauley 2.4.1.5.

package studentClient;

import java.util.*;

/** ChoosePracticeTest
* Choose Practice Test to take
*/

public abstract class ChoosePracticeTest
{

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

}
 
/** Practice Tests
*A collection of practice tests that the user can take.
*/  
   Collection<PracticeTest> PracticeTests;
   
   /**gotoPracticeTest (Test t)
   *Start test client with test t
   */
       /*@
      requires
        //
        // A test has been selected.
        //
        (t != null)
      ;
      ensures
        //
        // If preconds met, the test begins.
        //
        (\result.equals(t));

     @*/   
   public abstract PracticeTest goToPracticeTest(PracticeTest t);   
}