Configuration Settings File

EXPLANATION OF THIS SECTION

This section of the manual describes the jProductionCritic configuration file, which specifies various processing settings. Explanations of each of the configuration settings are included.

OVERVIEW OF THE CONFIGURATION SETTINGS FILE

jProductionCritic stores a number of processing settings for its error checkers in a configuration file, as well as indicators of which error checkers to apply (i.e. which errors are to be checked for during processing). By default, this configuration file is stored in the jProductionCritic main directory, and has the name "jProductionCriticConfigs.jpc". However, the user may place a configuration file anywhere and name it anything he or she wishes, as long as the path of such an alternative location is supplied via the command line arguments or the GUI at runtime. Users are encouraged to keep multiple different configuraiton files holding different settings to apply to different kinds of music.

The configuration settings can have a huge effect on the effiicacy of the various error checking algorithms, so it is suggested that the user experiment these settings if he or she finds that many false positives or false negatives are being generated for a particular error checker when applied to a particular kind of music. It should be emphasized that the particular settings that work well for one style of music may not work well for another style of music. Having said this, strong efforts have been made to provide default configuration settings that are as widely applicable as possible.

CONFIGURATION SETTINGS FILE FORMAT

The configuration file is essentially a text file with one line for each setting, with each line consisting of the setting's key (i.e. its identifier, specified below), followed by a tab, followed by the setting's value. Neither the name of a setting nor its value may contain whitespace characters, but otherwise this file is quite flexible. The order in which settings are listed is irrelevant, superfluous settings are ignored and if a particular configuration setting is missing from the configuration file, then jProductionCrticic simply assumes that it has its default value.

MODIFYING THE CONFIGURATION SETTINGS FILE

The user is encouraged to experiment with varying the configuration settings, either using any text editor or the jProductionCritic GUI. If at any point the user has essentially chosen untenable settings, the original default settings can be restored simply by deleting the configuration file.

jProductionCritic does perform some basic error checking when parsing the configuration file, and generates an error message if an invalid value is specified for any particular error checker. This will happen, for example, if a numerical value ouside the acceptable range for a given setting is given, if an alphabetical character is specified for a numerical setting, if a decimal number is specified where an integer should be present (see under the description of each individual configuration setting whether a decimal point should be present), etc.

If a configuration file cannot be found by jProductionCritic at runtime, it simply generates a new default configuration file holding default values.

TYPES OF CONFIGURATION SETTINGS

There are three types of settings stored in the configuration settings file: Enable/Disable Settings, Global Settings and Local Settings. Each of these three types of settings are detailed below.

ENABLE/DISABLE SETTINGS

Settings of this type indicate which error checkers to apply. Each one should have a value of either "true" or "false". Settings of this type all begin with the "check_" prefix, and there is one for each error checking algorithm.

GLOBAL CONFIGURATION SETTINGS

These are settings that can each be used by multiple error checkers. Their values are typcially but not necessarily always numerical.

LOCAL SETTINGS

These settings are each only used by a single error checker. Each local setting's name begins with the name of its associated error checker. The values for these settings are typcially but not necessarily always numerical.

-top of page-