|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjunit.framework.Assert
junit.framework.TestCase
org.semanticweb.owlapi.model.AbstractOWLTestCase
org.semanticweb.owlapi.model.AbstractOWLDataFactoryTest
org.semanticweb.owlapi.model.AbstractOWLObjectCardinalityRestrictionTestCase
public abstract class AbstractOWLObjectCardinalityRestrictionTestCase
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 25-Oct-2006
Constructor Summary | |
---|---|
AbstractOWLObjectCardinalityRestrictionTestCase()
|
Method Summary | |
---|---|
protected abstract OWLObjectCardinalityRestriction |
createRestriction(OWLObjectProperty prop,
int cardinality)
|
protected abstract OWLObjectCardinalityRestriction |
createRestriction(OWLObjectProperty prop,
int cardinality,
OWLClassExpression classExpression)
|
void |
testCreation()
|
void |
testEqualsNegative()
|
void |
testEqualsPositive()
|
void |
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 |
---|
public AbstractOWLObjectCardinalityRestrictionTestCase()
Method Detail |
---|
protected abstract OWLObjectCardinalityRestriction createRestriction(OWLObjectProperty prop, int cardinality) throws java.lang.Exception
java.lang.Exception
protected abstract OWLObjectCardinalityRestriction createRestriction(OWLObjectProperty prop, int cardinality, OWLClassExpression classExpression) throws java.lang.Exception
java.lang.Exception
public void testCreation() throws java.lang.Exception
testCreation
in class AbstractOWLDataFactoryTest
java.lang.Exception
public void testEqualsPositive() throws java.lang.Exception
testEqualsPositive
in class AbstractOWLDataFactoryTest
java.lang.Exception
public void testEqualsNegative() throws java.lang.Exception
testEqualsNegative
in class AbstractOWLDataFactoryTest
java.lang.Exception
public void testHashCode() throws java.lang.Exception
testHashCode
in class AbstractOWLDataFactoryTest
java.lang.Exception
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |