Puede asignar pragmas de atributos a una firma para influir en la compilación o precompilación que es la generación de código.
Hay atributos definidos por el usuario que puede usar en combinación con pragmas condicionales.
Los atributos se definen en la parte de declaración. Una excepción la constituyen los objetos de acción y transición que no disponen de parte de declaración. Los atributos pueden definirse al principio de la parte de implementación.
También están los siguientes pragmas de atributos estándar predefinidos:
