Jtest logo




Contents  Previous  Next  Index

dbc_preferences


Name

dbc_preferences - command line editor for "jcontract.preferences"

Synopsis

dbc_preferences [options] [preferences_file]

Description

Command line interface to edit the contents of the "jcontract.preferences" file. See Jcontract Preferences for a list of the available preferences and their default values.

If "preferences_file" is omitted, dbc_preferences searches for a preferences file in the following locations (in the order listed):

  1. The location specified by the DBC_PREFERENCES environment variable.
  2. The "jcontract.preferences" file in your home directory.
  3. The "jcontract.preferences" files in the Jcontract installation directory.

The first preference file found will be used.

Options

If the command is invoked without options, the Jcontract Preferences GUI interface to the Jcontract preferences file will be started.

-reset

Resets all preference values to their default values.

-show

Prints the contents of the preferences file.

-set preference=value

Changes the preference value.

Example: $ dbc_preference -set Intrumentation.DefaultConcurrency=sequential

See Also

Jcontract Preferences

dbc_javac.


Contents  Previous  Next  Index

ParaSoft logo
(888) 305-0041 info@parasoft.com Copyright © 1996-2001 ParaSoft