org.semanticweb.owlapi.model
Class OWLDataSomeRestrictionTestCase

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>
                      extended by org.semanticweb.owlapi.model.AbstractOWLRestrictionWithFillerTestCase<OWLDataProperty,OWLDataRange>
                          extended by org.semanticweb.owlapi.model.OWLDataSomeRestrictionTestCase
All Implemented Interfaces:
junit.framework.Test

public class OWLDataSomeRestrictionTestCase
extends AbstractOWLRestrictionWithFillerTestCase<OWLDataProperty,OWLDataRange>

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


Constructor Summary
OWLDataSomeRestrictionTestCase()
           
 
Method Summary
protected  OWLDataRange createFiller()
           
protected  OWLDataProperty createProperty()
           
protected  OWLRestriction createRestriction(OWLDataProperty prop, OWLDataRange filler)
           
 
Methods inherited from class org.semanticweb.owlapi.model.AbstractOWLRestrictionWithFillerTestCase
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

OWLDataSomeRestrictionTestCase

public OWLDataSomeRestrictionTestCase()
Method Detail

createRestriction

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

createProperty

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

createFiller

protected OWLDataRange createFiller()
                             throws OWLException
Specified by:
createFiller in class AbstractOWLRestrictionWithFillerTestCase<OWLDataProperty,OWLDataRange>
Throws:
OWLException