org.semanticweb.owlapi.model
Class OWLDataPropertyDomainAxiomTestCase

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

public class OWLDataPropertyDomainAxiomTestCase
extends AbstractOWLBinaryOperandAxiomTestCase<OWLDataProperty,OWLClassExpression>

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


Constructor Summary
OWLDataPropertyDomainAxiomTestCase()
           
 
Method Summary
protected  OWLAxiom createAxiom(OWLDataProperty leftOperand, OWLClassExpression rightOperand)
           
protected  OWLDataProperty createLeftOperand()
           
protected  OWLClassExpression createRightOperand()
           
 
Methods inherited from class org.semanticweb.owlapi.model.AbstractOWLBinaryOperandAxiomTestCase
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

OWLDataPropertyDomainAxiomTestCase

public OWLDataPropertyDomainAxiomTestCase()
Method Detail

createLeftOperand

protected OWLDataProperty createLeftOperand()
                                     throws java.lang.Exception
Specified by:
createLeftOperand in class AbstractOWLBinaryOperandAxiomTestCase<OWLDataProperty,OWLClassExpression>
Throws:
java.lang.Exception

createRightOperand

protected OWLClassExpression createRightOperand()
                                         throws java.lang.Exception
Specified by:
createRightOperand in class AbstractOWLBinaryOperandAxiomTestCase<OWLDataProperty,OWLClassExpression>
Throws:
java.lang.Exception

createAxiom

protected OWLAxiom createAxiom(OWLDataProperty leftOperand,
                               OWLClassExpression rightOperand)
                        throws java.lang.Exception
Specified by:
createAxiom in class AbstractOWLBinaryOperandAxiomTestCase<OWLDataProperty,OWLClassExpression>
Throws:
java.lang.Exception