Package daikon.dcomp

Interface Summary

Interface	Description
DCompClone	Classes implementing this interface have been instrumented by DynComp and have implemented a clone method.
DCompInstrumented	Classes implementing this interface have been instrumented by DynComp.
DCompMarker	This is the type of the extra formal parameter in methods that have been instrumented by DynComp.
DCompToString	Classes implementing this interface have been instrumented by DynComp and have implemented a toString method.

Class Summary

Class	Description
BuildJDK	BuildJDK uses DCInstrument to add comparability instrumentation to Java class files, then stores the modified files into a directory identified by a (required) command line argument.
DCInstrument	Instruments a class file to perform Dynamic Comparability.
DCRuntime	Runtime support for DynComp, a comparability front end for Chicory.
DCRuntime.FieldTag	Abstract base class for code that gets the tag associated with a particular field.
DCRuntime.PrimitiveArrayTag	Class that gets the list of tags for primitive arrays.
DCRuntime.PrimitiveTag	Class that gets the tag for a primitive instance field.
DCRuntime.ReferenceTag	Class that returns the tag for a reference instance field.
DCRuntime.StaticPrimitiveTag	Class that gets the tag for static primitive fields.
DCRuntime.StaticReferenceTag	Class that gets the tag for a static reference variable.
Instrument
Premain	This class is the entry point for the DynComp instrumentation agent.
Premain.ShutdownThread	Shutdown thread that writes out the comparability results.

Enum Summary

Enum	Description
DCInstrument.JUnitState	Possible states of JUnit test discovery.