Terug naar de homepage van Forcheck
Forcheck V13 features

Improved verification of syntax and semantics

  • Improved handling of Fortran 90/95 features and conformance verification, such as

    • comparison of nested imported derived types
    • pointer components
    • generic names and resolving generic procedures
    • improved support of nested interfaces
    • improved verification of consistency of interfaces
    • renamed intrinsic procedures
    • verification of constant and initialization expressions

  • Improved handling of legacy Fortran syntax

    • Improved account for equivalences
    • Detection of defined and referenced depending on data types, including the usage as actual argument
    • Improved verification of constraints of statement functions
    • Improved verification of type and type parameters of entries

  • Improved verification of procedure references and argument lists

    • Procedure references and argument lists are now verified locally if the interface is explicit

  • Support of Fortran 2003 features

    • Names up to 64 characters long
    • Intrinsic functions
    • Intrinsic modules
    • Interoperability with C
    • Type bound procedures
    • IMPORT
    • Asynchronous and stream i/o

    Improved tuning and software engineering facilities

    • Selective suppression of diagnostic messages using Forcheck directives

    • Improved reporting

      • Self explanatory messages
      • Verbose messages
      • Reporting filename and line number with messages
      • Generation of report file
      • Reference structure suited for long, qualified, procedure names
      • Generation of reference structure in XML format for further browsing, analyzing and processing
    previous page top page
    Forcheck
    Contact