Un efecto es una categoría de comportamiento que puede presentar una función.
En el siguiente ejemplo, el código dice que una función se llama IsCriticalHealth y toma un valor entero como entrada a través del parámetro Health. A continuación, dice que los efectos que la función exhibe son decides y transacts, lo que significa que la función es un contexto de fallo y sus acciones pueden ser revertidas si la función falla. Si el valor de Health que se pasa como entrada a la función es mayor que 0.0 y menor o igual que 30.0, la función tiene éxito. De lo contrario, la función falla, y el contexto que llamó a la función debe gestionar el fallo.
Verse
IsCriticalHealth(Health : float)<decides><transacts> : void =
((Health > 0.0) && (Health <= 30.0))Para obtener más información sobre esto, consulta Especificadores y atributos.