daikon.test.diff
Class PrintDifferingInvariantsVisitorTester

Object
  Assert
      TestCase
          PrintDifferingInvariantsVisitorTester

All Implemented Interfaces:

Test

public class PrintDifferingInvariantsVisitorTester
extends TestCase

Constructor Summary

PrintDifferingInvariantsVisitorTester(String name)

Method Summary

static void	main(String[] args)
void	testShouldPrint()

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

PrintDifferingInvariantsVisitorTester

public PrintDifferingInvariantsVisitorTester(String name)

Method Detail

main

public static void main(String[] args)

testShouldPrint

public void testShouldPrint()
                     throws Exception

Throws:

Exception