È possibile assegnare il pragmas attributo a una firma, al fine di influenzare la compilazione o la pre-compilazione, ossia la generazione del codice.
Si tratta di attributi definiti dall'utente, che possono essere utilizzati insieme a pragmas condizionali.
Gli attributi sono definiti nella parte di dichiarazione. Viene fatta un'eccezione per gli oggetti transizione e azione che non hanno una parte di dichiarazione. È possibile definire gli attributi all'inizio della parte di implementazione.
Esistono anche i seguenti pragmas attributo standard predefiniti: