Client Specification File

The client specification file describes parameters and variable fields which may be set when using a particular client. Parameters are information for the client, while variable fields are used to modify data sent between the client and server.

A single list describes allowable fields for all input variables. A similar list is used for output variables. Only settings for fields mentioned in these lists are passed to the client from the startup file. (fields in the startup file which are not in the client specification are noted, then ignored)

The client specification file uses the Designer's Interface input file syntax.

Client Specification File Records:

parameter

parameter name
A parameter is used to pass run-specific information to the client. Parameters may be strings or numeric values.

input variable

input field_list
field_list is a list of valid field names for input variables. These fields are used to modify use of input variables. Commonly used fields include ``ub'' (upper bound), ``lb'' (lower_bound), and ``start_value''. Values for these fields are set in the startup file.

The input variable record is set exactly once, since it applies to all variables sent to a server process.

output variable

output field_list
field_list is a list of valid field names for output variables. These fields are used to modify use of output variables. One example of an output field is ``FailOnViolation'', which is used by the random_probe client to process violated constraints. Values for these fields are set in the startup file.

The output variable record is set exactly once, since it applies to all variables received from a server process.

Example

Return to Designer's Interface Overview.