org.spaceroots.rkcheck

Class DerivationTreeTest

java.lang.Object

junit.framework.Assert

junit.framework.TestCase

org.spaceroots.rkcheck.DerivationTreeTest

All Implemented Interfaces:

junit.framework.Test

public class DerivationTreeTest
extends junit.framework.TestCase

Constructor Summary

Constructors

Constructor and Description
DerivationTreeTest(java.lang.String name)

Method Summary

Modifier and Type	Method and Description
static junit.framework.Test	suite()
void	testEmptyTree()
void	testOrder8Tree()

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, fail, fail, failNotEquals, failNotSame, failSame, format, getName, run, run, runBare, setName, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DerivationTreeTest

public DerivationTreeTest(java.lang.String name)

Method Detail

testEmptyTree

public void testEmptyTree()

testOrder8Tree

public void testOrder8Tree()

suite

public static junit.framework.Test suite()