fpt and WinFPT Reference Manual - Command-line Commands

| SimCon Home | Ref Manual Home |

CHECK

Syntax:

[NO] CHECK

Function:

The command CHECK written without arguments is equivalent to the combination of the commands:

The CHECK command is conveniently used to carry out a QA analysis of a suite of software. Please note that it is the responsibility of the user to set up default values for the filters which control the sensitivity of these checks, using commands such as NAME CHECK TO IGNORE LOCALS and ARGUMENT CHECK TO IGNORE ARRAY BOUNDS. These are most conveniently set up in the configuration file, config.fsp, or in the fsp file which lists the files to be processed.

The command NO CHECK suppresses all of these checks. It is most often used to prevent the check requested in fsp files from starting when fpt is run interactively. The checks may be run interactively one at a time.

Where to Use this Command

Operating system command line Yes
Configuration file, config.fsp Yes
Specification (fsp) files, *.fsp Yes
Interactively, to FPT> prompt Yes
Interactive command files Yes
Embedded in the Fortran code Yes

Default

The checks are not carried out by default (Note that defaults may be changed in the configuration file).

Examples:

Carrying out a QA analysis (Windows)

D:\Dave\Test> fpt heli.fsp /check

Suppressing checks requested in the FSP file when running interactively (Unix)

$ fpt heli.fsp "%no check" %i

See Also

ARGUMENT CHECK TO

EQUIVALENCE CHECK TO

NAME CHECK TO

CHECK ALIGNMENT

CHECK ARGUMENTS

CHECK EQUIVALENCE

CHECK NAMES

CHECK USAGE

Copyright ©1995 to 2018 Software Validation Ltd. All rights reserved.