edu.stanford.smi.protegex.owl.ui.conditions.tests
Class ChangeConditionsTableModelTestCase

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.ui.conditions.tests.AbstractConditionsTableTestCase
                      edu.stanford.smi.protegex.owl.ui.conditions.tests.ChangeConditionsTableModelTestCase

All Implemented Interfaces:

ConditionsTableConstants, junit.framework.Test

public class ChangeConditionsTableModelTestCase

extends AbstractConditionsTableTestCase

Author:

Holger Knublauch

Field Summary

Fields inherited from class edu.stanford.smi.protegex.owl.ui.conditions.tests.AbstractConditionsTableTestCase

events, INHERITED, NECESSARY, SUFFICIENT

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

Fields inherited from interface edu.stanford.smi.protegex.owl.ui.conditions.ConditionsTableConstants

COL_COUNT, COL_EXPRESSION, TYPE_DEFINITION_BASE, TYPE_INHERITED, TYPE_SUPERCLASS

Constructor Summary

ChangeConditionsTableModelTestCase()

Method Summary

void	testAddDirectSuperclass() owl:Thing Person --------------------------------------- Add Animal as superclass of Person --------------------------------------- Animal owl:Thing
void	testAddNamedEquivalentClass() owl:Thing Person Mensch ------------------------------------------------------ Add Mensch to equivalent classes of Person and remove owl:Thing from superclasses ------------------------------------------------------ Mensch
void	testDeleteRestrictionViaPropertyDelete()
void	testMoveNamedEquivalentClass() Male -> Move to other definition block children >= 1 children <= 4 ------------------------------------------------------ Male must remain direct superclass of the class
void	testRemoveDirectSuperclass()

Methods inherited from class edu.stanford.smi.protegex.owl.ui.conditions.tests.AbstractConditionsTableTestCase

assertTableModelStructure, getEvent, getTableModel

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

ChangeConditionsTableModelTestCase

public ChangeConditionsTableModelTestCase()

Method Detail

testAddDirectSuperclass

public void testAddDirectSuperclass()

owl:Thing Person --------------------------------------- Add Animal as superclass of Person --------------------------------------- Animal owl:Thing

testRemoveDirectSuperclass

public void testRemoveDirectSuperclass()

testAddNamedEquivalentClass

public void testAddNamedEquivalentClass()

owl:Thing Person Mensch ------------------------------------------------------ Add Mensch to equivalent classes of Person and remove owl:Thing from superclasses ------------------------------------------------------ Mensch

testMoveNamedEquivalentClass

public void testMoveNamedEquivalentClass()

Male -> Move to other definition block children >= 1 children <= 4 ------------------------------------------------------ Male must remain direct superclass of the class

testDeleteRestrictionViaPropertyDelete

public void testDeleteRestrictionViaPropertyDelete()