org.semanticweb.owlapi.api.test
Class ObjectQualifiedCardinalityTestCase

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by org.semanticweb.owlapi.api.test.AbstractOWLAPITestCase
              extended by org.semanticweb.owlapi.api.test.AbstractRoundTrippingTest
                  extended by org.semanticweb.owlapi.api.test.AbstractFileRoundTrippingTestCase
                      extended by org.semanticweb.owlapi.api.test.ObjectQualifiedCardinalityTestCase
All Implemented Interfaces:
junit.framework.Test

public class ObjectQualifiedCardinalityTestCase
extends AbstractFileRoundTrippingTestCase

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 02-Feb-2009


Constructor Summary
ObjectQualifiedCardinalityTestCase()
           
 
Method Summary
protected  java.lang.String getFileName()
           
protected  void handleSaved(StringOutputTarget target, OWLOntologyFormat format)
           
 void testCorrectAxioms()
           
 
Methods inherited from class org.semanticweb.owlapi.api.test.AbstractFileRoundTrippingTestCase
createOntology
 
Methods inherited from class org.semanticweb.owlapi.api.test.AbstractRoundTrippingTest
getOnt, setUp, testFunctionalSyntax, testManchesterOWLSyntax, testOWLXML, testRDFXML, testTurtle
 
Methods inherited from class org.semanticweb.owlapi.api.test.AbstractOWLAPITestCase
addAxiom, getFactory, getManager, getOWLAnnotationProperty, getOWLClass, getOWLDataProperty, getOWLDatatype, getOWLIndividual, getOWLObjectProperty, getOWLOntology, isIgnoreDeclarationAxioms, loadOntology, roundTripOntology, roundTripOntology
 
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, runTest, setName, tearDown, 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

ObjectQualifiedCardinalityTestCase

public ObjectQualifiedCardinalityTestCase()
Method Detail

testCorrectAxioms

public void testCorrectAxioms()

handleSaved

protected void handleSaved(StringOutputTarget target,
                           OWLOntologyFormat format)
Overrides:
handleSaved in class AbstractRoundTrippingTest

getFileName

protected java.lang.String getFileName()
Specified by:
getFileName in class AbstractFileRoundTrippingTestCase