daikon.test.diff
Class DiffTester

Object
  Assert
      TestCase
          DiffTester

All Implemented Interfaces:

Test

public class DiffTester
extends TestCase

Constructor Summary

DiffTester(String name)

Method Summary

static void	main(String[] args)
static VarInfo	newIntVarInfo(String name)
void	testConditionalPptsFalse()
void	testConditionalPptsTrue()
void	testEmptyEmpty()
void	testEmptyPpts1()
void	testInvs1Empty()
void	testInvs1Invs1()
void	testInvs1Invs2()
void	testInvs1Invs3()
void	testNonModulus()
void	testNullaryInvs()
void	testPpts1Empty()
void	testPpts1Ppts1()
void	testPpts1Ppts2()
void	testPpts1Ppts3()

Methods inherited from class TestCase

countTestCases, createResult, getName, run, run, runBare, runTest, setName, setUp, tearDown, toString

Methods inherited from class 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, failNotEquals, failNotSame, failSame, format

Methods inherited from class Object

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

Constructor Detail

DiffTester

public DiffTester(String name)
           throws Exception

Throws:

Exception

Method Detail

main

public static void main(String[] args)

newIntVarInfo

public static VarInfo newIntVarInfo(String name)

testEmptyEmpty

public void testEmptyEmpty()

testEmptyPpts1

public void testEmptyPpts1()

testPpts1Empty

public void testPpts1Empty()

testPpts1Ppts1

public void testPpts1Ppts1()

testPpts1Ppts2

public void testPpts1Ppts2()

testPpts1Ppts3

public void testPpts1Ppts3()

testInvs1Empty

public void testInvs1Empty()

testInvs1Invs1

public void testInvs1Invs1()

testInvs1Invs2

public void testInvs1Invs2()

testInvs1Invs3

public void testInvs1Invs3()

testNullaryInvs

public void testNullaryInvs()

testNonModulus

public void testNonModulus()

testConditionalPptsFalse

public void testConditionalPptsFalse()

testConditionalPptsTrue

public void testConditionalPptsTrue()