Efekt, bir fonksiyonun sergileyebileceği bir davranış kategorisidir.
Aşağıdaki örnekte kod, bir fonksiyonun IsCriticalHealth olarak adlandırıldığını ve Health parametresi aracılığıyla girdi olarak bir tamsayı değeri aldığını söylemektedir. Ardından, işlevin sergilediği efektlerin decides ve transactsolduğunu söyler. Buna göre, işlev bir başarısızlık bağlamıdır ve işlevin başarısız olması halinde eylemleri geri alınabilir. İşleve girdi olarak iletilen Health değeri 0,0’dan büyük ve 30,0’dan küçük veya ona eşitse işlev başarılı olur. Aksi halde işlev başarısız olacak olup işlevi çağıran bağlamın hatayı işlemesi gerekir.
Verse
IsCriticalHealth(Health : float)<decides><transacts> : void =
((Health > 0.0) && (Health <= 30.0))Bu konuda daha fazla bilgi için Belirleyiciler ve Öznitelikler kısmına bakabilirsin.