org.semanticweb.owlapi.model
Class OWLDataMaxCardinalityTestCase

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by org.semanticweb.owlapi.model.AbstractOWLTestCase
              extended by org.semanticweb.owlapi.model.AbstractOWLDataFactoryTest
                  extended by org.semanticweb.owlapi.model.AbstractOWLRestrictionTestCase<OWLDataProperty>
                      extended by org.semanticweb.owlapi.model.AbstractOWLDataCardinalityRestrictionTestCase
                          extended by org.semanticweb.owlapi.model.OWLDataMaxCardinalityTestCase
All Implemented Interfaces:
junit.framework.Test

public class OWLDataMaxCardinalityTestCase
extends AbstractOWLDataCardinalityRestrictionTestCase

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006


Constructor Summary
OWLDataMaxCardinalityTestCase()
           
 
Method Summary
protected  OWLDataCardinalityRestriction createRestriction(OWLDataProperty prop, int cardinality)
           
protected  OWLDataCardinalityRestriction createRestriction(OWLDataProperty prop, int cardinality, OWLDataRange dataRange)
           
 
Methods inherited from class org.semanticweb.owlapi.model.AbstractOWLDataCardinalityRestrictionTestCase
createProperty, createRestriction, testCreation, testEqualsNegative, testEqualsPositive, testHashCode
 
Methods inherited from class org.semanticweb.owlapi.model.AbstractOWLRestrictionTestCase
testPropertyGetter
 
Methods inherited from class org.semanticweb.owlapi.model.AbstractOWLDataFactoryTest
assertNotEquals, createIRI, createOWLClass, createOWLDataProperty, createOWLDatatype, createOWLIndividual, createOWLObjectProperty, createOWLTypedConstant, setUp
 
Methods inherited from class org.semanticweb.owlapi.model.AbstractOWLTestCase
getOWLDataFactory, getOWLOntologyManager, tearDown
 
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, runTest, setName, 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, failNotEquals, failNotSame, failSame, format
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

OWLDataMaxCardinalityTestCase

public OWLDataMaxCardinalityTestCase()
Method Detail

createRestriction

protected OWLDataCardinalityRestriction createRestriction(OWLDataProperty prop,
                                                          int cardinality)
                                                   throws java.lang.Exception
Specified by:
createRestriction in class AbstractOWLDataCardinalityRestrictionTestCase
Throws:
java.lang.Exception

createRestriction

protected OWLDataCardinalityRestriction createRestriction(OWLDataProperty prop,
                                                          int cardinality,
                                                          OWLDataRange dataRange)
                                                   throws java.lang.Exception
Specified by:
createRestriction in class AbstractOWLDataCardinalityRestrictionTestCase
Throws:
java.lang.Exception