javaDungAF.tests
Class TestBasicFunctionality

Object
  extended by TestBasicFunctionality

public class TestBasicFunctionality
extends Object

A class to test the basic functionality of DungAF.

This class tests -

This class must be run with assertions enabled.


Field Summary
(package private) static DungAF af
           
(package private) static DungAF anotherAf
           
(package private) static boolean expected
           
(package private) static String testName
           
 
Constructor Summary
TestBasicFunctionality()
           
 
Method Summary
static void main(String[] args)
           
private static void testAcceptabilityFunc()
           
private static void testAddition()
           
private static void testComparison()
           
private static void testConflictFunc()
           
private static void testConstructors()
           
private static void testMiscMethods()
           
private static void testRemoval()
           
 
Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

af

static DungAF af

anotherAf

static DungAF anotherAf

testName

static String testName

expected

static boolean expected
Constructor Detail

TestBasicFunctionality

public TestBasicFunctionality()
Method Detail

main

public static void main(String[] args)

testConstructors

private static void testConstructors()

testAddition

private static void testAddition()

testRemoval

private static void testRemoval()

testComparison

private static void testComparison()

testConflictFunc

private static void testConflictFunc()

testAcceptabilityFunc

private static void testAcceptabilityFunc()

testMiscMethods

private static void testMiscMethods()