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

java.lang.Object
  extended byjunit.framework.Assert
      extended byjunit.framework.TestCase
          extended byedu.stanford.smi.protegex.owl.tests.AbstractOWLTestCase
              extended byedu.stanford.smi.protegex.owl.tests.AbstractJenaTestCase
                  extended byedu.stanford.smi.protegex.owl.jena.protege2jena.tests.AbstractProtege2JenaTestCase
                      extended byedu.stanford.smi.protegex.owl.jena.protege2jena.tests.CreateCardinalityRestrictionsTestCase
All Implemented Interfaces:
junit.framework.Test

public class CreateCardinalityRestrictionsTestCase
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
CreateCardinalityRestrictionsTestCase()
           
 
Method Summary
 void testCreateCardinalityRestriction()
           
 void testCreateMaxCardinalityRestriction()
           
 void testCreateMinCardinalityRestriction()
           
 
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

CreateCardinalityRestrictionsTestCase

public CreateCardinalityRestrictionsTestCase()
Method Detail

testCreateCardinalityRestriction

public void testCreateCardinalityRestriction()

testCreateMaxCardinalityRestriction

public void testCreateMaxCardinalityRestriction()

testCreateMinCardinalityRestriction

public void testCreateMinCardinalityRestriction()