001    package tests;
002    
003    import junit.framework.TestCase;
004    import sysModel.env.BoundedEnv;
005    
006    /**
007     * Test cases for BoundedEnv.LocalEnv.  Only necessary for DrJava.
008     *
009     * @author Mathias Ricken
010     */
011    public class DrJava_Test_BoundedEnv_LocalEnv extends TestCase {
012        BoundedEnv.Test_BoundedEnv_LocalEnv _test;
013    
014        public void setUp() throws Exception {
015            super.setUp();
016            _test = new BoundedEnv.Test_BoundedEnv_LocalEnv();
017            _test.setUp();
018        }
019    
020        /**
021         * Test local environment's execute.
022         */
023        public void testExecute() {
024            _test.testExecute();
025        }
026    
027        /**
028         * Test local environment's tryMoveFwd.
029         */
030        public void testTryMoveFwd() {
031            _test.testTryMoveFwd();
032        }
033    
034        /**
035         * Test local environment's tryBreedFwd.
036         */
037        public void testTryBreedFwd() {
038            _test.testTryBreedFwd();
039        }
040    
041        /**
042         * Test local environment's turnRight.
043         */
044        public void testTurnRight() {
045            _test.testTurnRight();
046        }
047    
048        /**
049         * Test local environment's removeFish.
050         */
051        public void testRemoveFish() {
052            _test.testRemoveFish();
053        }
054    
055        /**
056         * Test to make sure only one move lambda can be executed.
057         */
058        public void testOnlyOneMove() {
059            _test.testOnlyOneMove();
060        }
061    }