Package MAKBPInterpreter.agents.tests

Class TestBox

  • All Implemented Interfaces:
    junit.framework.Test
    public class TestBox
extends junit.framework.TestCase
    Test class for the Box class.

    • Constructor Summary

      Constructors 
      Constructor Description
      TestBox()  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void testConstructor()
      Tests the Box(Agent, MAKBPInterpreter.logic.Formula) constructor.
      void testEvaluate()
      Tests the Box.evaluate(MAKBPInterpreter.logic.LogicAssignment) method.

      • Methods inherited from class junit.framework.TestCase

        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, countTestCases, createResult, fail, fail, failNotEquals, failNotSame, failSame, format, getName, run, run, runBare, runTest, setName, setUp, tearDown, toString

      • Methods inherited from class java.lang.Object

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