org.topbraid.strings.classexpressions.labels.tests
Class AppendDisjointUnionOfClassTestCase

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

All Implemented Interfaces:

junit.framework.Test

public class AppendDisjointUnionOfClassTestCase
extends AbstractTBTestCase

Field Summary

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

BASE_URI, NS, URI

Constructor Summary

AppendDisjointUnionOfClassTestCase()

Method Summary

void	testSimpleUnion()
void	testUnionWithComplement()

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

AppendDisjointUnionOfClassTestCase

public AppendDisjointUnionOfClassTestCase()

Method Detail

testSimpleUnion

public void testSimpleUnion()

testUnionWithComplement

public void testUnionWithComplement()