È possibile assegnare istruzioni pragmas attributo a una firma per influenzare la compilazione o la pre-compilazione, ossia la generazione del codice.
Esistono attributi definiti dall'utente, che possono essere utilizzati in combinazione con istruzioni 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.