edu.stanford.smi.protegex.owl.model.classdisplay.manchester.tests
Class ManchesterOWLClassDisplayTestCase

java.lang.Object
  extended byjunit.framework.Assert
      extended byjunit.framework.TestCase
          extended byedu.stanford.smi.protegex.owl.tests.AbstractOWLTestCase
              extended byedu.stanford.smi.protegex.owl.tests.AbstractJenaTestCase
                  extended byedu.stanford.smi.protegex.owl.model.classdisplay.tests.AbstractOWLClassRendererTestCase
                      extended byedu.stanford.smi.protegex.owl.model.classdisplay.manchester.tests.ManchesterOWLClassDisplayTestCase
All Implemented Interfaces:
junit.framework.Test

public class ManchesterOWLClassDisplayTestCase
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
ManchesterOWLClassDisplayTestCase()
           
 
Method Summary
 void testComplementOfNamedClass()
           
 void testComplexExpression()
           
 
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

ManchesterOWLClassDisplayTestCase

public ManchesterOWLClassDisplayTestCase()
Method Detail

testComplexExpression

public void testComplexExpression()

testComplementOfNamedClass

public void testComplementOfNamedClass()