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

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

All Implemented Interfaces:

ConditionsTableConstants, junit.framework.Test

public class FillConditionsTableModelTestCase

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

FillConditionsTableModelTestCase()

Method Summary

void	testBothSuperclassAndEquivalentClass() owl:Thing Person MalePerson = Person & gender $ male ------------------------------------------------------ Person (=) gender $ male (=)
void	testEmptyClass()
void	testMultipleEquivalentClasses() owl:Thing Mensch Person Aldi Person Person = Mensch = children >= 1 = (children <= 4 & Aldi) ------------------------------------------------------ Aldi children <= 4 Mensch children >= 1 owl:Thing
void	testMultipleEquivalentClassesPreordered() owl:Thing Mensch Person Aldi Person Person = (Aldi & children <= 4) = children >= 1 = Mensch ----------------------------------------------------------------- Aldi children <= 4 Mensch children >= 1 owl:Thing
void	testSingleRestrictionClass()
void	testSortRestrictions() owl:Thing Person children >= 1 children <= 3 ?
void	testTwoRestrictionsClass() owl:Thing Person children >= 1 * children Person ------------------------------------------------------ owl:Thing * children Person children >= 1

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

FillConditionsTableModelTestCase

public FillConditionsTableModelTestCase()

Method Detail

testEmptyClass

public void testEmptyClass()

testSingleRestrictionClass

public void testSingleRestrictionClass()

testSortRestrictions

public void testSortRestrictions()

owl:Thing Person children >= 1 children <= 3 ? children Person gender >= 1 * children Person children $ hans ------------------------------------------------------ owl:Thing * children Person ? children Person children $ hans children >= 1 children <= 3 gender >= 1

testTwoRestrictionsClass

public void testTwoRestrictionsClass()

owl:Thing Person children >= 1 * children Person ------------------------------------------------------ owl:Thing * children Person children >= 1

testBothSuperclassAndEquivalentClass

public void testBothSuperclassAndEquivalentClass()

owl:Thing Person MalePerson = Person & gender $ male ------------------------------------------------------ Person (=) gender $ male (=)

testMultipleEquivalentClasses

public void testMultipleEquivalentClasses()

owl:Thing Mensch Person Aldi Person Person = Mensch = children >= 1 = (children <= 4 & Aldi) ------------------------------------------------------ Aldi children <= 4 Mensch children >= 1 owl:Thing

testMultipleEquivalentClassesPreordered

public void testMultipleEquivalentClassesPreordered()

owl:Thing Mensch Person Aldi Person Person = (Aldi & children <= 4) = children >= 1 = Mensch ----------------------------------------------------------------- Aldi children <= 4 Mensch children >= 1 owl:Thing