java.lang.Object
com.hp.hpl.jena.reasoner.rulesys.test.OWLUnitTest.TestDef
- Enclosing class:
- OWLUnitTest
- static class OWLUnitTest.TestDef
- extends java.lang.Object
Inner class - use to represent a single test case and which reasoners
it is relevant to.
|
Field Summary |
java.lang.Object |
spec
Test spec, could be a the relative URI for a manifest, or a consistecy test object |
int |
validFor
Bitmap of the reasoners this test is relevant to |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
spec
public java.lang.Object spec
- Test spec, could be a the relative URI for a manifest, or a consistecy test object
validFor
public int validFor
- Bitmap of the reasoners this test is relevant to
OWLUnitTest.TestDef
public OWLUnitTest.TestDef(java.lang.Object spec,
int validFor)
- Constructor
flagFor
public int flagFor(com.hp.hpl.jena.reasoner.ReasonerFactory rf)
- Return the bitflag corresponding to the given reasoner factory
applicableTo
public boolean applicableTo(com.hp.hpl.jena.reasoner.ReasonerFactory rf)
- Return true if the test is relevant to this reasoner factory