org.topbraid.strings.classexpressions.parser.tests
Class ParseComplementClassTestCase

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          org.topbraid.core.testing.AbstractTBTestCase
              org.topbraid.strings.classexpressions.parser.tests.ParseComplementClassTestCase

All Implemented Interfaces:

junit.framework.Test

public class ParseComplementClassTestCase
extends AbstractTBTestCase

Field Summary

Fields inherited from class org.topbraid.core.testing.AbstractTBTestCase

BASE_URI, NS, URI

Constructor Summary

ParseComplementClassTestCase()

Method Summary

void	testComplementOfOWLThing()
void	testComplementOfUserDefinedNamedClass()

Methods inherited from class org.topbraid.core.testing.AbstractTBTestCase

assertSize, createModel, createNonNegativeInteger, createOntModel, createOntModel, execute

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, run, run, runBare, runTest, setName, setUp, 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

Methods inherited from class java.lang.Object

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

Constructor Detail

ParseComplementClassTestCase

public ParseComplementClassTestCase()

Method Detail

testComplementOfOWLThing

public void testComplementOfOWLThing()
                              throws java.lang.Exception

Throws:

java.lang.Exception

testComplementOfUserDefinedNamedClass

public void testComplementOfUserDefinedNamedClass()
                                           throws java.lang.Exception

Throws:

java.lang.Exception