Un efecto es una categoría de comportamiento que puede exhibir 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 exhibe la función son decides y transacts, es decir, la función es un contexto de fallo y sus acciones pueden revertirse si la función falla. Si el valor de estado que se pasa como entrada a la función es mayor que 0.0 y menor o igual a 30.0, la función tiene éxito. De lo contrario, la función falla y el contexto que llamó a la función debe controlar ese fallo.
Verse
IsCriticalHealth(Health : float)<decides><transacts> : void =
((Health > 0.0) && (Health <= 30.0))Para obtener más información, consulta Especificadores y atributos.