C4J Arguments

The C4J library c4j.jar which is passed to the -javaagent switch understands the following arguments (see the end of the list for an example):

verbose={ true | false } If true, prints more information about classes that fail to load
classfiledir=<dir> Writes the instrumented classes to the specified directory

Example

Using the "c4j_library" variable contributed by the net.sourceforge.c4jplugin.runtime plug-in, the following example tells C4J to print more information about failed attempts to load contracts and to write the instrumented target classes to the directory "d:/dev/":

-javaagent:${c4j_library}=verbose=true,classfiledir=d:/dev/