edu.stanford.smi.protegex.owl.testing
Class OWLTestLibrary

java.lang.Object
  edu.stanford.smi.protegex.owl.testing.OWLTestLibrary

public class OWLTestLibrary

extends Object

A static utility class that manages the available OWLTests on this machine.

Author:

Holger Knublauch

Field Summary

private static Map	testMap
private static Set	userDefinedClasses

Constructor Summary

OWLTestLibrary()

Method Summary

static void	addOWLTestClass(Class clazz) A work-around method for OWLTests from outside the OWL Plugin.
private static OWLTest	createOWLTest(Class clazz)
static OWLTest	getOWLTest(Class clazz)
static Class[]	getOWLTestClasses()
static boolean	isOWLDLTest(Class clazz)
private static void	repairOWLSlotTest(RDFPropertyTest owlSlotTest, RDFProperty property)
static void	repairRDFPropertyTests(RDFProperty property) Repairs all OWLSlotTests that are marked as AutoRepairableOWLTest on a given OWLProperty.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

testMap

private static Map testMap

userDefinedClasses

private static Set userDefinedClasses

Constructor Detail

OWLTestLibrary

public OWLTestLibrary()

Method Detail

addOWLTestClass

public static void addOWLTestClass(Class clazz)

A work-around method for OWLTests from outside the OWL Plugin. Since due to a bug in the Java virtual machine these Classes can not be found through their manifest, they need to be added manually, preferably through a ProjectPlugin.

Parameters:

clazz - the Class of an OWLTest to add

createOWLTest

private static OWLTest createOWLTest(Class clazz)

getOWLTest

public static OWLTest getOWLTest(Class clazz)

getOWLTestClasses

public static Class[] getOWLTestClasses()

isOWLDLTest

public static boolean isOWLDLTest(Class clazz)

repairRDFPropertyTests

public static void repairRDFPropertyTests(RDFProperty property)

Repairs all OWLSlotTests that are marked as AutoRepairableOWLTest on a given OWLProperty.

Parameters:

property - the OWLProperty to repair

repairOWLSlotTest

private static void repairOWLSlotTest(RDFPropertyTest owlSlotTest,
                                      RDFProperty property)