Um efeito é uma categoria de comportamento que uma função pode exibir.
No exemplo abaixo, o código diz que uma função se chama IsCriticalHealth e recebe um valor inteiro como entrada por meio do parâmetro Health. Em seguida, ele indica que os efeitos que a função exibe são decides e transacts, o que significa que a função é um contexto de falha e suas ações poderão ser revertidas se a função falhar. Se o valor de Health que for transmitido como entrada para a função for maior que 0.0 e menor ou igual a 30.0, a função terá sucesso. Caso contrário, a função falhará e o contexto que chamou a função deverá tratar a falha.
Verse
IsCriticalHealth(Health : float)<decides><transacts> : void =
((Health > 0.0) && (Health <= 30.0))Para saber mais sobre esse assunto, consulte Especificadores e atributos.