org.semanticweb.owlapi.model
Class OWLTransitiveObjectPropertyAxiomTestCase

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.AbstractOWLPropertyCharacteristicTestCase<OWLObjectProperty>
                      extended by org.semanticweb.owlapi.model.AbstractOWLObjectPropertyCharacteristicAxiomTestCase
                          extended by org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiomTestCase
All Implemented Interfaces:
junit.framework.Test

public class OWLTransitiveObjectPropertyAxiomTestCase
extends AbstractOWLObjectPropertyCharacteristicAxiomTestCase

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


Constructor Summary
OWLTransitiveObjectPropertyAxiomTestCase()
           
 
Method Summary
protected  OWLPropertyAxiom createOWLPropertyAxiom(OWLObjectProperty property)
           
 
Methods inherited from class org.semanticweb.owlapi.model.AbstractOWLObjectPropertyCharacteristicAxiomTestCase
createProperty
 
Methods inherited from class org.semanticweb.owlapi.model.AbstractOWLPropertyCharacteristicTestCase
testCreation, testEqualsNegative, testEqualsPositive, testHashCode
 
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

OWLTransitiveObjectPropertyAxiomTestCase

public OWLTransitiveObjectPropertyAxiomTestCase()
Method Detail

createOWLPropertyAxiom

protected OWLPropertyAxiom createOWLPropertyAxiom(OWLObjectProperty property)
                                           throws OWLException
Specified by:
createOWLPropertyAxiom in class AbstractOWLPropertyCharacteristicTestCase<OWLObjectProperty>
Throws:
OWLException