edu.stanford.smi.protegex.owl.jena.creator.tests
Class CreateCardinalityRestrictionsTestCase

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.creator.tests.AbstractJenaCreatorTestCase
                      edu.stanford.smi.protegex.owl.jena.creator.tests.CreateCardinalityRestrictionsTestCase

All Implemented Interfaces:

junit.framework.Test

public class CreateCardinalityRestrictionsTestCase

extends AbstractJenaCreatorTestCase

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

CreateCardinalityRestrictionsTestCase()

Method Summary

protected com.hp.hpl.jena.ontology.Restriction	getRestriction(com.hp.hpl.jena.ontology.OntClass ontClass)
protected com.hp.hpl.jena.ontology.OntModel	runJenaCreator()
protected com.hp.hpl.jena.ontology.OntModel	runJenaCreator(boolean forReasoning)
protected com.hp.hpl.jena.ontology.OntModel	runJenaCreator(boolean forReasoning, boolean inferred)
void	testCreateCardinalityRestriction()
void	testCreateMaxCardinalityRestriction()
void	testCreateMinCardinalityRestriction()

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

CreateCardinalityRestrictionsTestCase

public CreateCardinalityRestrictionsTestCase()

Method Detail

testCreateCardinalityRestriction

public void testCreateCardinalityRestriction()

testCreateMaxCardinalityRestriction

public void testCreateMaxCardinalityRestriction()

testCreateMinCardinalityRestriction

public void testCreateMinCardinalityRestriction()

getRestriction

protected com.hp.hpl.jena.ontology.Restriction getRestriction(com.hp.hpl.jena.ontology.OntClass ontClass)

runJenaCreator

protected com.hp.hpl.jena.ontology.OntModel runJenaCreator()

runJenaCreator

protected com.hp.hpl.jena.ontology.OntModel runJenaCreator(boolean forReasoning)

runJenaCreator

protected com.hp.hpl.jena.ontology.OntModel runJenaCreator(boolean forReasoning,
                                                           boolean inferred)