Static analysis

During execution of the static analysis, the system checks for compliance with coding rules, naming conventions and prohibited symbols. The following section provides a sample for each of these aspects.

1) Coding rules

In this sample some coding rules are configured as errors. The violations of this coding rules are therefore reported as an error after the static analysis has been performed. Further information is shown in the following diagram.

2) Naming conventions

The following naming conventions are configured:

• Prefix "b" for variables of type BOOL (NC0003)
• Prefix "fb" for function block instances (NC0031)
• Prefix "FB_" for function blocks (NC0103)
• Prefix "I_" for interfaces (NC0108)

This naming conventions are not adhered to in the declaration of Boolean variables ("x"), the instantiation of function block ("f") and the declaration of the interface type ("ITF_"). These code positions are reported as an error after the static analysis has been performed.

See also:

• NC0003: BOOL
• NC0031: Function block instance
• NC0102: PROGRAM

 3) Forbidden symbols

The bit string operator XOR and the bit shift-operators SHL, SHR, ROL and ROR are configured as forbidden symbols. These operators should not be used in the code.
Consequently, the use of these operators is reported as an error after the static analysis has been performed.