com.meyling.principia.logic.basic
Class TestConjunction

java.lang.Object
  |
  +--junit.framework.Assert
        |
        +--junit.framework.TestCase
              |
              +--com.meyling.principia.logic.basic.TestConjunction

All Implemented Interfaces:

junit.framework.Test

public class TestConjunction

extends junit.framework.TestCase

Unit test for class Conjunction.

Version:

$Revision 0.00.50$

Author:

Michael Meyling

Field Summary

private Argument[]	argument0
private Argument[]	argument1
private Argument[]	argument2
private Argument[]	argument3
private Argument[]	argument4
private Argument[]	argument5
private Argument[]	argument6
private Argument[]	argument7
private Argument[]	argument8
private Argument[]	argument9
private Argument	p0
private Argument	p1

Fields inherited from class junit.framework.TestCase

fName

Constructor Summary

TestConjunction(String name)
Generates new test case.

Method Summary

void	setUp() Make some initialisations for a test.
static junit.framework.Test	suite() Generete TestSuite .
void	tearDown() Free resources that were used in a test.
void	TestConstructor() Test the Constructor.
void	TestEquals() Test the method AbstractArgument.equals(java.lang.Object).
void	TestMatches() Test the method AbstractArgument.matches(com.meyling.principia.argument.Argument, com.meyling.principia.argument.PatternVariables).
void	TestReplace() Test the methods AbstractArgument.replace(com.meyling.principia.argument.Argument, com.meyling.principia.argument.Argument).

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, name, run, run, runBare, runTest, setName, toString

Methods inherited from class junit.framework.Assert

assert, assert, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertNotNull, assertNotNull, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail, failNotEquals, failNotSame

Methods inherited from class java.lang.Object

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

Field Detail

p0

private Argument p0

p1

private Argument p1

argument0

private Argument[] argument0

argument1

private Argument[] argument1

argument2

private Argument[] argument2

argument3

private Argument[] argument3

argument4

private Argument[] argument4

argument5

private Argument[] argument5

argument6

private Argument[] argument6

argument7

private Argument[] argument7

argument8

private Argument[] argument8

argument9

private Argument[] argument9

Constructor Detail

TestConjunction

public TestConjunction(String name)

Generates new test case. The name of the testing method must be given.

Parameters:

name - name of testing method

Method Detail

suite

public static junit.framework.Test suite()

Generete TestSuite .

Returns:

reference to TestSuite of this class.

setUp

public void setUp()

Make some initialisations for a test.

Overrides:

setUp in class junit.framework.TestCase

tearDown

public void tearDown()

Free resources that were used in a test.

Overrides:

tearDown in class junit.framework.TestCase

TestConstructor

public void TestConstructor()

Test the Constructor.

TestEquals

public void TestEquals()

Test the method AbstractArgument.equals(java.lang.Object).

TestMatches

public void TestMatches()

Test the method AbstractArgument.matches(com.meyling.principia.argument.Argument, com.meyling.principia.argument.PatternVariables).

TestReplace

public void TestReplace()

Test the methods AbstractArgument.replace(com.meyling.principia.argument.Argument, com.meyling.principia.argument.Argument).