FPT and WinFPT Reference Manual - Command-line Commands
| SimCon Home | Reference Manual Home |
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:
Copyright ©1995 to 2014 Software Validation Ltd. All rights reserved.