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

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

All Implemented Interfaces:

ConditionsTableConstants, junit.framework.Test

public class AddRowTestCase

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

AddRowTestCase()

Method Summary

void	testAddAnonEquivalentClassAtDefinition() Mensch -> Add children >= 1 Other owl:Thing ------------------------------------------------------ owl:Thing Person = Mensch & Other & children >= 1 Mensch Person Other Person
void	testAddAnonEquivalentClassAtSecondDefinition() Mensch Other -> Add children >= 1 owl:Thing ------------------------------------------------------ owl:Thing Person = Mensch & Other & children >= 1 Mensch Person Other Person
void	testAddAtSuperclass() owl:Thing -> Add Animal ------------------------------------------------------ owl:Thing Person Animal Person
void	testAddAtSuperclassSeparator() -> Add Animal owl:Thing ------------------------------------------------------ owl:Thing Person Animal Person
void	testAddDuplicateAnonClass() -> Add children >= 1 children >= 1 owl:Thing ------------------------------------------ children >= 1 children >= 1 owl:Thing
void	testAddDuplicateNamedClass() -> Add Animal Animal ------------------------------------------ Add rejected because no duplicates allowed
void	testAddDuplicateOperand() Animal children >= 1 -> Add children >= 1 owl:Thing ------------------------------------------ Add rejected because no duplicates allowed
void	testAddInherited() Animal -> Add children >= 1 children >= 1 ------------------------------------------------------ owl:Thing Animal (children >= 1) Person (children >= 1)
void	testAddIntersectionCls()
void	testAddNamedEquivalentClassAtDefinition() -> Add Other Mensch owl:Thing ------------------------------------------------------ owl:Thing Person = Mensch & Other Mensch Person Other Person
void	testAddNamedEquivalentClassAtSeparator() -> Add Other Mensch owl:Thing ------------------------------------------------------ owl:Thing Person = Mensch = Other Mensch Person Other Person
void	testAddSingleEquivalentClassAtSeparator() -> Add Mensch owl:Thing ------------------------------------------------------ owl:Thing Person = Mensch
void	testDisallowEquivalentToThing() -> Add owl:Thing ------------------------------------------------------ No change should happen

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

AddRowTestCase

public AddRowTestCase()

Method Detail

testAddAtSuperclassSeparator

public void testAddAtSuperclassSeparator()

-> Add Animal owl:Thing ------------------------------------------------------ owl:Thing Person Animal Person

testAddAtSuperclass

public void testAddAtSuperclass()

owl:Thing -> Add Animal ------------------------------------------------------ owl:Thing Person Animal Person

testAddSingleEquivalentClassAtSeparator

public void testAddSingleEquivalentClassAtSeparator()

-> Add Mensch owl:Thing ------------------------------------------------------ owl:Thing Person = Mensch

testAddNamedEquivalentClassAtSeparator

public void testAddNamedEquivalentClassAtSeparator()

-> Add Other Mensch owl:Thing ------------------------------------------------------ owl:Thing Person = Mensch = Other Mensch Person Other Person

testAddNamedEquivalentClassAtDefinition

public void testAddNamedEquivalentClassAtDefinition()

-> Add Other Mensch owl:Thing ------------------------------------------------------ owl:Thing Person = Mensch & Other Mensch Person Other Person

testAddAnonEquivalentClassAtDefinition

public void testAddAnonEquivalentClassAtDefinition()

Mensch -> Add children >= 1 Other owl:Thing ------------------------------------------------------ owl:Thing Person = Mensch & Other & children >= 1 Mensch Person Other Person

testAddAnonEquivalentClassAtSecondDefinition

public void testAddAnonEquivalentClassAtSecondDefinition()

Mensch Other -> Add children >= 1 owl:Thing ------------------------------------------------------ owl:Thing Person = Mensch & Other & children >= 1 Mensch Person Other Person

testAddDuplicateNamedClass

public void testAddDuplicateNamedClass()

-> Add Animal Animal ------------------------------------------ Add rejected because no duplicates allowed

testAddDuplicateAnonClass

public void testAddDuplicateAnonClass()

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

testAddDuplicateOperand

public void testAddDuplicateOperand()

Animal children >= 1 -> Add children >= 1 owl:Thing ------------------------------------------ Add rejected because no duplicates allowed

testAddInherited

public void testAddInherited()

Animal -> Add children >= 1 children >= 1 ------------------------------------------------------ owl:Thing Animal (children >= 1) Person (children >= 1)

testDisallowEquivalentToThing

public void testDisallowEquivalentToThing()

-> Add owl:Thing ------------------------------------------------------ No change should happen

testAddIntersectionCls

public void testAddIntersectionCls()