edu.stanford.smi.protegex.owl.ui.clsproperties.tests
Class PropertyRestrictionsTreeTestCase

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.ui.clsproperties.tests.PropertyRestrictionsTreeTestCase

All Implemented Interfaces:

junit.framework.Test

public class PropertyRestrictionsTreeTestCase

extends AbstractJenaTestCase

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

PropertyRestrictionsTreeTestCase()

Method Summary

private void	assertTree(PropertyRestrictionsTree tree, Object[] objects)
private void	printErrorTree(DefaultMutableTreeNode root)
void	testAllRestrictionMultiInherited()
void	testAllRestrictionOverloaded()
void	testDomainlessSubproperties()
void	testDuplicateProperty()
void	testOverloadedCardiRestrictionWithMinCardiRestriction()
void	testOverloadedHasRestriction()
void	testOverloadedMinCardiRestrictionWithMinCardiRestriction()
void	testOverloadedSomeRestriction()
void	testRecurseIntoSuperclassesAndEquivalentClasses()
void	testShowDomainlessPropertiesOnlyIfRestricted()
void	testSimpleBuild()
void	testSubproperties()

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

PropertyRestrictionsTreeTestCase

public PropertyRestrictionsTreeTestCase()

Method Detail

assertTree

private void assertTree(PropertyRestrictionsTree tree,
                        Object[] objects)

printErrorTree

private void printErrorTree(DefaultMutableTreeNode root)

testSimpleBuild

public void testSimpleBuild()

testRecurseIntoSuperclassesAndEquivalentClasses

public void testRecurseIntoSuperclassesAndEquivalentClasses()

testDuplicateProperty

public void testDuplicateProperty()

testOverloadedMinCardiRestrictionWithMinCardiRestriction

public void testOverloadedMinCardiRestrictionWithMinCardiRestriction()

testOverloadedCardiRestrictionWithMinCardiRestriction

public void testOverloadedCardiRestrictionWithMinCardiRestriction()

testAllRestrictionOverloaded

public void testAllRestrictionOverloaded()

testAllRestrictionMultiInherited

public void testAllRestrictionMultiInherited()

testOverloadedHasRestriction

public void testOverloadedHasRestriction()

testOverloadedSomeRestriction

public void testOverloadedSomeRestriction()

testShowDomainlessPropertiesOnlyIfRestricted

public void testShowDomainlessPropertiesOnlyIfRestricted()

testSubproperties

public void testSubproperties()

testDomainlessSubproperties

public void testDomainlessSubproperties()