org.semanticweb.owlapi.model
Class AbstractOWLRestrictionTestCase<P extends OWLPropertyExpression>

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<P>
All Implemented Interfaces:
junit.framework.Test
Direct Known Subclasses:
AbstractOWLDataCardinalityRestrictionTestCase, AbstractOWLRestrictionWithFillerTestCase

public abstract class AbstractOWLRestrictionTestCase<P extends OWLPropertyExpression>
extends AbstractOWLDataFactoryTest

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


Constructor Summary
AbstractOWLRestrictionTestCase()
           
 
Method Summary
protected abstract  P createProperty()
           
protected abstract  OWLRestriction createRestriction(P prop)
           
 void testPropertyGetter()
           
 
Methods inherited from class org.semanticweb.owlapi.model.AbstractOWLDataFactoryTest
assertNotEquals, createIRI, createOWLClass, createOWLDataProperty, createOWLDatatype, createOWLIndividual, createOWLObjectProperty, createOWLTypedConstant, setUp, testCreation, testEqualsNegative, testEqualsPositive, testHashCode
 
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

AbstractOWLRestrictionTestCase

public AbstractOWLRestrictionTestCase()
Method Detail

createRestriction

protected abstract OWLRestriction createRestriction(P prop)
                                             throws java.lang.Exception
Throws:
java.lang.Exception

createProperty

protected abstract P createProperty()
                                                           throws java.lang.Exception
Throws:
java.lang.Exception

testPropertyGetter

public void testPropertyGetter()
                        throws java.lang.Exception
Throws:
java.lang.Exception