edu.stanford.smi.protegex.owl.ui.widget.tests
Class OWLWidgetMapperTestCase

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.widget.tests.OWLWidgetMapperTestCase

All Implemented Interfaces:

junit.framework.Test

public class OWLWidgetMapperTestCase

extends AbstractJenaTestCase

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

OWLWidgetMapperTestCase()

Method Summary

private String	getDefaultWidgetClassName(RDFSNamedClass c, RDFProperty property)
void	testDomainDefined()
void	testEnumeratedDatatype()
void	testNoDirectDomainButSuperproperty()
void	testNoDomainDefined()
void	testNoDomainDefinedAndFunctional()
void	testNoDomainDefinedButAllRestriction()
void	testNoDomainDefinedButCardiRestriction()
void	testNoDomainDefinedButInheritedMinCardiRestriction()
void	testNoDomainDefinedButMinCardiRestriction()
void	testNoDomainDefinedButSomeRestriction()
void	testOWLDataRangeProperty()
void	testOWLMaxCardinality0()
void	testWidgetsOfOWLDatatypeProperty()
void	testWidgetsOfRDFProperties()

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

OWLWidgetMapperTestCase

public OWLWidgetMapperTestCase()

Method Detail

getDefaultWidgetClassName

private String getDefaultWidgetClassName(RDFSNamedClass c,
                                         RDFProperty property)

testDomainDefined

public void testDomainDefined()

testNoDomainDefined

public void testNoDomainDefined()

testNoDomainDefinedAndFunctional

public void testNoDomainDefinedAndFunctional()

testNoDomainDefinedButAllRestriction

public void testNoDomainDefinedButAllRestriction()

testNoDomainDefinedButCardiRestriction

public void testNoDomainDefinedButCardiRestriction()

testNoDomainDefinedButMinCardiRestriction

public void testNoDomainDefinedButMinCardiRestriction()

testNoDomainDefinedButInheritedMinCardiRestriction

public void testNoDomainDefinedButInheritedMinCardiRestriction()

testNoDomainDefinedButSomeRestriction

public void testNoDomainDefinedButSomeRestriction()

testNoDirectDomainButSuperproperty

public void testNoDirectDomainButSuperproperty()

testWidgetsOfRDFProperties

public void testWidgetsOfRDFProperties()

testWidgetsOfOWLDatatypeProperty

public void testWidgetsOfOWLDatatypeProperty()

testOWLDataRangeProperty

public void testOWLDataRangeProperty()

testOWLMaxCardinality0

public void testOWLMaxCardinality0()

testEnumeratedDatatype

public void testEnumeratedDatatype()