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 |
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/