| com.hp.hpl.jena.reasoner.rulesys.test.OWLUnitTest
| OWLUnitTest | | public class OWLUnitTest extends TestCase (Code) | | Version of the OWL unit tests used during development of the mini ruleset.
author:
Dave Reynolds
version:
$Revision: 1.15 $ on $Date: 2008/01/02 12:08:19 $ |
| Inner Class :static class TestDef | |
| Method Summary | |
| protected void | runTest()
| | public static TestSuite | suite()
Boilerplate for junit. |
| CLEAN | | final public static int CLEAN(Code) | | |
| FB | | final public static int FB(Code) | | bit flag to indicate the test should be passed by the default reasoner
|
| INCONSISTENT | | final public static int INCONSISTENT(Code) | | |
| MICRO | | final public static int MICRO(Code) | | bit flag to indicate the test should be passed by the micro reasoner
|
| MINI | | final public static int MINI(Code) | | bit flag to indicate the test should be passed by the mini reasoner
|
| WARNINGS | | final public static int WARNINGS(Code) | | |
| manifest | | protected String manifest(Code) | | The name of the manifest file to test
|
| reasonerFactories | | public static ReasonerFactory[] reasonerFactories(Code) | | The set of reasoner(factories) to test
|
| reasonerNames | | final public static String[] reasonerNames(Code) | | The names of the reasoner(factories) to report in the test suite
|
| testDefs | | public static TestDef[] testDefs(Code) | | The set of test cases to be used
|
| suite | | public static TestSuite suite()(Code) | | Boilerplate for junit.
This is its own test suite
|
|
|