BVERIFY

Verifies the object code of cataloged programs.

Syntax

BVERIFY {fileSpecifier} itemList {(options}

Syntax Element

fileSpecifier The file containing the cataloged programs (see General Conventions). If omitted, itemList is assumed to refer to programs cataloged from the local account.

itemList A space-separated list containing the item-ids of the cataloged programs. These can be the item-ids of the MD entries, the executable items (in POINTER-FILE or the dictionary or data section of the file) or the deliverable items. The list can be provided by a list-generating command that immediately-precedes BVERIFY.

If fileSpecifier has been included, an asterisk (*) can be used to specify all the items in the specified file.

Options

E Displays serious errors only. 'Verified' messages and errors due to specification of items that are not MD catalog items or loaded object code are suppressed.

F Displays an error message if unable to locate the object item.

I Prompts for the account from which the programs were cataloged. Programs cataloged from the account specified will be verified instead of those from the local account.

N Suppress paging of terminal output.

P Sends report to the printer.

Q Quick verify - verify the checksum only.

Restriction

SYSMAN and SYSPROG accounts only.

Comments

If you specify a program that has not been cataloged, an error message is normally displayed. However, if you specify a file name and the program executable cannot be found in that file, but there is an MD or POINTER-FILE item with the specified name, that program will be verified.

BVERIFY retrieves the executable item specified in the MD item or on the command line. If the Q option is not specified, the corresponding deliverable item is then used to create a new executable that is compared byte-for-byte with the existing one. If the deliverable item cannot be found or the Q option is specified, a checksum is generated for the executable item and compared to the stored checksum.

If the verify is successful, a message similar to one of the following is displayed:

[224] '£program' Verified

[224] 'account*C*program' Verified

File Name and Item-id References

itemList can refer to:

• Catalog entries in an MD.
• Binary executable items in POINTER-FILE.
• Binary executable items in the dictionary of a specified file.
• $$ (or ££) items in a specified file.

In each case the item-ids must be specified precisely as they occur in the named file.

Alternative Syntax

For backwards compatibility with earlier versions of Reality, BVERIFY will accept the following syntax:

BVERIFY program account {(options}

where program is the name of a single cataloged program with an executable in the global POINTER-FILE, and account is an optional account name. The I option is not valid with this syntax.

Example

:BVERIFY PRG1
[224] 'TAB*C*PRG!' Verified