/* @(#)TestSuite.java 1.0  6 April 2003 */

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.util.*;

import java.awt.*;
import java.awt.event.*;
import java.awt.geom.*;
import java.awt.font.*;
import java.util.*;
import java.text.*;
import java.math.*;
import javax.swing.*;
import java.lang.reflect.*;
import java.net.URL;

public class TestSuite extends JPFalt 
{
    public static void main(String[] args) { new TestSuite(); }
    
    /*--------------------------------------------------------
     Place your methods here
     -------------------------------------------------------*/

    /** sample test function */
    void square1(){
        
        /** example of error-checked input from the JPT console */
        int x = console.in.demandInt("Type in a number:");
        println(x * x);
    }
    
    /** sample REPL style function */
    int square2(int x){
        return x * x;
    }
    
    /** sample test of class and its methods */
    void testFoo(){
    
        Foo f = new Foo(5);
        
        /* object construction test */
        println(f);
        
        /* tests compare expected and actual values */
        expected(25);
        actual(f.apply());
        
    }

}