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

/**
 * Contains tests for abstraction exercises.
 *
 * @author *** YOUR NAME HERE ***
 */
public class Tests extends JPF {

    /** Starts the application. */
    public static void main(String[] args) { new Tests(); };
    
    /////////////////////
    // YOUR TESTS HERE //
    /////////////////////

    /** Shows the copy machine graphical interface. */
    public void ShowCopyMachine() {
        if (!declaresConstructorsAndMethods(
            CopyMachine.class,
            new String[] {
                "public CopyMachine()"
            },
            new String[] {
                "public void clear()",
                "public void plus1()",
                "public void darker()",
                "public void lighter()",
                "public void mode()",
                "public int getCopies()",
                "public int getDarkness()",
                "public int getMode()"
            }))
        {
            return;
        }
        
        JPTFrame.createQuickJPTFrame(
            "Xorex VC-1201", 
            new CopyMachineView(new CopyMachine()));
    }
}