/* $Id$ */

package aspectjhw.lambda;

import junit.framework.Test;
import junit.framework.TestSuite;

/** Suite that runs all tests in the aspectjhw.lambda package.
 * @author Gary T. Leavens
 */
public class AllTests {

    /** Run this test.
     */
    public static void main(String[] args) {
        junit.textui.TestRunner.run(suite());
    }

    /** Returns a suite of all tests for this package.
     */
    public static Test suite() {
        TestSuite suite = new TestSuite("Test for lambda");
        //$JUnit-BEGIN$
        suite.addTest(new TestSuite(VariableTest.class));
        suite.addTest(new TestSuite(ApplicationTest.class));
        suite.addTest(new TestSuite(LambdaTest.class));
        suite.addTest(new TestSuite(BigStepTest.class));
        suite.addTest(new TestSuite(BoundVarsTest.class));
        //$JUnit-END$
        return suite;
    }
}