org.semanticweb.owlapi.model
Class AbstractOWLDataCardinalityRestrictionTestCase

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
All Implemented Interfaces:
junit.framework.Test
Direct Known Subclasses:
OWLDataExactCardinalityTestCase, OWLDataMaxCardinalityTestCase, OWLDataMinCardinalityTestCase

public abstract class AbstractOWLDataCardinalityRestrictionTestCase
extends AbstractOWLRestrictionTestCase<OWLDataProperty>

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


Constructor Summary
AbstractOWLDataCardinalityRestrictionTestCase()
           
 
Method Summary
protected  OWLDataProperty createProperty()
           
protected  OWLRestriction createRestriction(OWLDataProperty prop)
           
protected abstract  OWLDataCardinalityRestriction createRestriction(OWLDataProperty prop, int cardinality)
           
protected abstract  OWLDataCardinalityRestriction createRestriction(OWLDataProperty prop, int cardinality, OWLDataRange dataRange)
           
 void testCreation()
           
 void testEqualsNegative()
           
 void testEqualsPositive()
           
 void 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

AbstractOWLDataCardinalityRestrictionTestCase

public AbstractOWLDataCardinalityRestrictionTestCase()
Method Detail

createRestriction

protected abstract OWLDataCardinalityRestriction createRestriction(OWLDataProperty prop,
                                                                   int cardinality)
                                                            throws java.lang.Exception
Throws:
java.lang.Exception

createRestriction

protected abstract OWLDataCardinalityRestriction createRestriction(OWLDataProperty prop,
                                                                   int cardinality,
                                                                   OWLDataRange dataRange)
                                                            throws java.lang.Exception
Throws:
java.lang.Exception

createRestriction

protected OWLRestriction createRestriction(OWLDataProperty prop)
                                    throws java.lang.Exception
Specified by:
createRestriction in class AbstractOWLRestrictionTestCase<OWLDataProperty>
Throws:
java.lang.Exception

createProperty

protected OWLDataProperty createProperty()
                                  throws OWLException
Specified by:
createProperty in class AbstractOWLRestrictionTestCase<OWLDataProperty>
Throws:
OWLException

testCreation

public void testCreation()
                  throws java.lang.Exception
Specified by:
testCreation in class AbstractOWLDataFactoryTest
Throws:
java.lang.Exception

testEqualsPositive

public void testEqualsPositive()
                        throws java.lang.Exception
Specified by:
testEqualsPositive in class AbstractOWLDataFactoryTest
Throws:
java.lang.Exception

testEqualsNegative

public void testEqualsNegative()
                        throws java.lang.Exception
Specified by:
testEqualsNegative in class AbstractOWLDataFactoryTest
Throws:
java.lang.Exception

testHashCode

public void testHashCode()
                  throws java.lang.Exception
Specified by:
testHashCode in class AbstractOWLDataFactoryTest
Throws:
java.lang.Exception