daikon.dcomp
Class BuildJDK

Object
  BuildJDK

public class BuildJDK
extends Object

Converts each file in the JDK. Each method is doubled. The new methods are distinguished by a final parameter of type ?? and are instrumented to track comparability. User code will call the new methods, but instrumentation code is unchanged and calls the original methods.

Nested Class Summary

static class

BuildJDK.RtJarFinder Given an explicit rt.jar filename, or a root JDK or JRE directory, finds the rt.jar file.

Field Summary

static boolean	classfiles
static String[]	known_skipped_methods
static boolean	no_primitives
static String	synopsis Synopsis for the dcomp command line

Constructor Summary

BuildJDK()

Method Summary

static boolean	check_args(Options options, String[] target_args) Check the resulting arguments for legality.
static void	main(String[] args) BuildJDK - jarfile to process - destination directory in which to place instrumented classes - optional prefix of classes to be translated Instruments each class file in jarfile that begins with prefix and puts the results in dest.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

no_primitives

public static boolean no_primitives

classfiles

public static boolean classfiles

synopsis

public static final String synopsis

Synopsis for the dcomp command line

See Also:

Constant Field Values

known_skipped_methods

public static String[] known_skipped_methods

Constructor Detail

BuildJDK

public BuildJDK()

Method Detail

main

public static void main(String[] args)
                 throws IOException

BuildJDK - jarfile to process - destination directory in which to place instrumented classes - optional prefix of classes to be translated Instruments each class file in jarfile that begins with prefix and puts the results in dest.

Throws:

IOException

check_args

public static boolean check_args(Options options,
                                 String[] target_args)

Check the resulting arguments for legality. Prints a message and Returns false if there was an error