Name: dkR10031 Date: 06/25/2003



Current implementation of the Static Instrumenter
contains the following feature described in the
section "B.2.1 Static Instrumenter" of the Jcov
User Guide:
"-check: Do not instrument the classes,
just check if they are already instrumented or
compiled with JCov support and report the results.
The output format is path to a class file :
compilation mode, instrumentation mode."
 
However this output format does not contain
quite useful information about the Static Instrumenter
flags which were used while static instrumentation.

For example, user has a class instrumented using '-nocov'
flag. This class should not generate any jcov file as
described in the section "B.2.1 Static Instrumenter" and
user has not any capacity to determine that jcov
file does not generated since using of '-nocov' option.
 
Info about additional options which were used for
instrumentation should be included to the output
of the Static Instrumenter check.

======================================================================