Efekt jest kategorią zachowania, które może wykazywać funkcja.
W poniższym przykładzie kod informuje, że funkcja nosi nazwę IsCriticalHealth i przyjmuje wartość liczby całkowitej jako dane wejściowe poprzez parametr Health. Następnie informuje, że funkcja wykazuje efekty decides oraz transacts, co oznacza, że funkcja jest w kontekście niepowodzenia a jej działania mogą zostać cofnięte, jeśli funkcja zakończy się niepowodzeniem. Jeśli wartość Health przekazana jako dane wejściowe do funkcji jest większa niż 0.0 i mniejsza lub równa 30.0, funkcja zakończy się powodzeniem. W przeciwnym razie funkcja zakończy się niepowodzeniem, a kontekst, który wywołał funkcję, musi przetworzyć niepowodzenie.
IsCriticalHealth(Health : float)<decides><transacts> : void =
((Health > 0.0) && (Health <= 30.0))Aby dowiedzieć się więcej, patrz Specyfikatory i atrybuty.