Setting Project Verification Options

Use the Verification tab of the Project Options window to specify verification behavior for the selected project. Among other tasks, you can:
  • Specify how the parser treats environment-related code.
  • Specify the conditional constants the parser uses to compile programs in the project.
  • Specify schedule IDs for CA-7 jobs triggered by datasets.
  • Optimize verification for advanced program analysis.
  1. Choose Options > Project Options. The Project Options window opens. Click the Verification tab.
  2. In the Source Type pane, select the source file type whose verification options you want to specify.
  3. Set verification options for the source file type. The table below shows the available options.
    Note: Click the Environments, CopyLibs, Advanced, or Cobol Dialect button if an option listed below does not appear on the Verification tab.
    Option Source File Description
    AIM/DB Environment COBOL Specifies how the parser treats AIM/DB-environment-related code or its absence.
    CICS Environment COBOL Specifies how the parser treats CICS-environment-related code or its absence.
    Compiler Directives COBOL Specifies directives to be used during compilation. To add a directive, select Use project-specific compiler directives, then right-click in the Compiler Directives field and select Add from the context menu. The format is: <directive>="<value>".

    Using the context menu you can also delete, edit, select, unselect, move up/down the directives.

    Note: Project-level compiler directives override workspace-level directives.
    Context-Sensitive Value Analysis COBOL Specifies that the parser perform context-sensitive automatic decision resolution for Unisys MCP COMS analysis. Choosing this option may degrade verification performance.
    Dialect Specific Options COBOL Specifies dialect-specific options, including the conditional constants the parser uses to compile programs in the project. Select the Cobol dialect, then choose the constant in the Macro Settings pane. Add constants as necessary.
    DMS Environment COBOL Specifies how the parser treats DMS-environment-related code or its absence.
    DMSII Environment COBOL Specifies how the parser treats DMSII-environment-related code or its absence.
    DPS routines may end with error COBOL Specifies that the parser perform call analysis of Unisys 2200 DPS routines that end in an error. Error-handling code for these routines is either analyzed or treated as dead code.
    Enable Data Element Flow COBOL Enables the Global Data Flow, Change Analyzer, and impact trace tools.
    Enable Execution Flow COBOL Enables the Execution Path tool.
    Enable Impact Report COBOL Enables the impact trace tools. You must also set Enable Data Element Flow to perform impact analysis.
    IDMS Environment COBOL Specifies how the parser treats IDMS-environment-related code or its absence.
    IMS Environment COBOL Specifies how the parser treats IMS-environment-related code or its absence.
    Maximum Number of Variable’s Values COBOL Specifies the maximum number of values to be calculated for each variable during verification for advanced program analysis. Limit is 200.
    Maximum Size of Variable to Be Calculated COBOL Specifies the maximum size in bytes for each variable value to be calculated during verification for advanced program analysis.
    Override CICS Program Terminations COBOL Specifies that the parser interpret CICS RETURN, XCTL, and ABEND commands as not terminating program execution. Error-handling code after these statements is either analyzed or treated as dead code.
    Perform COMS Analysis COBOL Specifies that the parser define relationships for Unisys MCP COMS SEND statements.
    Perform Generic API Analysis COBOL Specifies that the parser define relationships with objects passed as parameters in calls to unsupported program interfaces, in addition to relationships with the called programs themselves.
    Perform Program Analysis COBOL Enables program analysis and component extraction features.
    Perform Unisys Common-Storage Analysis COBOL Specifies that the parser include in the analysis for Unisys COBOL files variables that are not explicitly declared in CALL statements, but that participate in interprogram communications. You must set this option to include Unisys COBOL common storage variables in impact traces and global data flow diagrams.
    Perform Unisys TIP and DPS Calls Analysis COBOL Specifies that the parser perform Unisys 2200 TIP and DPS call analysis.
    Report Writer Environment COBOL Specifies how the parser treats Report Writer-environment-related code or its absence.
    Resolve Decisions Automatically COBOL Specifies that the parser autoresolve decisions after successfully verifying files.
    SQL Environment COBOL Specifies how the parser treats SQL-environment-related code or its absence.
    Support CICS HANDLE statements COBOL Specifies that the parser detect dependencies between CICS statements and related error-handling statements.
    Use overwritten VALUEs COBOL Specifies that the parser use constants from VALUE clauses as known values even if they are overwritten in the program by unknown values.
    Use VALUEs from Linkage Section COBOL Specifies that advanced analysis tools not ignore parameter values in the Linkage Section.