All EMMA command line tools have a set of common options:
java.util.Properties
format. The
pathname could be either relative (in which case it is resolved relative to the JVM's
current working directory) or absolute. See Chapter 3, EMMA Property Reference for more
information on setting EMMA properties.-D
option (the
name
is not
“emma.
”-prefixed). See Chapter 3, EMMA Property Reference
for more information on EMMA properties.main()
entry methods, EMMA command line tools do not terminate via
java.lang.System.exit()
by
default. If desired for shell and makefile integration,
this can be changed by using this option on the command
line. The Diagnostics section on every
tool's reference page details the error codes the tool returns to
the operating system.System.out
. The
longer form of the option results in slightly more detailed
usage printout.