|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjunit.framework.Assert
junit.framework.TestCase
edu.stanford.smi.protegex.owl.tests.AbstractOWLTestCase
edu.stanford.smi.protegex.owl.tests.AbstractJenaTestCase
edu.stanford.smi.protegex.owl.testing.sanity.tests.InverseOfSubSlotMustBeSubSlotOfInverseOfSuperSlotTestTestCase
Field Summary |
Fields inherited from class edu.stanford.smi.protegex.owl.tests.AbstractJenaTestCase |
ontModel, owlFullModel |
Fields inherited from class edu.stanford.smi.protegex.owl.tests.AbstractOWLTestCase |
owlModel, owlThing, project |
Fields inherited from class junit.framework.TestCase |
|
Constructor Summary | |
InverseOfSubSlotMustBeSubSlotOfInverseOfSuperSlotTestTestCase()
|
Method Summary | |
void |
testMove()
a x b y c z |
void |
testPippi()
|
Methods inherited from class edu.stanford.smi.protegex.owl.tests.AbstractJenaTestCase |
getNamedClassesCount, loadRemoteOntology, loadRemoteOntologyWithProtegeMetadataOntology, loadTestOntology, ontResourceExists, reload, reloadWithJenaLoader |
Methods inherited from class edu.stanford.smi.protegex.owl.tests.AbstractOWLTestCase |
assertContains, assertContains, assertContainsNot, assertHasValue, assertSize, assertSize, dumpRDF, getRemoteOntologyURI, getTestOntologyURI, hasTypedLiteral, list, 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 |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public InverseOfSubSlotMustBeSubSlotOfInverseOfSuperSlotTestTestCase()
Method Detail |
public void testPippi() throws Exception
Exception
public void testMove()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |