com.bigdata.relation.rule

Class TestRule

java.lang.Object

junit.framework.Assert

junit.framework.TestCase

junit.framework.TestCase2

com.bigdata.relation.rule.AbstractRuleTestCase

com.bigdata.relation.rule.TestRule

All Implemented Interfaces:

junit.framework.Test

public class TestRule
extends AbstractRuleTestCase

Test suite for basic Rule mechanisms.

Version:

$Id$

Author:

Bryan Thompson

Nested Class Summary

Nested classes/interfaces inherited from class com.bigdata.relation.rule.AbstractRuleTestCase

AbstractRuleTestCase.MyRule, AbstractRuleTestCase.P, AbstractRuleTestCase.TestRuleRdfs04a, AbstractRuleTestCase.TestRuleRdfs9

Nested classes/interfaces inherited from class junit.framework.TestCase2

TestCase2.MyProperties, TestCase2.RandomType

Field Summary

Fields inherited from class com.bigdata.relation.rule.AbstractRuleTestCase

rdfProperty, rdfsClass, rdfsResource, rdfsSubClassOf, rdfType

Fields inherited from class junit.framework.TestCase2

_randomType, log

Constructor Summary

Constructors

Constructor and Description
TestRule()
TestRule(String name)

Method Summary

Methods

Modifier and Type	Method and Description
void	test_constraints() Verify that constraint violations are being tested (specific IConstraints are tested elsewhere).
void	test_ctor_noHead()
void	test_ctor() Verify constructor of a simple rule.
void	test_getSharedVars() Test for computing the intersection of the variables in two predicates.
void	test_getSharedVarsInTail() Test the ability to compute the variables shared between two Preds in a Rule.
void	test_ruleBindings() Verify variable binding stuff for a rule.
void	test_specializeRule() Test case for specializing a rule by binding some of its variables.

Methods inherited from class junit.framework.TestCase2

assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEqualsWithinUlps, assertSameArray, assertSameArray, assertSameBigDecimal, assertSameBigDecimal, assertSameBigInteger, assertSameBigInteger, assertSameIterator, assertSameIterator, assertSameIteratorAnyOrder, assertSameIteratorAnyOrder, assertSameValue, assertSameValue, assertZeroUlps, assertZeroUlps, fail, getInnerCause, getNormalInt, getProjectBuildPath, getProperties, getRandomObject, getRandomObject, getRandomOrder, getRandomString, getTestInputStream, getTestResource, getTestResource, getUlps, getUlps, isDEBUG, isDEBUG, isINFO, isINFO, isInnerCause, logProperties

Methods inherited from class junit.framework.TestCase

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, countTestCases, createResult, fail, fail, failNotEquals, failNotSame, failSame, format, getName, run, run, runBare, runTest, setName, setUp, tearDown, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TestRule

public TestRule()

TestRule

public TestRule(String name)

Parameters:

name -

Method Detail

test_ctor

public void test_ctor()

Verify constructor of a simple rule.

test_ctor_noHead

public void test_ctor_noHead()

test_getSharedVars

public void test_getSharedVars()

Test for computing the intersection of the variables in two predicates.

test_getSharedVarsInTail

public void test_getSharedVarsInTail()

Test the ability to compute the variables shared between two Preds in a Rule.

test_ruleBindings

public void test_ruleBindings()

Verify variable binding stuff for a rule.

test_constraints

public void test_constraints()

Verify that constraint violations are being tested (specific IConstraints are tested elsewhere).

test_specializeRule

public void test_specializeRule()

Test case for specializing a rule by binding some of its variables.