Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

com.hp.hpl.jena.reasoner.rulesys.test
Class OWLUnitTest  view OWLUnitTest download OWLUnitTest.java

java.lang.Object
  extended byjunit.framework.Assert
      extended byjunit.framework.TestCase
          extended bycom.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