Verifying

Program verifiers provide a full range of syntactic and semantic checking for your code, similar to a compiler. Verifiers perform the same checking as compiler, but do not generate object code. Instead, program verifiers provide feedback and error messages that display in the Error List view, which you can use to fix your code before you compile.

Verification preferences provides you with many of the same options as the compiler. For example, in the program verifier preferences you can specify to generate a listing for your source during verification, or whether or not to use local cache for /copy members or other externally described files.

You can perform program verification on programs written in the following languages:
Note: Verification is performed locally, on your workstation, whereas compiling is performed on the IBM® i server.
To perform a verification in your source: The Error List view opens automatically and provides feedback for your verification.

Double-click an error to jump to the line in your source where the error occurs. To easily navigate from error to error, use the next problem and previous problem buttons on the workbench toolbar. Or, click Ctrl+. (Ctrl+period) to go to the next problem, and Ctrl+, (Ctrl+comma) to go to the previous problem.

You control the behavior of the program verifier through their preference pages. The program verifier triggered during verification will correspond to the type of file your are editing. For example, if you are editing a ILE RPG file, the ILE RPG program verifier is triggered when you perform verification.

To access program verifier preferences:

The Program Verifier may need to search libraries in the connection library list to resolve references to copy/include files or external file descriptions. You can modify the library list to include these libraries.

To modify the library list for the current session, go to the Remote System Explorer view. Under the Objects subsystem for the connection, select the Library List node and right-click to open the context menu. Select the Add Library List action.

The initial library list for the connection can also be set for subsequent sessions by opening the properties for the connection or Object subsystem and modifying the Initial Library List settings.

See the related links for more information about each program verification option.


Feedback