edu.stanford.smi.protegex.owl.jena.protege2jena.tests
Class CreatePropertyDomainTestCase

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.jena.protege2jena.tests.AbstractProtege2JenaTestCase
                      edu.stanford.smi.protegex.owl.jena.protege2jena.tests.CreatePropertyDomainTestCase

All Implemented Interfaces:

junit.framework.Test

public class CreatePropertyDomainTestCase

extends AbstractProtege2JenaTestCase

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

CreatePropertyDomainTestCase()

Method Summary

void	testDomainAtRestriction()
void	testDomainSingleClass()
void	testDomainTwoClasses()
void	testDomainUnrestricted()

Methods inherited from class edu.stanford.smi.protegex.owl.jena.protege2jena.tests.AbstractProtege2JenaTestCase

createOntModel, createOntModelR, getRestriction, reloadWithJenaLoader

Methods inherited from class edu.stanford.smi.protegex.owl.tests.AbstractJenaTestCase

getNamedClassesCount, loadRemoteOntology, loadRemoteOntologyWithProtegeMetadataOntology, loadTestOntology, ontResourceExists, reload

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

CreatePropertyDomainTestCase

public CreatePropertyDomainTestCase()

Method Detail

testDomainSingleClass

public void testDomainSingleClass()

testDomainTwoClasses

public void testDomainTwoClasses()

testDomainUnrestricted

public void testDomainUnrestricted()

testDomainAtRestriction

public void testDomainAtRestriction()