Package daikon.test
-
Interface Summary Interface Description VarInfoNameDriver.Handler -
Class Summary Class Description AllTestsSuite All Daikon's unit tests.Common A collection of useful helper methods that are common to many different individual tests.DtraceDiffTester Daikon unit test class.GenericTestClass<A,B extends String,C,U> InvariantFormatTester This is a tester for the formatting of invariants in different modes that is configurable by file input.LinearTernaryCoreTest Daikon unit test class.ModBitTrackerTest ProglangTypeTest Test the ProglangType class.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 varInfoNameTestfoo files and then apply various transformation tests on them.VarInfoNameTest This tests various aspects of VarInfoName's and transforming VarInfoName's.