Overview  Package   Class  Use  Deprecated  Index
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 OWLConsistencyTest  

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          com.hp.hpl.jena.reasoner.rulesys.test.OWLConsistencyTest

All Implemented Interfaces:

junit.framework.Test

---

public class OWLConsistencyTest

extends junit.framework.TestCase

Utility for checking OWL validation results.

Version:

$Revision: 1.3 $

---

Field Summary
protected  java.lang.String	abox           The abox to be tested, relative to BASE_DIR
static java.lang.String	BASE_DIR           The base directory for finding the datafiles
static int	CLEAN           Flag for expected result = no errors ow warnings
protected  java.lang.Object	culprit           Optional culprit object, should validate with equals
protected  int	expected           The expected result to check against
static int	INCONSISTENT           Flag for expected result = inconsistent
protected  com.hp.hpl.jena.reasoner.ReasonerFactory	rf           The factory for the reasoner to test
protected  java.lang.String	tbox           The tbox to be tested, relative to BASE_DIR
static int	WARNINGS           Flag for expected result = consistent but at least 1 warning

 

Fields inherited from class junit.framework.TestCase

 

Constructor Summary

OWLConsistencyTest(OWLConsistencyTest base, java.lang.String reasonerName, com.hp.hpl.jena.reasoner.ReasonerFactory rf)           Constructor builds a runnable test from a dummy test.

OWLConsistencyTest(java.lang.String tbox, java.lang.String abox, int expected, java.lang.Object culprit)           Constructor - builds a dummy test which can't be run without setting a reasoner factory

 

Method Summary
void	runTest()           Run the consistency check and validate the result against expectations.
void	setReasonerFactory(com.hp.hpl.jena.reasoner.ReasonerFactory rf)           Define the reasoner to use for the tests.
com.hp.hpl.jena.reasoner.ValidityReport	testResults()           Run the consistency check, returning a ValidityReport.

 

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

BASE_DIR

public static final java.lang.String BASE_DIR

The base directory for finding the datafiles

See Also:

Constant Field Values

---

tbox

protected java.lang.String tbox

The tbox to be tested, relative to BASE_DIR

---

abox

protected java.lang.String abox

The abox to be tested, relative to BASE_DIR

---

expected

protected int expected

The expected result to check against

---

rf

protected com.hp.hpl.jena.reasoner.ReasonerFactory rf

The factory for the reasoner to test

---

INCONSISTENT

public static final int INCONSISTENT

Flag for expected result = inconsistent

See Also:

Constant Field Values

---

WARNINGS

public static final int WARNINGS

Flag for expected result = consistent but at least 1 warning

See Also:

Constant Field Values

---

CLEAN

public static final int CLEAN

Flag for expected result = no errors ow warnings

See Also:

Constant Field Values

---

culprit

protected java.lang.Object culprit

Optional culprit object, should validate with equals

Constructor Detail

OWLConsistencyTest

public OWLConsistencyTest(java.lang.String tbox,
                          java.lang.String abox,
                          int expected,
                          java.lang.Object culprit)

Constructor - builds a dummy test which can't be run without setting a reasoner factory

---

OWLConsistencyTest

public OWLConsistencyTest(OWLConsistencyTest base,
                          java.lang.String reasonerName,
                          com.hp.hpl.jena.reasoner.ReasonerFactory rf)

Constructor builds a runnable test from a dummy test.

Method Detail

setReasonerFactory

public void setReasonerFactory(com.hp.hpl.jena.reasoner.ReasonerFactory rf)

Define the reasoner to use for the tests.

---

testResults

public com.hp.hpl.jena.reasoner.ValidityReport testResults()

Run the consistency check, returning a ValidityReport.

---

runTest

public void runTest()

Run the consistency check and validate the result against expectations.

---

Overview  Package   Class  Use  Deprecated  Index
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

---