Des pragmas d'attribut peuvent être attribués à une signature afin d'affecter le processus de compilation ou précompilation, c'est-à-dire la génération du code.
Il est possible de combiner des attributs définis par l'utilisateur à des pragmas conditionnels.
Les attributs sont définis dans la partie déclaration, sauf pour les objets d'action et de transition, qui n'en possèdent pas. Dans ce cas, vous pouvez définir les attributs au début de la partie implémentation.
Les pragmas d'attribut standard prédéfinis sont les suivants :