org.spaceroots.rkcheck

Class DerivationTreesSetGeneratorTest

java.lang.Object

junit.framework.Assert

junit.framework.TestCase

org.spaceroots.rkcheck.DerivationTreesSetGeneratorTest

All Implemented Interfaces:

junit.framework.Test

public class DerivationTreesSetGeneratorTest
extends junit.framework.TestCase

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
static junit.framework.Test	suite()
void	testException()
void	testNumber()

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

DerivationTreesSetGeneratorTest

public DerivationTreesSetGeneratorTest(java.lang.String name)

Method Detail

testException

public void testException()

testNumber

public void testNumber()

suite

public static junit.framework.Test suite()