Package daikon.dcomp

Interface Summary

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
DCompToString	Classes implementing this interface have been instrumented by DynComp and have implemented a toString method.

Class Summary

BuildJDK	Converts each file in the JDK.
BuildJDK.RtJarFinder	Given an explicit rt.jar filename, or a root JDK or JRE directory, finds the rt.jar file.
DCRuntime
DCRuntime.BranchInfo	Information about a value encountered at a branch.
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.
LimitedConstraintVisitor	A Visitor class testing for valid preconditions of JVM instructions.
Premain
Premain.ShutdownThread	Shutdown thread that writes out the comparability results
Premain.Transform
StackTypes	Stores the types on the stack at each instruction (identified by byte code offset) in a method
StackVer	This is a slightly modified version of Pass3bVerifier from BCEL.
SummaryInfo	Information about DF summary routines.
TypeStack
ValueSource	Class used in dataflow that creates a tree the defines the way that each value is created.

Exception Summary

SummaryInfo.BadSummaryAnnotation

Exception thrown if the summary annotation cannot be correctly parsed

Annotation Types Summary

DFSum

Indicates that the annotated method is one that provides a DataFlow summary.