Gli effetti sono categorie di comportamento che una funzione può esibire.
Nell'esempio seguente, il codice indica che la funzione IsCriticalHealth accetta un valore float come input mediante il parametro Health. Successivamente, gli effetti decides e transacts mostrati dalla funzione indicano che questa rappresenta un contesto di fallimento e le sue azioni possono essere sottoposte a rollback in caso di fallimento. Se il valore Health che viene passato in input alla funzione è maggiore di 0.0 e minore o uguale a 30.0, allora la funzione avrà esito positivo. menti l'esito sarà negativo e l'errore dovrà essere gestito dal contesto che ha chiamato la funzione.
Verse
IsCriticalHealth(Health : float)<decides><transacts> : void =
((Health > 0.0) && (Health <= 30.0))Per maggiori informazioni, vedi Specificatori e attributi.