/* @(#)Methods.java   21 January 2008 */

import edu.neu.ccs.*;
import edu.neu.ccs.gui.*;
import edu.neu.ccs.codec.*;
import edu.neu.ccs.console.*;
import edu.neu.ccs.filter.*;
import edu.neu.ccs.jpf.*;
import edu.neu.ccs.parser.*;
import edu.neu.ccs.pedagogy.*;
import edu.neu.ccs.quick.*;
import edu.neu.ccs.util.*;

import java.awt.*;
import java.awt.event.*;
import java.awt.geom.*;
import java.awt.font.*;
import java.awt.image.*;
import javax.swing.*;
import javax.swing.border.*;
import java.io.*;
import java.util.*;
import java.math.*;
import java.beans.*;
import java.lang.reflect.*;
import java.net.URL;
import java.util.regex.*;
import java.text.ParseException;

/** The sample starter MethodsApplet class for Java Power Framework. */
public class MethodsApplet extends JPFApplet 
{
    
    /**
     * <p>This method should do tasks that must occur before
     * the <code>JPFPane</code> pane is created.</p>
     * 
     * <p>If there are no such tasks, this method may be deleted.
     * 
     * <p>This method must be protected so that it does not show
     * up in the automatic buttons.</p>
     */
    protected void preInit()
    {
        // To optionally adjust the look and feel, remove the comment
        // from the first of the two statements below.

        // To optionally adjust all default font sizes, remove the
        // comment from the second of the two statements below and
        // choose the parameter to be an integer between 2 and 12.

        // LookAndFeelTools.showSelectLookAndFeelDialog();
        // LookAndFeelTools.adjustAllDefaultFontSizes(2);
    }


    /**
     * <p>This method should do tasks that must occur after
     * the <code>JPFPane</code> pane is created.</p>
     * 
     * <p>If there are no such tasks, this method may be deleted.
     * 
     * <p>This method must be protected so that it does not show
     * up in the automatic buttons.</p>
     */
    protected void postInit()
    {
        // To install the simple mouse actions in the graphics window,
        // remove the comment below.
        //
        // The parameter true will bring a clicked object to the top
        // whereas false will leave the object in its current layer.

        // window.installSimpleMouseActions(true);
    }


    // Place methods and data below.

    // Public methods with "simple" parameters will connect to buttons
    // in the automatic JPFApplet graphical user interface that will
    // then execute the methods.
    
    
    // Below is a sample test method.
    // Remove the comments if you want to try this test method.
    //
    // The ShapePaintable objects will be draggable with the mouse if
    // the simple mouse actions have been installed in the postInit
    // method above.
    
    /*
    public void Test() {
        Shape shape1 = new XRect(100, 100, 100, 50);
        
        Paintable paintable1 =
            new ShapePaintable
                (shape1, PaintMode.FILL_DRAW, Colors.red);
        
        Shape shape2 = new XOval(150, 125, 100, 50);
        
        Paintable paintable2 =
            new ShapePaintable
                (shape2, PaintMode.FILL_DRAW, Colors.yellow, Colors.blue);
        
        window.clearSequence();
        window.appendPaintable(paintable1);
        window.appendPaintable(paintable2);
        window.repaint();
    }
    */
}