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

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

All Implemented Interfaces:

OWLTest

Direct Known Subclasses:

DeprecationOWLTest, FacetConstraintsTest, FindSPARQLAssertsTest, InverseOfFunctionalMustBeInverseFunctionalTest, InverseOfInverseFunctionalMustBeFunctionalTest, InverseOfSubpropertyMustBeSubpropertyOfInverseOfSuperpropertyTest, InverseOfSymmetricPropertyMustBeSymmetricPropertyTest, InverseOfTopLevelPropertyMustBeTopLevelPropertyTest, InverseOfTransitivePropertyMustBeTransitivePropertyTest, InversePropertyMustHaveMatchingRangeAndDomainTest, NoCardiRestrictionOnTransitivePropertiesOWLDLTest, NoClassesOrPropertiesInEnumerationsOWLDLTest, NoImportOfSystemOntologiesOWLDLTest, NoMetaclassOWLDLTest, NoPropertiesWithClassAsRangeOWLDLTest, NoSubclassesOfRDFClassesOWLDLTest, NoSuperOrSubPropertiesOfAnnotationPropertiesTest, PropertyDomainEmptyTest, PropertyDomainRedundancyTest, PropertyRangeRedundancyTest, SPARQLAssertTest, SubpropertyDomainMustNarrowTest, SubpropertyRangeMustNarrowTest, SymmetricPropertyMustHaveEqualRangeAndDomainTest, TodoAnnotationOWLTest, TransitivePropertiesCannotBeFunctionalOWLDLTest

public abstract class AbstractOWLTest

extends Object

implements OWLTest

A base implementation of OWLTest.

Author:

Holger Knublauch

Field Summary

private String	documenation
private String	group
private String	name
static String	SANITY_GROUP

Constructor Summary

AbstractOWLTest()

AbstractOWLTest(String group, String name)

AbstractOWLTest(String group, String name, String documentation)

Method Summary

String	getDocumentation() Gets a documentation text that describes the test.
String	getGroup()
String	getName()

Methods inherited from class java.lang.Object

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

Field Detail

SANITY_GROUP

public static final String SANITY_GROUP

See Also:

Constant Field Values

group

private String group

documenation

private String documenation

name

private String name

Constructor Detail

AbstractOWLTest

public AbstractOWLTest()

AbstractOWLTest

public AbstractOWLTest(String group,
                       String name)

AbstractOWLTest

public AbstractOWLTest(String group,
                       String name,
                       String documentation)

Method Detail

getGroup

public String getGroup()

Specified by:

getGroup in interface OWLTest

getName

public String getName()

Specified by:

getName in interface OWLTest

getDocumentation

public String getDocumentation()

Description copied from interface: OWLTest

Gets a documentation text that describes the test. This could be HTML text.

Specified by:

getDocumentation in interface OWLTest

Returns:

the documentation