edu.stanford.smi.protegex.owl.model.impl.tests
Class EqualsStructurallyTestCase

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          edu.stanford.smi.protegex.owl.tests.AbstractOWLTestCase
              edu.stanford.smi.protegex.owl.tests.AbstractJenaTestCase
                  edu.stanford.smi.protegex.owl.model.impl.tests.EqualsStructurallyTestCase

All Implemented Interfaces:

junit.framework.Test

public class EqualsStructurallyTestCase

extends AbstractJenaTestCase

User: matthewhorridge
The Univeristy Of Manchester
Medical Informatics Group
Date: Aug 4, 2005

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

Field Summary

Fields inherited from class edu.stanford.smi.protegex.owl.tests.AbstractJenaTestCase

ontModel, owlFullModel

Fields inherited from class edu.stanford.smi.protegex.owl.tests.AbstractOWLTestCase

owlModel, owlThing, project

Fields inherited from class junit.framework.TestCase

Constructor Summary

EqualsStructurallyTestCase()

Method Summary

private OWLNamedClass	getA()
private OWLNamedClass	getB()
private OWLNamedClass	getC()
private OWLIndividual	getI()
private OWLIndividual	getJ()
private OWLObjectProperty	getP()
private OWLDatatypeProperty	getR()
protected void	setUp()
void	testAbstractCardinality()
void	testAbstractLogicalNArayClass()
void	testDatatypeOWLHasValue()
void	testObjectOWLHasValue()
void	testOWLAbstractQCardinality()
void	testOWLAllValuesFrom()
void	testOWLComplementClass()
void	testOWLEnumeratedClass()
void	testOWLNamedClass()
void	testOWLObjectProperty()
void	testOWLSomeValuesFrom()
void	testRDFList()

Methods inherited from class edu.stanford.smi.protegex.owl.tests.AbstractJenaTestCase

getNamedClassesCount, loadRemoteOntology, loadRemoteOntologyWithProtegeMetadataOntology, loadTestOntology, ontResourceExists, reload, reloadWithJenaLoader

Methods inherited from class edu.stanford.smi.protegex.owl.tests.AbstractOWLTestCase

assertContains, assertContains, assertContainsNot, assertHasValue, assertSize, assertSize, dumpRDF, getRemoteOntologyURI, getTestOntologyURI, hasTypedLiteral, list

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

EqualsStructurallyTestCase

public EqualsStructurallyTestCase()

Method Detail

setUp

protected void setUp()
              throws Exception

Overrides:

setUp in class AbstractOWLTestCase

Throws:

Exception

testOWLNamedClass

public void testOWLNamedClass()

testOWLObjectProperty

public void testOWLObjectProperty()

testOWLSomeValuesFrom

public void testOWLSomeValuesFrom()

testOWLAllValuesFrom

public void testOWLAllValuesFrom()

testAbstractCardinality

public void testAbstractCardinality()

testOWLAbstractQCardinality

public void testOWLAbstractQCardinality()

testObjectOWLHasValue

public void testObjectOWLHasValue()

testDatatypeOWLHasValue

public void testDatatypeOWLHasValue()

testAbstractLogicalNArayClass

public void testAbstractLogicalNArayClass()

testOWLEnumeratedClass

public void testOWLEnumeratedClass()

testRDFList

public void testRDFList()

testOWLComplementClass

public void testOWLComplementClass()

getP

private OWLObjectProperty getP()

getR

private OWLDatatypeProperty getR()

getA

private OWLNamedClass getA()

getB

private OWLNamedClass getB()

getC

private OWLNamedClass getC()

getI

private OWLIndividual getI()

getJ

private OWLIndividual getJ()