edu.stanford.smi.protegex.owl.model.classdisplay.compact.tests
Class CompactOWLClassDisplayTestCase

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.classdisplay.tests.AbstractOWLClassRendererTestCase
                      edu.stanford.smi.protegex.owl.model.classdisplay.compact.tests.CompactOWLClassDisplayTestCase

All Implemented Interfaces:

junit.framework.Test

public class CompactOWLClassDisplayTestCase

extends AbstractOWLClassRendererTestCase

Author:

Holger Knublauch

Field Summary

Fields inherited from class edu.stanford.smi.protegex.owl.model.classdisplay.tests.AbstractOWLClassRendererTestCase

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

CompactOWLClassDisplayTestCase()

Method Summary

void	testComplexComplement()
void	testOWLNamedClass()
void	testSomeValuesFromWithNestedUnion()

Methods inherited from class edu.stanford.smi.protegex.owl.model.classdisplay.tests.AbstractOWLClassRendererTestCase

getComplexComplement, getDisplayText, getSomeValuesFromWithNestedUnion

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, setUp

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

CompactOWLClassDisplayTestCase

public CompactOWLClassDisplayTestCase()

Method Detail

testOWLNamedClass

public void testOWLNamedClass()

testComplexComplement

public void testComplexComplement()

testSomeValuesFromWithNestedUnion

public void testSomeValuesFromWithNestedUnion()