FPT and WinFPT Reference Manual - Command-line Commands

| SimCon Home | Reference Manual Home |


NAME CHECK TO...

Syntax:

NAME CHECK [TO] { CHECK | IGNORE } {

LOCALS | LOCAL VARIABLES | [FORMAL] ARGUMENTS |

COMMON [BLOCK] NAMES | DEFAULT SIZES | ARRAY BOUNDS |

FIELD ADDRESSES | ALL }

Function:

The sensitivity of the name check is controlled by the commands:

NAME CHECK TO {CHECK | IGNORE} LOCAL VARIABLES

- controls checking of inconsistencies which involve ONLY local variables, sub-program formal arguments or statement function formal arguments.

NAME CHECK TO {CHECK | IGNORE} [FORMAL] ARGUMENTS

- controls reporting of the inconsistency where a name is used for a formal argument in one sub-program and for a local variable in another.

NAME CHECK TO {CHECK | IGNORE} COMMON BLOCK NAMES

- controls reporting of the use of the same name for a variable and for a COMMON block.

NAME CHECK TO {CHECK | IGNORE} DEFAULT SIZES

- controls reporting of an inconsistency when the same name is used for a logical or numeric object which has an explicitly declared data size in one sub-program and an implied size in another. For example, where X is declared REAL*4 X in one sub-program and REAL X in another. An error might occur if the code were ported to a system with a different default data size.

NAME CHECK TO {CHECK | IGNORE} ARRAY BOUNDS

- controls reporting of inconsistent array bounds between objects with the same name in different sub-programs.

NAME CHECK TO {CHECK | IGNORE} FIELD ADDRESSES

- controls checking that fields with the same name have the same addresses within different structures.

NAME CHECK TO {CHECK | IGNORE} ALL

- controls all of the optional checks described above.

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:

NAME CHECK TO CHECK LOCAL VARIABLES

NAME CHECK TO IGNORE FORMAL ARGUMENTS

NAME CHECK TO IGNORE COMMON BLOCK NAMES

NAME CHECK TO IGNORE DEFAULT SIZES

NAME CHECK TO CHECK ARRAY BOUNDS

NAME CHECK TO IGNORE FIELD ADDRESSES

(Note that defaults may be changed in the configuration file)

Examples:

DOS command line

F:\> fpt cr "/name check to ignore default sizes" "/check names"

Interactive

FPT> name check to check all

FPT> nam ch to ign arr bounds

FPT> ch names

See also:

CHECK NAMES


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