Package daikon.test

Interface Summary

VarInfoNameDriver.Handler

Class Summary

AsmFileTest
Common	A collection of useful helper methods that are common to many different individual tests.
DSForestTest
DtraceDiffTester
GenericTestClass<A,B extends String,C,U>
InstructionUtilsTest
InvariantFormatTester	This is a tester for the formatting of invariants in different modes that is configurable by file input.
KillerInstructionTests
LinearTernaryCoreTest
MasterUnitTester	This class runs all the Daikon unit tests.
ModBitTrackerTest
PptCombinedTests
ProglangTypeTest
SampleTester	This tests Daikon's state as samples are processed.
TestAnnotate	Tests that Annotate respects tabs.
TestAst	Tests functionality of some methods in daikon.tools.jtb.Ast.
TestAst.ClassOrInterfaceDeclarationHarvester
TestAst.MethodDeclarationHarvester
TestClassOrInterfaceTypeDecorateVisitor
TestClassOrInterfaceTypeDecorateVisitor.UngenerifiedTypeCollector
TestQuant
TestQuant.Bar1
TestQuant.Bar3
TestQuant.Bar3a
TestQuant.Bar4
TestQuant.Bar4f
TestQuant.Baz1
TestQuant.Baz1f
TestQuant.Baz3
TestQuant.Baz3a
TestQuant.Baz4
TestQuant.Foo1
TestQuant.Foo2
TestQuant.Foo2f
TestQuant.Foo3
TestQuant.Foo3a
TestQuant.Foo3af
TestQuant.Foo3f
TestQuant.Foo4
VarComparabilityTest
VarInfoNameDriver	This is called by VarInfoName to parse varInfoNameTest files and then apply various transformation tests on them.
VarInfoNameTest	This tests various aspects of VarInfoName's and transforming VarInfoName's.