001 package tests; 002 003 import junit.framework.TestCase; 004 import sysModel.env.WrappingEnv; 005 006 /** 007 * Test cases for WrappingEnv.LocalEnv. Only necessary for DrJava. 008 * 009 * @author Mathias Ricken 010 */ 011 public class DrJava_Test_WrappingEnv_LocalEnv extends TestCase { 012 WrappingEnv.Test_WrappingEnv_LocalEnv _test; 013 014 public void setUp() throws Exception { 015 super.setUp(); 016 _test = new WrappingEnv.Test_WrappingEnv_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 }