|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjunit.framework.Assert
junit.framework.TestCase
org.semanticweb.owlapi.normalform.NNFTestCase
public class NNFTestCase
Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 06-Jun-2008
Constructor Summary | |
---|---|
NNFTestCase()
|
Method Summary | |
---|---|
void |
testDoubleNegation()
|
void |
testNamedClass()
|
void |
testNestedA()
|
void |
testNestedB()
|
void |
testObjectAll()
|
void |
testObjectHasValue()
|
void |
testObjectIntersectionOf()
|
void |
testObjectMax()
|
void |
testObjectMin()
|
void |
testObjectSome()
|
void |
testObjectUnionOf()
|
void |
testTripleNegation()
|
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, failNotEquals, failNotSame, failSame, format |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public NNFTestCase()
Method Detail |
---|
public void testNamedClass()
public void testObjectIntersectionOf()
public void testObjectUnionOf()
public void testDoubleNegation()
public void testTripleNegation()
public void testObjectSome()
public void testObjectAll()
public void testObjectHasValue()
public void testObjectMin()
public void testObjectMax()
public void testNestedA()
public void testNestedB()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |