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

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.DeleteRowTestCase

All Implemented Interfaces:

ConditionsTableConstants, junit.framework.Test

public class DeleteRowTestCase

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

DeleteRowTestCase()

Method Summary

void	testAldi() Male -> delete children >= 1 Male
void	testDeleteAnonOperandFromTripleDefinition() owl:Thing Animal Parent = Animal & children >= 1 & children <= 4 --------------------------------------- Animal children >= 1 children <= 4 -> delete
void	testDeleteAnonOperandFromTupleDefinition() owl:Thing Animal Parent = Animal & children >= 1 --------------------------------------- Animal children >= 1 -> delete
void	testDeleteLastNamedSuperclass()
void	testDeleteLastNamedSuperclassOWLThing()
void	testDeleteNamedOperandFromTripleDefinition() owl:Thing Animal Parent = children >= 1 & children <= 4 & Animal --------------------------------------- Animal -> delete children >= 1 children <= 4
void	testDeleteNamedOperandFromTupleDefinition() owl:Thing Animal Parent = Animal & children >= 1 --------------------------------------- Animal -> delete children >= 1
void	testDeleteOnlySuperclass() owl:Thing Person (= Mensch) -> delete row Mensch from Person Mensch Person ------------------------------------------------------ Must make sure that Mensch has at least one superclass
void	testDeleteOWLThingWithNamedDefinition()
void	testDeleteOWLThingWithoutNamedDefinition()
void	testDeleteSingleAnonEquivalentClass() children >= 1 -> delete owl:Thing ------------------------------------------------------ owl:Thing
void	testDeleteSingleNamedEquivalentClass() Male -> delete owl:Thing ------------------------------------------------------ owl:Thing
void	testIsRemoveEnabledInMixedClass()
void	testRemoveSuperclass() owl:Thing Person Animal Person --------------------------------------- Animal -> delete owl:Thing

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

DeleteRowTestCase

public DeleteRowTestCase()

Method Detail

testRemoveSuperclass

public void testRemoveSuperclass()

owl:Thing Person Animal Person --------------------------------------- Animal -> delete owl:Thing

testDeleteOWLThingWithNamedDefinition

public void testDeleteOWLThingWithNamedDefinition()

testDeleteOWLThingWithoutNamedDefinition

public void testDeleteOWLThingWithoutNamedDefinition()

testDeleteSingleAnonEquivalentClass

public void testDeleteSingleAnonEquivalentClass()

children >= 1 -> delete owl:Thing ------------------------------------------------------ owl:Thing

testDeleteSingleNamedEquivalentClass

public void testDeleteSingleNamedEquivalentClass()

Male -> delete owl:Thing ------------------------------------------------------ owl:Thing

testDeleteAnonOperandFromTupleDefinition

public void testDeleteAnonOperandFromTupleDefinition()

owl:Thing Animal Parent = Animal & children >= 1 --------------------------------------- Animal children >= 1 -> delete

testDeleteNamedOperandFromTupleDefinition

public void testDeleteNamedOperandFromTupleDefinition()

owl:Thing Animal Parent = Animal & children >= 1 --------------------------------------- Animal -> delete children >= 1

testDeleteNamedOperandFromTripleDefinition

public void testDeleteNamedOperandFromTripleDefinition()

owl:Thing Animal Parent = children >= 1 & children <= 4 & Animal --------------------------------------- Animal -> delete children >= 1 children <= 4

testDeleteAnonOperandFromTripleDefinition

public void testDeleteAnonOperandFromTripleDefinition()

owl:Thing Animal Parent = Animal & children >= 1 & children <= 4 --------------------------------------- Animal children >= 1 children <= 4 -> delete

testAldi

public void testAldi()

Male -> delete children >= 1 Male

testDeleteOnlySuperclass

public void testDeleteOnlySuperclass()

owl:Thing Person (= Mensch) -> delete row Mensch from Person Mensch Person ------------------------------------------------------ Must make sure that Mensch has at least one superclass

testIsRemoveEnabledInMixedClass

public void testIsRemoveEnabledInMixedClass()

testDeleteLastNamedSuperclass

public void testDeleteLastNamedSuperclass()

testDeleteLastNamedSuperclassOWLThing

public void testDeleteLastNamedSuperclassOWLThing()