Un effet est une catégorie de comportement qu'une fonction peut montrer.
Dans l'exemple ci-dessous, le code indique qu'une fonction est nommée IsCriticalHealth et prend une valeur entière en entrée via le paramètre Health. Ensuite, il est indiqué que les effets que la fonction montre sont decides et transacts, ce qui signifie que la fonction est un contexte d'échec et que ses actions peuvent être annulées si la fonction échoue. Si la valeur Health transmise en tant qu'entrée de la fonction est supérieure à 0.0 et inférieure ou égale à 30.0, alors la fonction réussit. Sinon, la fonction échoue, et le contexte qui a appelé la fonction doit gérer l'échec.
Verse
IsCriticalHealth(Health : float)<decides><transacts> : void =
((Health > 0.0) && (Health <= 30.0))Pour en savoir plus, consultez Spécificateurs et attributs.