|
|||||||||
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.api.test.AbstractOWLAPITestCase
org.semanticweb.owlapi.api.test.NNFTestCase
public class NNFTestCase
Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 21-Sep-2009
Constructor Summary | |
---|---|
NNFTestCase()
|
Method Summary | |
---|---|
void |
testNegAllValuesFrom()
|
void |
testNegObjectIntersectionOf()
|
void |
testNegObjectMaxCardinality()
|
void |
testNegObjectMinCardinality()
|
void |
testNegObjectUnionOf()
|
void |
testNegOWLClass()
|
void |
testNegSomeValuesFrom()
|
void |
testPosAllValuesFrom()
|
void |
testPosObjectIntersectionOf()
|
void |
testPosObjectMaxCardinality()
|
void |
testPosObjectMinCardinality()
|
void |
testPosObjectUnionOf()
|
void |
testPosOWLClass()
|
void |
testPosSomeValuesFrom()
|
Methods inherited from class org.semanticweb.owlapi.api.test.AbstractOWLAPITestCase |
---|
addAxiom, getFactory, getManager, getOWLAnnotationProperty, getOWLClass, getOWLDataProperty, getOWLDatatype, getOWLIndividual, getOWLObjectProperty, getOWLOntology, handleSaved, isIgnoreDeclarationAxioms, loadOntology, roundTripOntology, roundTripOntology, setUp |
Methods inherited from class junit.framework.TestCase |
---|
countTestCases, createResult, getName, run, run, runBare, runTest, setName, 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 testPosOWLClass()
public void testNegOWLClass()
public void testPosAllValuesFrom()
public void testNegAllValuesFrom()
public void testPosSomeValuesFrom()
public void testNegSomeValuesFrom()
public void testPosObjectIntersectionOf()
public void testNegObjectIntersectionOf()
public void testPosObjectUnionOf()
public void testNegObjectUnionOf()
public void testPosObjectMinCardinality()
public void testNegObjectMinCardinality()
public void testPosObjectMaxCardinality()
public void testNegObjectMaxCardinality()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |