Package MAKBPInterpreter.interpreter.tests

Class TestMAKBPInterpreter

java.lang.Object

junit.framework.Assert

junit.framework.TestCase

MAKBPInterpreter.interpreter.tests.TestMAKBPInterpreter

All Implemented Interfaces:

junit.framework.Test

public class TestMAKBPInterpreter
extends junit.framework.TestCase

Test class for the MAKBPInterpreter class.

Constructor Summary

Constructors

Constructor	Description
TestMAKBPInterpreter()

Method Summary

Modifier and Type	Method	Description
void	testConstructor()	Tests the MAKBPInterpreter(java.util.Set, MAKBPInterpreter.agents.KripkeStructure, java.util.Map, java.util.Map) constructor.
void	testExecuteAction()	Tests the MAKBPInterpreter.executeAction(java.util.Map) method.
void	testGetAssociatedAction()	Tests the MAKBPInterpreter.getAssociatedAction(java.util.Collection, MAKBPInterpreter.agents.KripkeWorld) method.
void	testGetters()	Tests the MAKBPInterpreter.getStructures() and MAKBPInterpreter.getPermissions(), MAKBPInterpreter.getObjects() methods.
void	testIsFinished()	Tests the MAKBPInterpreter.isFinished(MAKBPInterpreter.agents.KripkeWorld) and MAKBPInterpreter.isFinished() methods.
void	testPublicAnnouncement()	Tests the MAKBPInterpreter.publicAnnouncement(MAKBPInterpreter.agents.Agent, MAKBPInterpreter.logic.Formula), MAKBPInterpreter.publicAnnouncement(java.util.Collection, MAKBPInterpreter.logic.Formula) and MAKBPInterpreter.publicAnnouncement(java.util.List, java.util.List) methods.
void	testReasoning()	Tests the MAKBPInterpreter.reasoning(MAKBPInterpreter.agents.Agent, java.util.Map) method.
void	testReverseEngineering()	Tests the MAKBPInterpreter.reverseEngineering(java.util.Map) 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

Constructor Detail

TestMAKBPInterpreter

public TestMAKBPInterpreter()

Method Detail

testConstructor

public void testConstructor()

Tests the MAKBPInterpreter(java.util.Set, MAKBPInterpreter.agents.KripkeStructure, java.util.Map, java.util.Map) constructor.

testGetters

public void testGetters()

Tests the MAKBPInterpreter.getStructures() and MAKBPInterpreter.getPermissions(), MAKBPInterpreter.getObjects() methods.

testPublicAnnouncement

public void testPublicAnnouncement()
                            throws java.lang.Exception

Tests the MAKBPInterpreter.publicAnnouncement(MAKBPInterpreter.agents.Agent, MAKBPInterpreter.logic.Formula), MAKBPInterpreter.publicAnnouncement(java.util.Collection, MAKBPInterpreter.logic.Formula) and MAKBPInterpreter.publicAnnouncement(java.util.List, java.util.List) methods.

Throws:

java.lang.Exception

testGetAssociatedAction

public void testGetAssociatedAction()
                             throws java.lang.Exception

Tests the MAKBPInterpreter.getAssociatedAction(java.util.Collection, MAKBPInterpreter.agents.KripkeWorld) method.

Throws:

java.lang.Exception

testExecuteAction

public void testExecuteAction()
                       throws java.lang.Exception

Tests the MAKBPInterpreter.executeAction(java.util.Map) method.

Throws:

java.lang.Exception

testReverseEngineering

public void testReverseEngineering()
                            throws java.lang.Exception

Tests the MAKBPInterpreter.reverseEngineering(java.util.Map) method.

Throws:

java.lang.Exception

testReasoning

public void testReasoning()
                   throws java.lang.Exception

Tests the MAKBPInterpreter.reasoning(MAKBPInterpreter.agents.Agent, java.util.Map) method.

Throws:

java.lang.Exception

testIsFinished

public void testIsFinished()
                    throws java.lang.Exception

Tests the MAKBPInterpreter.isFinished(MAKBPInterpreter.agents.KripkeWorld) and MAKBPInterpreter.isFinished() methods.

Throws:

java.lang.Exception