|
|||||||||
| Home >> All >> com >> hp >> hpl >> jena >> reasoner >> rulesys >> [ test overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
com.hp.hpl.jena.reasoner.rulesys.test
Class OWLUnitTest

java.lang.Objectjunit.framework.Assert
junit.framework.TestCase
com.hp.hpl.jena.reasoner.rulesys.test.OWLUnitTest
- All Implemented Interfaces:
- junit.framework.Test
- public class OWLUnitTest
- extends junit.framework.TestCase
Version of the OWL unit tests used during development of the mini ruleset.
- Version:
- $Revision: 1.10 $ on $Date: 2005/04/11 11:27:04 $
| Nested Class Summary | |
(package private) static class |
OWLUnitTest.TestDef
Inner class - use to represent a single test case and which reasoners it is relevant to. |
| Field Summary | |
static int |
CLEAN
|
static int |
FB
bit flag to indicate the test should be passed by the default reasoner |
static int |
INCONSISTENT
|
protected java.lang.String |
manifest
The name of the manifest file to test |
static int |
MICRO
bit flag to indicate the test should be passed by the micro reasoner |
static int |
MINI
bit flag to indicate the test should be passed by the mini reasoner |
static com.hp.hpl.jena.reasoner.ReasonerFactory[] |
reasonerFactories
The set of reasoner(factories) to test |
protected com.hp.hpl.jena.reasoner.ReasonerFactory |
reasonerFactory
The reasoner factory under test |
static java.lang.String[] |
reasonerNames
The names of the reasoner(factories) to report in the test suite |
static OWLUnitTest.TestDef[] |
testDefs
The set of test cases to be used |
static int |
WARNINGS
|
| Fields inherited from class junit.framework.TestCase |
|
| Constructor Summary | |
OWLUnitTest(java.lang.String manifest,
java.lang.String rName,
com.hp.hpl.jena.reasoner.ReasonerFactory rf)
Boilerplate for junit |
|
| Method Summary | |
protected void |
runTest()
The test runner |
static junit.framework.TestSuite |
suite()
Boilerplate for junit. |
| Methods inherited from class junit.framework.TestCase |
countTestCases, createResult, getName, run, run, runBare, setName, setUp, 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 |
| Field Detail |
reasonerFactories
public static com.hp.hpl.jena.reasoner.ReasonerFactory[] reasonerFactories
- The set of reasoner(factories) to test
reasonerNames
public static final java.lang.String[] reasonerNames
- The names of the reasoner(factories) to report in the test suite
FB
public static final int FB
- bit flag to indicate the test should be passed by the default reasoner
- See Also:
- Constant Field Values
MINI
public static final int MINI
- bit flag to indicate the test should be passed by the mini reasoner
- See Also:
- Constant Field Values
MICRO
public static final int MICRO
- bit flag to indicate the test should be passed by the micro reasoner
- See Also:
- Constant Field Values
INCONSISTENT
public static final int INCONSISTENT
- See Also:
- Constant Field Values
WARNINGS
public static final int WARNINGS
- See Also:
- Constant Field Values
CLEAN
public static final int CLEAN
- See Also:
- Constant Field Values
testDefs
public static OWLUnitTest.TestDef[] testDefs
- The set of test cases to be used
manifest
protected java.lang.String manifest
- The name of the manifest file to test
reasonerFactory
protected com.hp.hpl.jena.reasoner.ReasonerFactory reasonerFactory
- The reasoner factory under test
| Constructor Detail |
OWLUnitTest
public OWLUnitTest(java.lang.String manifest, java.lang.String rName, com.hp.hpl.jena.reasoner.ReasonerFactory rf)
- Boilerplate for junit
| Method Detail |
suite
public static junit.framework.TestSuite suite()
- Boilerplate for junit.
This is its own test suite
runTest
protected void runTest()
throws java.io.IOException
- The test runner
|
|||||||||
| Home >> All >> com >> hp >> hpl >> jena >> reasoner >> rulesys >> [ test overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
JAVADOC