daikon.test
Class VarInfoNameTest

Object
  Assert
      TestCase
          VarInfoNameTest

All Implemented Interfaces:

Test

public class VarInfoNameTest
extends TestCase

This tests various aspects of VarInfoName's and transforming VarInfoName's. This calls VarInfoNameDriver after parsing all input files of the name "varInfoNameTest.". VarInfoNameDriver does transform tests, and its output is compared to the "varInfoNameTest..goal" file by this.
To add a new test case, add a line to the file and a line to the goal file with intended output. Format of the file is output method, followed by a variable name. Output methods are defined in VarInfoNameDriver. To add a new transformation method (which can then be tested in test cases) add a static Handler implementation to VarInfoNameDriver modeled after one of the ones already present and add a static {} line after to add the handler to the list of handlers.

Constructor Summary

VarInfoNameTest(String name)

Method Summary

static void	main(String[] args)
void	testJML()
void	testParse()
void	testSubscript()

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

VarInfoNameTest

public VarInfoNameTest(String name)

Method Detail

main

public static void main(String[] args)

testParse

public void testParse()

testSubscript

public void testSubscript()

testJML

public void testJML()