lp.struct
Class LpPredicateTest

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

public class LpPredicateTest
extends LpStructureUnitTestUtils

Contains tests of the LpPredicate class.

Version:
1.0.0
Author:
Martin Slota
See Also:
LpPredicate

Constructor Summary
LpPredicateTest(String testName)
          A default test case constructor.
 
Method Summary
 void testConstructorExceptions()
          Tests if the constructor throws the appropriate exceptions.
private  void testEquals(LpPredicate p1, LpPredicate p2)
          Asserts that the given predicate symbols are equal and that their hash codes are equal.
 void testEqualsAndHashCode()
          Tests the LpPredicate.equals(Object) and LpPredicate.hashCode() methods.
 void testGetArity()
          Test of LpPredicate.getArity() method.
private  void testNotEquals(LpPredicate p1, LpPredicate p2)
          Asserts that the given predicate symbols are not equal.
 void testToString()
          Tests LpPredicate.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

LpPredicateTest

public LpPredicateTest(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.


testGetArity

public void testGetArity()
Test of LpPredicate.getArity() method.


testEqualsAndHashCode

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


testEquals

private void testEquals(LpPredicate p1,
                        LpPredicate p2)
Asserts that the given predicate symbols are equal and that their hash codes are equal.

Parameters:
p1 - first tested literal
p2 - second tested literal

testNotEquals

private void testNotEquals(LpPredicate p1,
                           LpPredicate p2)
Asserts that the given predicate symbols are not equal.

Parameters:
p1 - first tested literal
p2 - second tested literal

testToString

public void testToString()
Tests LpPredicate.toString() method.