import edu.neu.ccs.gui.*;
import edu.neu.ccs.jpf.*;
import java.awt.*;

/**
 * Contains tests for the List exercises homework.
 * @author Jeff Raab
 */
public class ListTests extends JPF {

    /** Starts this application. */
    public static void main(String[] args) { new ListTests(); }

    /////////////////////
    // YOUR TESTS HERE //
    /////////////////////

    /** Starts the audio player application. */
    public void RunAudioPlayer() {
        console.out.print("Using an IList implementation of type: ");
        console.out.println(ListFactory.createList().getClass().getName());
    
        JPTFrame.createQuickJPTFrame(
            "Audio player", 
            new AudioPlayerView(),
            new GridLayout(1, 1));
    }

    /** Starts the gaming wheel application. */
    public void RunGamingWheel() {
        console.out.print("Using an IList implementation of type: ");
        console.out.println(ListFactory.createCircularList().getClass().getName());
    
        if (!declaresMethods(GamingWheel.class,
            new String[] {
                "public void spin(int num)",
                "private void rotateRight()",
                "public Prize currentPrize()",
                "public int prizeCount()"
            }))
        {
            return;
        }
        
        JPTFrame.createQuickJPTFrame(
            "Step right up!", new GamingWheelGameView());
    }
}