sysModel.env
Class UnboundedEnv.Test_UnboundedEnv_LocalEnv

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          sysModel.env.UnboundedEnv.Test_UnboundedEnv_LocalEnv

All Implemented Interfaces:

junit.framework.Test

Enclosing class:

UnboundedEnv

public static class UnboundedEnv.Test_UnboundedEnv_LocalEnv
extends junit.framework.TestCase

Test cases for UnboundedEnv.LocalEnv.

Author:

Mathias Ricken

Nested Class Summary

private static class

UnboundedEnv.Test_UnboundedEnv_LocalEnv.SuccessException

Field Summary

private static ILambda	_add
private ICmdFactory	_cmdFactory
private static ILambda	_delete
private UnboundedEnv	_env
private static ILambda	_notify
private ISecurityAdapter	_sm

Constructor Summary

UnboundedEnv.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, failNotEquals, failNotSame, failSame

Methods inherited from class java.lang.Object

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

Field Detail

_cmdFactory

private ICmdFactory _cmdFactory

_sm

private ISecurityAdapter _sm

_env

private UnboundedEnv _env

_notify

private static final ILambda _notify

_delete

private static final ILambda _delete

_add

private static final ILambda _add

Constructor Detail

UnboundedEnv.Test_UnboundedEnv_LocalEnv

public UnboundedEnv.Test_UnboundedEnv_LocalEnv()

Method Detail

setUp

public void setUp()
           throws java.lang.Exception

Overrides:

setUp in class junit.framework.TestCase

Throws:

java.lang.Exception

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.