tests
Class DrJava_Test_UnboundedEnv_LocalEnv

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          tests.DrJava_Test_UnboundedEnv_LocalEnv

All Implemented Interfaces:

junit.framework.Test

public class DrJava_Test_UnboundedEnv_LocalEnv
extends junit.framework.TestCase

Test cases for UnboundedEnv.LocalEnv. Only necessary for DrJava.

Author:

Mathias Ricken

Field Summary

(package private) UnboundedEnv.Test_UnboundedEnv_LocalEnv

_test

Constructor Summary

DrJava_Test_UnboundedEnv_LocalEnv()

Method Summary

void	setUp()
void	testExecute() Test local environment's execute.
void	testOnlyOneMove() Test to make sure only one move lambda can be executed.
void	testRemoveFish() Test local environment's removeFish.
void	testTryBreedFwd() Test local environment's tryBreedFwd.
void	testTryMoveFwd() Test local environment's tryMoveFwd.
void	testTurnRight() Test local environment's turnRight.

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, run, run, runBare, runTest, setName, tearDown, toString

Methods inherited from class junit.framework.Assert

assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

_test

UnboundedEnv.Test_UnboundedEnv_LocalEnv _test

Constructor Detail

DrJava_Test_UnboundedEnv_LocalEnv

public DrJava_Test_UnboundedEnv_LocalEnv()

Method Detail

setUp

public void setUp()

Overrides:

setUp in class junit.framework.TestCase

testExecute

public void testExecute()

Test local environment's execute.

testTryMoveFwd

public void testTryMoveFwd()

Test local environment's tryMoveFwd.

testTryBreedFwd

public void testTryBreedFwd()

Test local environment's tryBreedFwd.

testTurnRight

public void testTurnRight()

Test local environment's turnRight.

testRemoveFish

public void testRemoveFish()

Test local environment's removeFish.

testOnlyOneMove

public void testOnlyOneMove()

Test to make sure only one move lambda can be executed.