001    package tests;
002    
003    import junit.framework.TestCase;
004    import sysModel.env.WrappingEnv;
005    
006    /**
007     * Test cases for WrappingEnv.Location. Only necessary for DrJava.
008     *
009     * @author Mathias Ricken
010     */
011    public class DrJava_Test_WrappingEnv_Location extends TestCase {
012        WrappingEnv.Test_WrappingEnv_Location _test;
013    
014        public void setUp() throws Exception {
015            super.setUp();
016            _test = new WrappingEnv.Test_WrappingEnv_Location();
017            _test.setUp();
018        }
019    
020        /**
021         * Test getters, setters, and ctor.
022         */
023        public void testGetSet() {
024            _test.testGetSet();
025        }
026    
027        /**
028         * Test same.
029         */
030        public void testSame() {
031            _test.testSame();
032        }
033    
034        /**
035         * Test inField.
036         */
037        public void testInField() {
038            _test.testInField();
039        }
040    
041        /**
042         * Test getNeighbor.
043         */
044        public void testNeighbor() {
045            _test.testNeighbor();
046        }
047    }