edu.stanford.smi.protegex.owl.storage.tests
Class ProtegeSaverTestCase

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          edu.stanford.smi.protege.test.AbstractTestCase
              edu.stanford.smi.protege.test.APITestCase
                  edu.stanford.smi.protegex.owl.storage.tests.ProtegeSaverTestCase

All Implemented Interfaces:

junit.framework.Test

public class ProtegeSaverTestCase

extends edu.stanford.smi.protege.test.APITestCase

Author:

Holger Knublauch

Field Summary

private edu.stanford.smi.protege.model.Project

project

Fields inherited from class edu.stanford.smi.protege.test.APITestCase

MS_ACCESS, MYSQL, ORACLE, POSTGRES, SQLSERVER

Fields inherited from class edu.stanford.smi.protege.test.AbstractTestCase

Fields inherited from class junit.framework.TestCase

Constructor Summary

ProtegeSaverTestCase()

Method Summary

private JenaOWLModel	runCopier()
void	testDatatypeRange()
void	testDocumentation()
void	testInverseSlots()
void	testOWLFunctionalProperty()
void	testRDFSDomainEmpty()
void	testRDFSDomainOneClass()

Methods inherited from class edu.stanford.smi.protege.test.APITestCase

assertEventFired, clearEvents, getClientInformation, getEventCount, getEventFired, getProject, getSlot, init, isDatabaseProject, isFileProject, recordEventFired, saveAndReload, setClientInformation, setDatabaseProject, setDatabaseProject, setFileProject, setProjectFactory, setUp, tearDown

Methods inherited from class edu.stanford.smi.protege.test.AbstractTestCase

assertEqualsArray, assertEqualsList, assertEqualsSet, checkErrors, createCls, createCls, createCls, createClsWithType, createFacet, createFrame, createInstance, createInstance, createMultiValuedSlot, createMultiValuedSlot, createSingleValuedSlot, createSingleValuedSlot, createSlot, createSlotOnCls, createSubCls, createSubClsWithType, createSubSlot, delete, deleteFrame, deleteTempSubdirectory, getCls, getDomainKB, getFacet, getFrame, getFrameCount, getInstance, getTempDirectory, getTempSubdirectory, makeList, makeList, makeList, makeList, makeList, setCompleteValueType

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, run, run, runBare, runTest, setName, 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

Field Detail

project

private edu.stanford.smi.protege.model.Project project

Constructor Detail

ProtegeSaverTestCase

public ProtegeSaverTestCase()

Method Detail

runCopier

private JenaOWLModel runCopier()

testDocumentation

public void testDocumentation()

testInverseSlots

public void testInverseSlots()

testDatatypeRange

public void testDatatypeRange()

testOWLFunctionalProperty

public void testOWLFunctionalProperty()

testRDFSDomainEmpty

public void testRDFSDomainEmpty()

testRDFSDomainOneClass

public void testRDFSDomainOneClass()