All EMMA command line tools have a set of common options:
java.util.Propertiesformat. 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.
nameis 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.