edu.stanford.smi.protegex.owl.model.framestore.tests
Class DependingDeleteTestCase

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          edu.stanford.smi.protegex.owl.tests.AbstractOWLTestCase
              edu.stanford.smi.protegex.owl.tests.AbstractJenaTestCase
                  edu.stanford.smi.protegex.owl.model.framestore.tests.DependingDeleteTestCase

All Implemented Interfaces:

junit.framework.Test

public class DependingDeleteTestCase

extends AbstractJenaTestCase

A TestCase to test the OWLFrameStore' recursive delete of depending classes.

Author:

Holger Knublauch

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

DependingDeleteTestCase()

Method Summary

void	testDeleteAllAndSomeRestrictionOnClsDelete()
void	testDeleteAnonymousDatatypeInRange()
void	testDeleteAnonymousDatatypeInRestriction()
void	testDeleteHasRestrictionOnInstanceDelete()
void	testDeleteRestrictionOnSuperSlotDelete()
void	testDeleteRestrictionsOnSlotDelete()
void	testDeleteSomeRestrictionOfInheritedCls()

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

DependingDeleteTestCase

public DependingDeleteTestCase()

Method Detail

testDeleteHasRestrictionOnInstanceDelete

public void testDeleteHasRestrictionOnInstanceDelete()

testDeleteAllAndSomeRestrictionOnClsDelete

public void testDeleteAllAndSomeRestrictionOnClsDelete()

testDeleteRestrictionsOnSlotDelete

public void testDeleteRestrictionsOnSlotDelete()

testDeleteRestrictionOnSuperSlotDelete

public void testDeleteRestrictionOnSuperSlotDelete()

testDeleteSomeRestrictionOfInheritedCls

public void testDeleteSomeRestrictionOfInheritedCls()

testDeleteAnonymousDatatypeInRestriction

public void testDeleteAnonymousDatatypeInRestriction()

testDeleteAnonymousDatatypeInRange

public void testDeleteAnonymousDatatypeInRange()