Vous pouvez affecter l'attribut pragmas à une signature afin d'influencer la compilation ou la précompilation, c'est-à-dire la génération du code.
Il est possible de combiner des attributs définis par l'utilisateur avec 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.