lp.struct
Class LpCompoundTermTest

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by lp.struct.LpStructureUnitTestUtils
              extended by lp.struct.LpCompoundTermTest
All Implemented Interfaces:
Test

public class LpCompoundTermTest
extends LpStructureUnitTestUtils

Contains tests of the LpCompoundTerm class.

Version:
1.0.0
Author:
Martin Slota
See Also:
LpCompoundTerm

Constructor Summary
LpCompoundTermTest(String testName)
          A default test case constructor.
 
Method Summary
 void testConstructorExceptions()
          Tests if the constructor throws the appropriate exceptions.
private  void testEqual(LpCompoundTerm t1, LpCompoundTerm t2)
          Asserts that the given terms are equal and that their hash codes are equal.
 void testEqualsAndHashCode()
          Tests the LpCompoundTerm.equals(Object) and LpCompoundTerm.hashCode() methods.
private  void testNotEqual(LpCompoundTerm t1, LpCompoundTerm t2)
          Asserts that the given terms are not equal.
 void testToString()
          Tests the LpAbstractStructureUnit.toString() method.
 
Methods inherited from class lp.struct.LpStructureUnitTestUtils
testToString
 
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, runTest, setName, setUp, 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
 

Constructor Detail

LpCompoundTermTest

public LpCompoundTermTest(String testName)
A default test case constructor.

Parameters:
testName - the name of the test case
Method Detail

testConstructorExceptions

public void testConstructorExceptions()
Tests if the constructor throws the appropriate exceptions.


testEqualsAndHashCode

public void testEqualsAndHashCode()
Tests the LpCompoundTerm.equals(Object) and LpCompoundTerm.hashCode() methods.


testEqual

private void testEqual(LpCompoundTerm t1,
                       LpCompoundTerm t2)
Asserts that the given terms are equal and that their hash codes are equal.

Parameters:
t1 - first tested term
t2 - second tested term

testNotEqual

private void testNotEqual(LpCompoundTerm t1,
                          LpCompoundTerm t2)
Asserts that the given terms are not equal.

Parameters:
t1 - first tested term
t2 - second tested term

testToString

public void testToString()
Tests the LpAbstractStructureUnit.toString() method.